84 search results - page 1 / 17 » Verifying Security Protocols: An ASM Approach |
ASM
2005
ASM
13 years 10 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
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...
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...
ICFEM
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
FAC
2008
13 years 4 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...