Mechanical Proofs about a Non-repudiation Protocol
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Mechanising a Protocol for Smart Cards
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Lack of Explicitness Strikes Back
Revised Papers from the 8th International Workshop on Security Protocols
Revised Papers from the 9th International Workshop on Security Protocols
Inductive verification of smart card protocols
Journal of Computer Security
Hi-index | 0.00 |