Software Analysis and Transformation

van Eijck, J., Dechesne, F., Orzan, S.-M., van de Pol, J., de Vink, E., & Wang, Y. (2006). Security of multi-party protocols: Epistemics and verification.