Startseite UB

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

Dresp, Wiebke (2005) Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets. In: Dittmann, Jana, (ed.) Communications and Multimedia Security. Lecture Notes in Computer Science, 3677. Springer, Berlin, pp. 230-239. ISBN 978-3-540-28791-9.

[img]PDF
Download (946kB) - Repository staff only

at publisher (via DOI)


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

plus


Export bibliographical data



Item Type:Book Section
Date:2005
Institutions:Business, Economics and Information Systems > Institut für Wirtschaftsinformatik > Professur für Wirtschaftsinformatik & Wirtschaftsmathematik (Prof. Dr. Peter Lory)
Identification Number:
ValueType
10.1007/11552055_23DOI
Keywords:Secure Authentication Protocol; Coloured Petri Nets; Formal Protocol Verification; State Space Analysis; Security Analysis
Subjects:300 Social sciences > 330 Economics
Status:Published
Refereed:Unknown
Created at the University of Regensburg:Unknown
Owner: Petra Gürster
Deposited On:12 Dec 2008 11:19
Last Modified:13 Mar 2014 10:34
Item ID:5148
Owner Only: item control page

Downloads

Downloads per month over past year

  1. University

University Library

Publication Server

Contact person
Gernot Deinzer

Telefon 0941 943-2759
Contact