1490 search results - page 93 / 298 » The Logic of Authentication Protocols |
CSFW
2009
IEEE
14 years 3 months 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 ...
ACSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
A large number of papers have proposed cryptographic protocols for establishing secure group communication. These protocols allow group members to exchange or establish keys to en...
ICISC
2008
13 years 10 months ago
2008
Relay attacks are one of the most challenging threats RFID will have to face in the close future. They consist in making the verifier believe that the prover is in its close vicini...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
ADHOC
2007
13 years 9 months ago
2007
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...