659 search results - page 48 / 132 » Compiling and securing cryptographic protocols |
TCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Algorithmic progress and future technology threaten today’s cryptographic protocols. Long-term secure protocols should not even in future reveal more information to a...
GI
2007
Springer
15 years 4 months ago
2007
Springer
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
95
Voted
FCS
2006
15 years 1 months ago
2006
By far the most important automated tool for network and communications security is encryption, but encryption itself needs security. As we know, many cryptosystems and cryptograp...
83
Voted
ACSAC
1999
IEEE
15 years 4 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...
121
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...