YAPA: A Generic Tool for Computing Intruder Knowledge