Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol.
Conference paper
Kammueller, F., Mapp, G., Patel, S. and Sani, A. 2012. Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. International Conference on Internet Monitoring and Protection (ICIMP 2012). Stuttgart, Germany 27 May - 01 Jun 2012 Xpert Publishing Service.
Type | Conference paper |
---|---|
Title | Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. |
Authors | Kammueller, F., Mapp, G., Patel, S. and Sani, A. |
Abstract | This paper presents Radius-SHA256, an adaptation of the Radius protocol for remote authentication for network access to the secure hash function SHA- 256 and a Secure Simple Protocol. Both protocols have been formalized in the Avispa model checker, an automated verification tool for security of protocols. The work on Radius utilizes the existing formalization of the standard Radius protocol thereby establishing general validity and transferability of the established security proof and showing how refactoring can be applied in security protocol engineering. The development of a secured version of the SP protocol shows how gradually adding cryptographic keys to a transport protocol can introduce verified security while maintaining a level of trust in the adapted protocol. |
Research Group | Artificial Intelligence group |
Foundations of Computing group | |
SensoLab group | |
Conference | International Conference on Internet Monitoring and Protection (ICIMP 2012) |
Proceedings Title | International Conference on Internet Monitoring and Protection |
Publisher | Xpert Publishing Service |
Publication dates | |
2012 | |
Publication process dates | |
Deposited | 07 Jun 2012 |
Output status | Published |
Accepted author manuscript | File Access Level Controlled |
Language | English |
https://repository.mdx.ac.uk/item/83q41
65
total views0
total downloads3
views this month0
downloads this month