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

Dresp, Wiebke

PDF
(946kB) - Nur für Mitarbeiter des Archivs

Veröffentlichungsdatum dieses Volltextes: 05 Aug 2009 13:49

Alternative Links zum Volltext:DOI

Details

Bibliographische Daten exportieren

Zusammenfassung

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. ...