Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets

Dresp, Wiebke

PDF
(946kB) - Repository staff only

Date of publication of this fulltext: 05 Aug 2009 13:49

Alternative links to fulltext:DOI

Details

Export bibliographical data

Abstract

Wireless communication demands for specialized protocols secure against attacks on the radio path while fitting the limited calculation and memory capabilities of mobile terminals. To ensure accessibility of mobile services beyond a user’s home network, signing on a foreign network should be possible. The latter must be able to authenticate a user without learning any secret registration data. ...