Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol.

Kammueller, Florian and Mapp, Glenford E. and Patel, Sandip and Sani, Abubaker Sadiq (2012) Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. In: International Conference on Internet Monitoring and Protection (ICIMP 2012), 27 May - 1 June, 2012, Stuttgart, Germany.

[img] PDF - Accepted Version
Restricted to Middlesex University staff only

430kB

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.

Item Type:Conference or Workshop Item (Paper)
Research Areas:Middlesex University Schools and Centres > School of Science and Technology > Computer Science
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Foundations of Computing group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Artificial Intelligence group
ID Code:9085
Useful Links:
Deposited On:07 Jun 2012 07:28
Last Modified:28 Oct 2014 17:58

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year