719 search results - page 12 / 144 » Proving Security Protocols Correct |
107
click to vote
GECCO
2006
Springer
15 years 7 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 ...
150
Voted
JUCS
2008
15 years 4 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
121
Voted
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
131
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
161
Voted
CCS
2010
ACM
15 years 2 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...