Conference series Beta
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
- Events
- 3 (2009 to 2011)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10apmb
Events (3)
20092011
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2011 | Joint Workshop on Theory of Security and Applications TOSCA | Saarbrücken | 2011-03-31 to 2011-04-01 | |
| 2010 | Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security ARSPA-WITS | Paphos | 2010-03-27/28 | |
| 2009 | Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security ARSPA-WITS | York | 2009-03-28/29 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| dblp |
Cite
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. confref identifier s10apmb. https://id.confref.org/series/s10apmb
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.