DMCA

A Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols

by I. Boureanu , M. Cohen , A. Lomuscio
Citations:4 - 3 self