File(s) not publicly available
MR2146569 (2006d:94047) Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 'Abstraction and resolution modulo AC: how to verify Diffie-Hellman-like protocols automatically
journal contribution
posted on 2023-05-23, 00:42 authored by Kelarev, AVNo description available
Funding
Australian Research Council
History
Publication title
Mathematical Review (MR)Issue
2006Pagination
ejDepartment/School
School of Information and Communication TechnologyPlace of publication
United StatesRepository Status
- Restricted