Safe Abstractions of Data Encodings in Formal Security Protocol Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Formal Aspects of Computing Year : 2012

Safe Abstractions of Data Encodings in Formal Security Protocol Models

Abstract

no abstract
No file

Dates and versions

hal-00863393 , version 1 (18-09-2013)

Identifiers

  • HAL Id : hal-00863393 , version 1

Cite

Alfredo Pironti, Riccardo Sisto. Safe Abstractions of Data Encodings in Formal Security Protocol Models. Formal Aspects of Computing, 2012, pp.1-43. ⟨hal-00863393⟩

Collections

INRIA INRIA2
32 View
0 Download

Share

Gmail Facebook X LinkedIn More