↓ Skip to main content

Verifying security protocols with Brutus

Overview of attention for article published in ACM Transactions on Software Engineering and Methodology, October 2000
Altmetric Badge

Mentioned by

patent
3 patents

Citations

dimensions_citation
80 Dimensions

Readers on

mendeley
23 Mendeley