YAPA: A Generic Tool for Computing Intruder Knowledge

@inproceedings{Baudet2009YAPAAG,
  title={YAPA: A Generic Tool for Computing Intruder Knowledge},
  author={Mathieu Baudet and V{\'e}ronique Cortier and St{\'e}phanie Delaune},
  booktitle={RTA},
  year={2009}
}
Highly Cited
This paper has 47 citations. REVIEW CITATIONS
29 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 29 extracted citations

Similar Papers

Loading similar papers…