Startseite UR

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, S. 230-239. ISBN 978-3-540-28791-9.

[img]PDF
Download (946kB) - Nur für Mitarbeiter des Archivs

Zum Artikel beim Verlag (über DOI)


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

plus


Bibliographische Daten exportieren



Dokumentenart:Buchkapitel
Datum:2005
Institutionen:Wirtschaftswissenschaften > Institut für Wirtschaftsinformatik > Entpflichtete oder im Ruhestand befindliche Professoren > Professur für Wirtschaftsinformatik & Wirtschaftsmathematik (Prof. Dr. Peter Lory)
Identifikationsnummer:
WertTyp
10.1007/11552055_23DOI
Stichwörter / Keywords:Secure Authentication Protocol; Coloured Petri Nets; Formal Protocol Verification; State Space Analysis; Security Analysis
Dewey-Dezimal-Klassifikation:300 Sozialwissenschaften > 330 Wirtschaft
Status:Veröffentlicht
Begutachtet:Unbekannt / Keine Angabe
An der Universität Regensburg entstanden:Unbekannt / Keine Angabe
Eingebracht am:12 Dez 2008 11:19
Zuletzt geändert:13 Mrz 2014 10:34
Dokumenten-ID:5148
Nur für Besitzer und Autoren: Kontrollseite des Eintrags

Downloads

Downloads im Monat während des letzten Jahres

  1. Universität

Universitätsbibliothek

Publikationsserver

Kontakt:

Publizieren: oa@ur.de

Dissertationen: dissertationen@ur.de

Forschungsdaten: daten@ur.de

Ansprechpartner