Catherine Meadows Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols. 3-22 2004 50 Sci. Comput. Program. 1-3 http://dx.doi.org/10.1016/j.scico.2003.12.001 db/journals/scp/scp50.html#Meadows04