SPVT-II

MaRDI QIDQ15267swMATHFDO

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