SPVT-II

SPVT-II: An efficient security protocol verifier based on logic programming

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element