Paul F. Syverson Catherine Meadows A Formal Language for Cryptographic Protocol Requirements. 27-59 1996 7 Des. Codes Cryptography 1-2 db/journals/dcc/dcc7.html#SyversonM96 http://dx.doi.org/10.1023/A:1018069220646