2026-07-22T12:28:11Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1418 2024-03-06T11:07:44Z ddc:004 open_access

07421 Executive Summary – Formal Protocol Verification Applied Chen, Liqun Kremer, Steve Ryan, Mark D. Security protocols formal verification trusted computing biometrics security of mobile computing electronic voting payment systems Security protocols are a core part of distributed computing systems, and are part of our everyday life since they are used in web servers, email, mobile phones, bank transactions, etc. However, security protocols are notoriously difficult to get right. There are many cases of protocols which are proposed and considered secure for many years, but later found to have security flaws. Formal methods offer a promising way for automated security analysis of protocols. While there have been considerable advances in this area, most techniques have only been applied to academic case studies and security properties such as secrecy and authentication. The seminar brought together researchers deploying security protocols in new application areas, cryptographers, and researchers from formal methods who analyse security protocols. The interaction between researchers from these different communities aims to open new research topics, e.g., identify new security properties that need verification and refine abstractions of the abstract models of crytpographic primitives. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Liqun Chen and Steve Kremer and Mark D. Ryan 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07421.2 urn:nbn:de:0030-drops-14186 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.2 eng https://creativecommons.org/licenses/by/4.0/legalcode