Similar Items: Facilitating the modelling and automated analysis of cryptographic protocols

Author: Hutchison, Andrew