239 search results - page 8 / 48 » Approaches to Formal Verification of Security Protocols |
121
click to vote
CSFW
2008
IEEE
15 years 1 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
76
Voted
IANDC
2008
14 years 11 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
82
Voted
ICUMT
2009
14 years 9 months ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...
85
Voted
FAC
2008
14 years 11 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...
99
Voted
SP
1996
IEEE
15 years 3 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...