hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands & Department of Computer Science, Reykjavík University, Reykjavík, Iceland.ORCID iD: 0000-0002-4869-6794
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
2007 (English)Report (Other academic)
Abstract [en]

Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other hand, are appropriate for specifying knowledge-related properties such as anonymity or secrecy. These two approaches to specification and verification have so far developed in parallel and one has either to define ad hoc correctness criteria for the operational model or use complicated epistemic models to specify the operational behavior. We work towards bridging this gap by proposing a combined framework which allows for modeling the behavior of a protocol in a process language with an operational semantics and supports reasoning about properties expressed in a rich logic which combines temporal and epistemic operators.

Place, publisher, year, edition, pages
Eindhoven: Eindhoven University of Technology , 2007. , 20 p.
Series
Computer science report, 07-15
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20493OAI: oai:DiVA.org:hh-20493DiVA: diva2:585573
Available from: 2013-01-10 Created: 2013-01-08 Last updated: 2015-04-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Full text

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 57 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf