554 search results - page 3 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
125
Voted
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
131
Voted
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
132
Voted
FM
2009
Springer
15 years 6 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
AINA
2005
IEEE
15 years 7 months ago
2005
IEEE
111
click to vote
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...