461 search results - page 1 / 93 » Developing security protocols by refinement |
108
Voted
CCS
2010
ACM
14 years 8 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
65
Voted
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
90
Voted
FAC
2008
14 years 10 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
67
Voted
COMPSEC
2010
14 years 7 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...