A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
The DEEPSEC Prover
[chapter]
2018
Lecture Notes in Computer Science
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.
doi:10.1007/978-3-319-96142-2_4
fatcat:vv7xzkd7mzekngvefueu2ihp24