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:||A. > School of Science and Technology > Computer Science > Foundations of Computing group|
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
|Deposited On:||25 May 2012 11:45|
|Last Modified:||18 Mar 2015 11:15|
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