Dynamic Logic with Parallel Operator for Verifying Communication Protocols

Luiz C. F. Fernandez, Mario R. F. Benevides

In this paper, we present a dynamic logic with parallel operators for the formal verification of authenticity and safety properties of cryptographic protocols. The logic incorporat…