×

SPVT-II

swMATH ID: 2728
Software Authors: Li, MengJun; Zhou, Ti; Li, ZhouJun
Description: SPVT-II: An efficient security protocol verifier based on logic programming
Homepage: http://www.springerlink.com/content/g5jk31007l324415/fulltext.pdf
Keywords: security protocol; non-termination characterization; non-termination prediction algorithm; verification; logic programming
Related Software: OCaml
Referenced in: 2 Publications

Referenced in 1 Serial

1 Journal of Software

Referencing Publications by Year