Login / Signup

YAPA: A Generic Tool for Computing Intruder Knowledge.

Mathieu BaudetVéronique CortierStéphanie Delaune
Published in: RTA (2009)
Keyphrases