A Simple Language for Real-Time Cryptographic Protocol Analysis.

Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli

Browse the full ESOP paper archive.