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, 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 (English)In: 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, 226-241 p.Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2007. Vol. 4790, 226-241 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4790
Keyword [en]
Abstracting, Ad hoc networks, Data structures, Semantics, Temporal logic
National Category
Computer and Information Science
Identifiers
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: diva2:584685
Conference
The 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007) 15-19 October 2007, Yerevan, Armenia
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 61 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