Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR (Englisch)
- Neue Suche nach: Backes, M.
- Neue Suche nach: Backes, M.
In:
INTERNATIONAL JOURNAL OF INFORMATION SECURITY
;
7
, 1
;
33-54
;
2008
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR
-
Beteiligte:Backes, M. ( Autor:in )
-
Erschienen in:INTERNATIONAL JOURNAL OF INFORMATION SECURITY ; 7, 1 ; 33-54
-
Verlag:
- Neue Suche nach: Springer Science + Business Media
-
Erscheinungsdatum:01.01.2008
-
Format / Umfang:22 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.8
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 005.8 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 7, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
PrefaceDegano, Pierpaolo / Viganò, Luca et al. | 2007
- 3
-
SAT-based model-checking for security protocols analysisArmando, Alessandro / Compagna, Luca et al. | 2007
- 33
-
Limits of the BRSIM/UC soundness of Dolev–Yao-style XORBackes, Michael / Pfitzmann, Birgit et al. | 2007
- 55
-
A symbolic framework for multi-faceted security protocol analysisBracciali, Andrea / Ferrari, Gianluigi / Tuosto, Emilio et al. | 2007
- 85
-
Bayesian rational exchangeEstevez-Tapiador, Juan M. / Alcaide, Almudena / Hernandez-Castro, Julio C. / Ribagorda, Arturo et al. | 2007