License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14196
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1419/
Go to the corresponding Portal


Chen, Liqun ; Kremer, Steve ; Ryan, Mark D.

07421 Abstracts Collection -- Formal Protocol Verification Applied

pdf-format:
Document 1.pdf (170 KB)


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:DSP:2008:1419,
  author =	{Liqun Chen and Steve Kremer and Mark D. Ryan},
  title =	{07421 Abstracts Collection -- Formal Protocol Verification Applied},
  booktitle =	{Formal Protocol Verification Applied},
  year =	{2008},
  editor =	{Liqun Chen and Steve Kremer and Mark D. Ryan},
  number =	{07421},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1419},
  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
Seminar: 07421 - Formal Protocol Verification Applied
Issue Date: 2008
Date of publication: 14.04.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI