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.
CITATION STYLE
Cheval, V., Kremer, S., & Rakotonirina, I. (2018). The DEEPSEC Prover. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10982 LNCS, pp. 28–36). Springer Verlag. https://doi.org/10.1007/978-3-319-96142-2_4
Mendeley helps you to discover research relevant for your work.