Radius-SHA256 – verified remote authentication with secure hashing.
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488 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.
.
[Conference or Workshop Item]
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: | A. > School of Science and Technology > Computer Science > Artificial Intelligence group A. > School of Science and Technology > Computer Science > Foundations of Computing group |
| Item ID: | 9090 |
| Useful Links: | |
| Depositing User: | Dr Florian Kammueller |
| Date Deposited: | 25 May 2012 11:45 |
| Last Modified: | 13 Oct 2016 14:24 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/9090 |
Actions (login required)
 |
View Item |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)