Radius-SHA256 – verified remote authentication with secure hashing.

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.