Event Beta
Foundations and Applications of Security Analysis, 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
- Date
- 2009
- Place
- York, United Kingdom on the map
- Series
- Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), Workshop on Issues in the Theory of Security (WITS)
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e11bdqb
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Foundations and Applications of Security Analysis, 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 Lecture Notes in Computer Science 5511 | 10.1007/978-3-642-03459-6 | 2009 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Foundations and Applications of Security Analysis, 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. confref identifier e11bdqb. https://id.confref.org/event/e11bdqb
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.