T. Balopoulos, S. Gritzalis, S.K. Katsikas, “An Extension of Typed MSR for specifying Esoteric Protocols and their Dolev-Yao Intruder”, in Proceedings of the CMS’2004 IFIP TC6/TC11 International Conference on Communications and Multimedia Security, Salford, UK, σελ. 209-221, 2004.

Leave a Reply

Leave a Reply

Your email address will not be published. Required fields are marked *

© 2019 University of Piraeus, Department of Digital Systems, Systems Security Laboratory. All Rights Reserved.
Facebook
Twitter
YouTube
LinkedIn