English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Foundations and applications of security analysis
Information
Publications
Export
Statistics
Options
Title
Foundations and applications of security analysis
Titel Supplements
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009; revised selected papers
Verlag
Springer
Verlagsort
Berlin
Datum
2009
Serie
Lecture Notes in Computer Science
Konferenz
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS) 2009