Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Liqun Chen, Steve Kremer, and Mark D. Ryan. 07421 Abstracts Collection – Formal Protocol Verification Applied. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{chen_et_al:DagSemProc.07421.1, author = {Chen, Liqun and Kremer, Steve and Ryan, Mark D.}, title = {{07421 Abstracts Collection – Formal Protocol Verification Applied}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.1}, URN = {urn:nbn:de:0030-drops-14196}, doi = {10.4230/DagSemProc.07421.1}, annote = {Keywords: Security protocols, formal verification, trusted computing, biometrics, security of mobile computing, electronic voting, payment systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Liqun Chen, Steve Kremer, and Mark D. Ryan. 07421 Executive Summary – Formal Protocol Verification Applied. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{chen_et_al:DagSemProc.07421.2, author = {Chen, Liqun and Kremer, Steve and Ryan, Mark D.}, title = {{07421 Executive Summary – Formal Protocol Verification Applied}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.2}, URN = {urn:nbn:de:0030-drops-14186}, doi = {10.4230/DagSemProc.07421.2}, annote = {Keywords: Security protocols, formal verification, trusted computing, biometrics, security of mobile computing, electronic voting, payment systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Cas Cremers. Complete Characterization of Security Protocols by Pattern Refinement. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{cremers:DagSemProc.07421.3, author = {Cremers, Cas}, title = {{Complete Characterization of Security Protocols by Pattern Refinement}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.3}, URN = {urn:nbn:de:0030-drops-14173}, doi = {10.4230/DagSemProc.07421.3}, annote = {Keywords: Security protocols, Formal analysis, Verification, Tools} }
Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Michael Backes, Matteo Maffei, and Dominique Unruh. Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{backes_et_al:DagSemProc.07421.4, author = {Backes, Michael and Maffei, Matteo and Unruh, Dominique}, title = {{Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--43}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.4}, URN = {urn:nbn:de:0030-drops-14153}, doi = {10.4230/DagSemProc.07421.4}, annote = {Keywords: Language-based security, zero-knowledge proofs, applied pi-calculus, direct anonymous attestation} }
Feedback for Dagstuhl Publishing