Formal analysis for robust anti-SPIT protection using model checking (Englisch)
- Neue Suche nach: Gritzalis, Dimitris
- Neue Suche nach: Katsaros, Panagiotis
- Neue Suche nach: Basagiannis, Stylianos
- Neue Suche nach: Soupionis, Yannis
- Neue Suche nach: Gritzalis, Dimitris
- Neue Suche nach: Katsaros, Panagiotis
- Neue Suche nach: Basagiannis, Stylianos
- Neue Suche nach: Soupionis, Yannis
In:
International Journal of Information Security
;
11
, 2
; 121-135
;
2012
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Formal analysis for robust anti-SPIT protection using model checking
-
Beteiligte:Gritzalis, Dimitris ( Autor:in ) / Katsaros, Panagiotis ( Autor:in ) / Basagiannis, Stylianos ( Autor:in ) / Soupionis, Yannis ( Autor:in )
-
Erschienen in:International Journal of Information Security ; 11, 2 ; 121-135
-
Verlag:
- Neue Suche nach: Springer-Verlag
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:2012
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.38
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.38 Computersicherheit -
Datenquelle:
Inhaltsverzeichnis – Band 11, Ausgabe 2
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.
- 65
-
Authentication in mobile devices through hand gesture recognitionGuerra-Casanova, J. / Sánchez-Ávila, C. / Bailador, G. / Santos Sierra, A. et al. | 2012
- 85
-
Short collusion-secure fingerprint codes against three piratesNuida, Koji et al. | 2012
- 103
-
On security arguments of the second round SHA-3 candidatesAndreeva, Elena / Bogdanov, Andrey / Mennink, Bart / Preneel, Bart / Rechberger, Christian et al. | 2012
- 121
-
Formal analysis for robust anti-SPIT protection using model checkingGritzalis, Dimitris / Katsaros, Panagiotis / Basagiannis, Stylianos / Soupionis, Yannis et al. | 2012