1019 search results - page 27 / 204 » Cryptographic Design Vulnerabilities |
164
click to vote
IFIP
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
151
click to vote
FCCM
1998
IEEE
15 years 10 months ago
1998
IEEE
In 1996, about 600 million IC-cards were manufactured worldwide. Due to very small die sizes (max. 25 mm2 ) smartcards encounter more severe restrictions than conventional coproces...
145
click to vote
DBSEC
2007
15 years 7 months ago
2007
In this paper we present the design of a scalable and secure cryptographic service that can be adopted to support large-scale networked systems, which may require strong authentica...
133
click to vote
ACSAC
1999
IEEE
15 years 10 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...
190
click to vote
IANDC
2007
15 years 5 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...