The DEEPSEC Prover
| Autor: | Itsaka Rakotonirina, Vincent Cheval, Steve Kremer |
|---|---|
| Přispěvatelé: | Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), European Project: 645865,H2020 ERC,ERC-2014-CoG,SPOOC(2015), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) |
| Rok vydání: | 2018 |
| Předmět: |
0301 basic medicine
Computer science Programming language Security protocol analysis 0102 computer and information sciences Gas meter prover 16. Peace & justice computer.software_genre 01 natural sciences [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] 03 medical and health sciences TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES 030104 developmental biology 010201 computation theory & mathematics Pi calculus TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Equivalence (formal languages) computer |
| Zdroj: | Computer Aided Verification ISBN: 9783319961415 CAV (2) Lecture Notes in Computer Science Lecture Notes in Computer Science-Computer Aided Verification CAV 2018-30th International Conference on Computer Aided Verification CAV 2018-30th International Conference on Computer Aided Verification, Jul 2018, Oxford, United Kingdom 30th International Conference on Computer Aided Verification, Part II (CAV18) 30th International Conference on Computer Aided Verification, Part II (CAV'18) |
| ISSN: | 0302-9743 1611-3349 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|