Abstract
We introduce AVISS, a tool for security protocol analysis that supports the integration of back-ends implementing different search techniques, allowing for their systematic and quantitative comparison and paving the way to their effective interaction. As a significant example, we have implemented three back-ends, and used the AVISS tool to analyze and find flaws in 36 protocols, including 31 problems in the Clark-Jacob’s protocol library and a previously unreported flaw in the Denning-Sacco protocol.
Cite
CITATION STYLE
Armando, A., Basin, D., Bouallagui, M., Chevalier, Y., Compagna, L., Mödersheim, S., … Vigneron, L. (2002). The AVISS security protocol analysis tool. In Lecture Notes in Computer Science (Vol. 2404, pp. 349–354). Springer Verlag. https://doi.org/10.1007/3-540-45657-0_27
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
