David Sinclair David Gray Geoff W. Hamilton Synthesising Attacks on Cryptographic Protocols. 49-63 https://doi.org/10.1007/978-3-540-30476-0_9 2004 conf/atva/2004 ATVA db/conf/atva/atva2004.html#SinclairGH04