Computational probabilistic noninterference (Englisch)
- Neue Suche nach: Backes, Michael
- Neue Suche nach: Pfitzmann, Birgit
- Neue Suche nach: Backes, Michael
- Neue Suche nach: Pfitzmann, Birgit
In:
International Journal of Information Security
;
3
, 1
; 42-60
;
2004
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Computational probabilistic noninterference
-
Beteiligte:Backes, Michael ( Autor:in ) / Pfitzmann, Birgit ( Autor:in )
-
Erschienen in:International Journal of Information Security ; 3, 1 ; 42-60
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:2004
-
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 3, 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
-
PrefaceWaidner, Michael et al. | 2004
- 2
-
Analysing a stream authentication protocol using model checkingHopcroft, Philippa / Lowe, Gavin et al. | 2004
- 14
-
Controlled query evaluation for enforcing confidentiality in complete information systemsBiskup, Joachim / Bonatti, Piero et al. | 2004
- 28
-
Outbound authentication for programmable secure coprocessorsSmith, Sean W. et al. | 2004
- 42
-
Computational probabilistic noninterferenceBackes, Michael / Pfitzmann, Birgit et al. | 2004