Mechanical verification of cryptographic protocols

Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, 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)

Abstract

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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

0Downloads

6 month trend

573Hits

Additional statistics are available via IRStats2.