Event Beta

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers

Name: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers
Location: Paphos

Date: 2010
Place: Paphos, Cyprus 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/e11bdr9

Proceedings

Title	DOI	Year	Record
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers Lecture Notes in Computer Science 6186	10.1007/978-3-642-16074-5	2011	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

dblp	`https://dblp.org/db/conf/ifip1-7/wits2010`

Cite

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. confref identifier e11bdr9. https://id.confref.org/event/e11bdr9

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.