SPVT-II

swMATH2728MaRDI QIDQ15267FDOQ15267

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/g5jk31007l324415/fulltext.pdf

Described by source

• SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming
• SPVT: an efficient verification tool for security protocols

This page was built for software: SPVT-II