Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security.

Leifeng He, Guanjun Liu

Browse the full SERVICES paper archive.