270 search results - page 2 / 54 » Verifying Second-Level Security Protocols |
CCS
2008
ACM
13 years 7 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
ICFEM
2003
Springer
13 years 10 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...
FUIN
2007
13 years 5 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
CSFW
2009
IEEE
14 years 1 days ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...