Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Logiciel Année : 2018

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

Stéphanie Delaune
Lucca Hirschi

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:b6936a951a6758f927ab264819f64c9361061ed9;origin=https://hal.archives-ouvertes.fr/hal-01821474;visit=swh:1:snp:be9e25c2b747039a779b68d7296527ab6e6c8bc8;anchor=swh:1:rev:9c4c1477b04d07e03a85615237a2dac6dbaaf276;path=/⟩. ⟨hal-01821474v1⟩
115 Consultations
146 Téléchargements

Partager

Gmail Facebook X LinkedIn More