Mechanical verification of cryptographic protocols

Xiaochun Cheng, Xiaoqi Ma, Scott C.H. Huang, Maggie Cheng

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

Original languageEnglish (US)
Title of host publicationNetwork Security
PublisherSpringer US
Pages97-115
Number of pages19
ISBN (Print)9780387738208
DOIs
StatePublished - Dec 1 2010

All Science Journal Classification (ASJC) codes

  • Safety, Risk, Reliability and Quality
  • Computer Networks and Communications
  • Information Systems and Management

Fingerprint Dive into the research topics of 'Mechanical verification of cryptographic protocols'. Together they form a unique fingerprint.

Cite this