YAPA: A Generic Tool for Computing Intruder Knowledge

Mathieu Baudet, Véronique Cortier, Stéphanie Delaune. YAPA: A Generic Tool for Computing Intruder Knowledge. ACM Trans. Comput. Log., 14(1):4, 2013. [doi]

Abstract

Abstract is missing.