138 search results - page 28 / 28 » One-Round Protocols for Two-Party Authenticated Key Exchange |
ACSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
The ATM Forum international consortium recently approved the first version of its security specifications aiming to protect communications over Asynchronous Transfer Mode (ATM) ne...
JOC
2011
12 years 11 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
ISPASS
2005
IEEE
13 years 10 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...