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, P.O. Box 513, NL-5600MB, Eindhoven, The Netherlands.
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600MB, Eindhoven, The Netherlands.ORCID-id: 0000-0002-4869-6794
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600MB, Eindhoven, The Netherlands.
2007 (engelsk)Inngår i: Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings, Berlin: Springer Berlin/Heidelberg, 2007, Vol. 4790, s. 226-241Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Operational models of 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. These two approaches to specification and analysis 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 modeling the behavior of a protocol in a process language with an operational semantics and supports reasoning about properties expressed in a rich logic with temporal and epistemic operators.

sted, utgiver, år, opplag, sider
Berlin: Springer Berlin/Heidelberg, 2007. Vol. 4790, s. 226-241
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4790
Emneord [en]
Abstracting, Ad hoc networks, Data structures, Semantics, Temporal logic
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20497DOI: 10.1007/978-3-540-75560-9_18ISI: 000251785100018Scopus ID: 2-s2.0-38349003243ISBN: 978-3-540-75558-6 ISBN: 978-3-540-75560-9 OAI: oai:DiVA.org:hh-20497DiVA, id: diva2:584685
Konferanse
The 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007) 15-19 October 2007, Yerevan, Armenia
Tilgjengelig fra: 2013-01-09 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 124 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