A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
The dining cryptographers problem: unconditional sender and recipient untraceability
Journal of Cryptology
Reasoning about knowledge
A calculus for cryptographic protocols
Information and Computation
Practical Cryptography for Data Internetworks
Practical Cryptography for Data Internetworks
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Reasoning about Information Change
Journal of Logic, Language and Information
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
Logics for insecure communication
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
CONCUR 2005 - Concurrency Theory
Anonymity and information hiding in multiagent systems
Journal of Computer Security
Epistemic Verification of Anonymity
Electronic Notes in Theoretical Computer Science (ENTCS)
On the semantics of Alice&Bob specifications of security protocols
Theoretical Computer Science - Automated reasoning for security protocol analysis
Information hiding, anonymity and privacy: a modular approach
Journal of Computer Security - Special issue on WITS'02
A framework for automatically checking anonymity with µCRL
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Refinement of Kripke Models for Dynamics
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Epistemic Strategies and Games on Concurrent Processes
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Epistemic Logic for the Applied Pi Calculus
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Decompositional reasoning about the history of parallel processes
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
Epistemic Strategies and Games on Concurrent Processes
ACM Transactions on Computational Logic (TOCL)
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Interpreted systems semantics for process algebra with identity annotations
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Hi-index | 0.00 |
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.