Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap

DOI10.1007/978-3-540-75560-9_18zbMath1137.68445OpenAlexW2108854243MaRDI QIDQ3498468

Simona Orzan, Francien Dechesne, Mohammad Reza Mousavi

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/88558fac-aa5b-4f84-9423-d479392ed202

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Temporal logic (03B44)

Related Items

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap, To know or not to know: Epistemic approaches to security protocol verification, Conditional anonymity with non-probabilistic adversary, A quantitative doxastic logic for probabilistic processes and applications to information-hiding, Epistemic Strategies and Games on Concurrent Processes, Refinement of Kripke Models for Dynamics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the semantics of Alice \& Bob specifications of security protocols
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• A calculus of communicating systems
• A calculus for cryptographic protocols: The spi calculus
• Reasoning about information change
• Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
• A structural approach to operational semantics
• Update semantics of security protocols
• Epistemology Without Knowledge and Without Belief
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• A Framework for Automatically Checking Anonymity with μCRL
• A Theory of Communicating Sequential Processes
• A logic of authentication
• CSP and anonymity
• CONCUR 2005 – Concurrency Theory