Radius-SHA256 – verified remote authentication with secure hashing.
Kammueller, Florian and Patel, Sandip (2011) Radius-SHA256 – verified remote authentication with secure hashing. In: First Global Conference on Communication, Science and Information Engineering, CCSIE’11, 25 - 27 July 2011, Middlesex University.
Full text is not in this repository.
Official URL: http://www.ccsie.org/
This paper presents Radius-SHA256, an adaptation of the Radius protocol for remote authentication for network access to the secure hash function SHA- 256. The adapted protocol is fully formalized in the Avispa model checker, an automated verification tool for security of protocols. The work utilises the existing formalization of the standard Radius protocol thereby establishing general validity and transferability of the established security proof.
|Item Type:||Conference or Workshop Item (Paper)|
The conference proceedings will be published as a co-edited book with an ISBN number of 9780955625459 by Oxford Brookes University, United Kingdom.
|Research Areas:||Science & Technology > Science & Technology|
|Deposited On:||25 May 2012 11:45|
|Last Modified:||06 Feb 2013 11:34|
Repository Staff Only: item control page
Downloads per month over past year