Susan Older Shiu-Kai Chin Formal Methods for Assuring Security of Protocols. 46-54 2002 45 Comput. J. 1 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450046.sgm.abs.html db/journals/cj/cj45.html#OlderC02