Sciweavers

25 search results - page 1 / 5
» ccs 1998
Sort
View
CCS
1998
ACM
15 years 5 months ago
Public-Key Cryptography and Password Protocols
Shai Halevi, Hugo Krawczyk
IPPS
1998
IEEE
15 years 5 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...