hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Eindhoven: Eindhoven University of Technology , 2007. , s. 20
Serie
Computer science report ; 07-15
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20493OAI: oai:DiVA.org:hh-20493DiVA, id: diva2:585573
Tilgjengelig fra: 2013-01-10 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Full text

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 102 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf