1490 search results - page 31 / 298 » The Logic of Authentication Protocols |
ICCSA
2007
Springer
14 years 2 months ago
2007
Springer
Deniability is defined as a privacy property which enables protocol principals to deny their involvement after they had taken part in a particular protocol run. Lately, Chou et al....
SEC
2007
13 years 10 months ago
2007
In this paper, we analyze the security vulnerabilities of two ultra-lightweight RFID mutual authentication protocols: LMAP and M2 AP, which are recently proposed by Peris-Lopez et ...
IJNSEC
2008
13 years 8 months ago
2008
For an identity-based authenticated key agreement (IDAK) protocol, PKG forward secrecy is the strongest notion of forward secrecy, which is about the security of previously establ...
ESOP
2009
Springer
14 years 18 days ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
We present PEAR (Protocol Extendable AnalyzeR), a tool automating the two static analyses for authentication protocols presented in [7, 8]. These analyses are based on a tagging s...