Formal models and techniques for analyzing security protocols / edited by Véronique Cortier and Steve Kremer.
Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure...
Full description
Saved in: