Mechanical verification of cryptographic protocols

Cheng, Xiaochun ORCID logoORCID:, Ma, Xiaoqi, Huang, Scott C.-H. and Cheng, Maggie (2010) Mechanical verification of cryptographic protocols. Network Security . pp. 97-115. ISSN 1353-4858 [Article] (doi:10.1007/978-0-387-73821-5_5)


Information security is playing an increasingly important role in modern society, driven especially by the uptake of the Internet for information transfer. Large amount of information is transmitted everyday through the Internet, which is often the target of malicious attacks. In certain areas, this issue is vital. For example, military departments of governments often transmit a great amount of top-secret data, which, if divulged, could become a huge threat to the public and to national security. Even in our daily life, it is also necessary to protect information. Consider e-commerce systems as an example. No one is willing to purchase anything over the Internet before being assured that all their personal and financial information will always be kept secure and will never be leaked to any unauthorised person or organisation.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer and Communications Engineering
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
Item ID: 11237
Useful Links:
Depositing User: Teddy ~
Date Deposited: 10 Jul 2013 10:56
Last Modified: 30 Oct 2019 21:04

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.