Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols - Laboratoire Méthodes Formelles

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2018

Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols

(1) , ,

1

David Baelde

Fonction : Auteur
PersonId : 963016

Laboratoire Spécification et Vérification [Cachan]

Stéphanie Delaune

Fonction : Auteur
PersonId : 738645
IdHAL : stephanie-delaune
ORCID : 0000-0002-9744-8834
IdRef : 109561384

Lucca Hirschi

Fonction : Auteur
PersonId : 179451
IdHAL : lucca-hirschi
IdRef : 201643510

Domaines

Logique en informatique [cs.LO] Cryptographie et sécurité [cs.CR]

David Baelde : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01821474

Soumis le : jeudi 28 juin 2018-10:12:01

Dernière modification le : vendredi 5 avril 2024-15:34:39

Dates et versions

hal-01821474 , version 1 (22-06-2018)

hal-01821474 , version 2 (28-06-2018)

Identifiants

HAL Id : hal-01821474 , version 2
SWHID : swh:1:dir:cf31343fd5744d56d7126b6cb99e96d29f5c0376;origin=https://hal.archives-ouvertes.fr/hal-01821474;visit=swh:1:snp:7cade104d9b67487e422fe6cafbe53e5255c7804;anchor=swh:1:rev:f202e6b3543e7c3c14250b038e236868671d8d10;path=/

version :
softwareLicence : GNU General Public License v3.0 only
codeRepository :

Citer

David Baelde, Stéphanie Delaune, Lucca Hirschi. Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols. 2018, ⟨swh:1:dir:cf31343fd5744d56d7126b6cb99e96d29f5c0376;origin=https://hal.archives-ouvertes.fr/hal-01821474;visit=swh:1:snp:7cade104d9b67487e422fe6cafbe53e5255c7804;anchor=swh:1:rev:f202e6b3543e7c3c14250b038e236868671d8d10;path=/⟩. ⟨hal-01821474v2⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

115 Consultations

145 Téléchargements

Partager