Login / Signup

YAPA: A Generic Tool for Computing Intruder Knowledge.

Mathieu BaudetVéronique CortierStéphanie Delaune
Published in: ACM Trans. Comput. Log. (2013)
Keyphrases