Safe abstractions of data encodings in formal security protocol models

DOI10.1007/S00165-012-0267-YMaRDI QIDQ2018750zbMATH OpenOpenAlexWikidataFDO

Authors Alfredo Pironti, Riccardo Sisto

Publication date 25 March 2015

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://porto.polito.it/2504212/1/article.pdf

zbMATH Keywords

refinementmodel abstractionsecurity protocols

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Network protocols (68M12)

Recommendations

• Sound Security Protocol Transformations
• Encryption as an abstract data-type (extended abstract)
• scientific article; zbMATH DE number 1330434
• Formally sound implementations of security protocols with JavaSPI
• Theory and Applications of Satisfiability Testing

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Analyzing security protocols with secrecy types and logic programs
• Mobile values, new names, and secure communication
• On the relationship between web services security and traditional protocols
• On the security of public key protocols
• Trustworthy Global Computing
• Understanding concurrent systems
• Verification, Model Checking, and Abstract Interpretation
• Verified interoperable implementations of security protocols

Cited in

(2)

• A Dolev-Yao-Based Definition of Abuse-Free Protocols
• Formally sound implementations of security protocols with JavaSPI

Describes a project that uses

Uses Software

• Spi2Java

This page was built for publication: Safe abstractions of data encodings in formal security protocol models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018750)