270 search results - page 1 / 54 » Verifying Second-Level Security Protocols |
TPHOL
2003
IEEE
13 years 10 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...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
CSFW
2006
IEEE
13 years 8 months ago
2006
IEEE
ISICT
2003
13 years 6 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
SEFM
2007
IEEE
13 years 11 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...