| Abstract
|
<p>Operational models of protocols, … <p>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.</p>emporal and epistemic operators.</p>
|
| Author
|
Francien Dechesne +
, Mohammad Reza Mousavi +
, Simona Orzan +
|
| Conference
|
The 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007) 15-19 October 2007, Yerevan, Armenia
|
| DOI
|
http://dx.doi.org/10.1007/978-3-540-75560-9_18 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584685
|
| EndPage
|
241 +
|
| HostPublication
|
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Springer Berlin/Heidelberg +
|
| Series
|
Lecture Notes in Computer Science ; 4790 +
|
| StartPage
|
226 +
|
| Title
|
Operational and epistemic approaches to protocol analysis : bridging the gap +
|
| Volume
|
4790 +
|
| Year
|
2007 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
, Publications:Operational and epistemic approaches to protocol analysis : bridging the gap +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:25 +
|
