Mechanical verification of cryptographic protocols
Article
Cheng, X., Ma, X., Huang, S. and Cheng, M. 2010. Mechanical verification of cryptographic protocols. Network Security. https://doi.org/10.1007/978-0-387-73821-5_5
Type | Article |
---|---|
Title | Mechanical verification of cryptographic protocols |
Authors | Cheng, X., Ma, X., Huang, S. and Cheng, M. |
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. |
Research Group | Artificial Intelligence group |
Publisher | Elsevier |
Journal | Network Security |
ISSN | 1353-4858 |
Publication dates | |
2010 | |
Publication process dates | |
Deposited | 10 Jul 2013 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-0-387-73821-5_5 |
Language | English |
Page range | 97-115 |
Book title | Network Security |
https://repository.mdx.ac.uk/item/842zy
46
total views0
total downloads1
views this month0
downloads this month