Andrea Bracciali;Antonio Brogi;Gian Luigi Ferrari;Emilio Tuosto
-;-;-;-
A Coordination-based Methodology for Security Protocol Verification
Electronic Notes in Theoretical Computer Science (ENTCS)