Formal aspects of security and trust 8th International workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FAST (BerichterstatterIn)
Weitere Verfasser:	Barthe, Gilles (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg Springer 2012
Schriftenreihe:	Lecture notes in computer science 7140
Schlagworte:	Konferenzschrift > Trusted Computing > Kryptoanalyse > Sicherheitsprotokoll > Zugriffskontrolle > Privatsphäre
Online Zugang:	Inhaltsverzeichnis Inhaltstext Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!