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


References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Li, MengJun; Zhou, Ti; Li, ZhouJun: SPVT-II: an efficient security protocol verifier based on logic programming (2009)