Mario R. F. Benevides
- Dynamic Logic with Parallel Operator for Verifying Communication Protocols
2026/07/18 by Luiz C. F. Fernandez, Mario R. F. Benevides
Computer Science · #Advanced Authentication Protocols Security #Formal Methods in Verification #Logic, Reasoning, and Knowledge