1612 search results - page 7 / 323 » About models of security protocols |
104
click to vote
ICALP
2007
Springer
15 years 29 days ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
ACSAC
1999
IEEE
15 years 3 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
IEEEARES
2008
IEEE
15 years 5 months ago
2008
IEEE
IWSEC
2007
Springer
15 years 5 months ago
2007
Springer
69
Voted
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE