A Coordination-based Methodology for Security Protocol Verification (0)

by G BALDI, A BRACCIALI, G FERRARI, E TUOSTO
Venue:In International Workshop on Security Issues with Petri Nets and other Computational Models