License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07421.1
URN: urn:nbn:de:0030-drops-14196
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1419/
Go to the corresponding Portal |
Chen, Liqun ;
Kremer, Steve ;
Ryan, Mark D.
07421 Abstracts Collection -- Formal Protocol Verification Applied
Abstract
From 14/10/2007 to 19/10/2007, the Dagstuhl Seminar 07421 ``Formal Protocol Verification Applied'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available.
BibTeX - Entry
@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.dagstuhl.de/opus/volltexte/2008/1419},
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}
}
Keywords: |
|
Security protocols, formal verification, trusted computing, biometrics, security of mobile computing, electronic voting, payment systems |
Collection: |
|
07421 - Formal Protocol Verification Applied |
Issue Date: |
|
2008 |
Date of publication: |
|
14.04.2008 |