Konferenzschrift | Kongress
Formal aspects of security and trust : 8th international workshop ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642294198
3642294197
- Dimensions
-
24 cm
- Extent
-
X, 277 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7140
- Keyword
-
Trusted Computing
Kryptoanalyse
Sicherheitsprotokoll
Zugriffskontrolle
Privatsphäre
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Barthe, Gilles
Datta, Anupam
Etalle, Sandro
FAST (8 : 2011 : Löwen)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:48 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Barthe, Gilles
- Datta, Anupam
- Etalle, Sandro
- FAST (8 : 2011 : Löwen)
- Springer
Time of origin
- 2012
Other Objects (12)
Security and trust management : 8th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Web services and formal methods : 8th international workshop ; revised selected papers
Formal methods for components and objects : 8th international symposium ; revised selected papers
Information hiding : 8th international workshop ; revised selected papers
Formal aspects in security and trust : 6th international workshop ; revised selected papers
Formal aspects in security and trust : 5th international workshop ; revised selected papers
Formal aspects in security and trust : 7th international workshop ; revised selected papers
Software technologies : 8th international joint conference ; revised selected papers
High performance computing : 8th CCF conference ; revised selected papers
Information security applications : 8th international workshop ; revised selected papers
Enterprise information systems : 8th international conference ; revised selected papers
Security and trust management : 8th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Web services and formal methods : 8th international workshop ; revised selected papers
Formal methods for components and objects : 8th international symposium ; revised selected papers
Information hiding : 8th international workshop ; revised selected papers
Formal aspects in security and trust : 6th international workshop ; revised selected papers
Formal aspects in security and trust : 5th international workshop ; revised selected papers
Formal aspects in security and trust : 7th international workshop ; revised selected papers
Software technologies : 8th international joint conference ; revised selected papers
High performance computing : 8th CCF conference ; revised selected papers
Information security applications : 8th international workshop ; revised selected papers
Enterprise information systems : 8th international conference ; revised selected papers
Security and trust management : 8th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Web services and formal methods : 8th international workshop ; revised selected papers
Formal methods for components and objects : 8th international symposium ; revised selected papers
Information hiding : 8th international workshop ; revised selected papers
Formal aspects in security and trust : 6th international workshop ; revised selected papers
Formal aspects in security and trust : 5th international workshop ; revised selected papers
Formal aspects in security and trust : 7th international workshop ; revised selected papers
Software technologies : 8th international joint conference ; revised selected papers
High performance computing : 8th CCF conference ; revised selected papers
Information security applications : 8th international workshop ; revised selected papers