TAPS: A first-order verifier for cryptographic protocols. (English) Zbl 0974.68562
Emerson, E. Allen (ed.) et al., Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1855, 568-571 (2000).
For the entire collection see [Zbl 0941.00029].
MSC:
68U99 | Computing methodologies and applications |
94A60 | Cryptography |
68Q60 | Specification and verification (program logics, model checking, etc.) |