Additional Metadata
THEME Software (theme 1)
Citation
van Eijck, D.J.N, Dechesne, F, Orzan, S.-M, van de Pol, J.C, de Vink, E.P, & Wang, Y. (2006). Security of multi-party protocols: Epistemics and verification.