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/

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. 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)
Additional Information:

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: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:9090
Useful Links:
Deposited On:25 May 2012 11:45
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