The DEEPSEC prover
Abstract
In this paper we describe the DeepSec prover, a tool for security protocol analysis. It decides equivalence properties modelled as trace equivalence of two processes in a dialect of the applied pi calculus.
Origin : Files produced by the author(s)
Loading...