Konferenzschrift | Kongress
Foundations and applications of security analysis : revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642034589
- Dimensions
-
24 cm
- Extent
-
X, 221 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 5511
- Keyword
-
Computersicherheit
Sicherheitsprotokoll
Kryptoanalyse
Schlüsselverwaltung
Rechnernetz
API
Computersicherheit
Datensicherung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2009
- Contributor
-
Degano, Pierpaolo
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York)
- 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:53 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
- Degano, Pierpaolo
- Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York)
- Springer
Time of origin
- 2009
Other Objects (12)
Foundations and practice of security : 5th international symposium ; revised selected papers
Web application security : revised selected papers
Data security and security data : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Foundations and practice of security : 4th Canada-France Mitacs workshop ; revised selected papers
Advances in security technology : revised selected papers
Cyber security and privacy : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers
Foundations and practice of security : 5th international symposium ; revised selected papers
Web application security : revised selected papers
Data security and security data : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Foundations and practice of security : 4th Canada-France Mitacs workshop ; revised selected papers
Advances in security technology : revised selected papers
Cyber security and privacy : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers
Foundations and practice of security : 5th international symposium ; revised selected papers
Web application security : revised selected papers
Data security and security data : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Foundations and practice of security : 4th Canada-France Mitacs workshop ; revised selected papers
Advances in security technology : revised selected papers
Cyber security and privacy : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers
Financial cryptography and data security : revised selected papers