110 citations · 128 across the 6 of their papers we have counts for
Showing 2012 · cs.CRShow all
2 papers · 2 filters
cs.CR2012★ 14 cited
A formal methodology for integral security design and verification of network protocols
Jesus Diaz, David Arroyo, Francisco B. Rodriguez
We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and inform…
cs.CR2012★ 1 cited
Formal security analysis of registration protocols for interactive systems: a methodology and a case of study
Jesus Diaz, David Arroyo, Francisco B. Rodriguez
In this work we present and formally analyze CHAT-SRP (CHAos based Tickets-Secure Registration Protocol), a protocol to provide interactive and collaborative platforms with a crypt…