Safe abstractions of data encodings in formal security protocol models

DOI10.1007/S00165-012-0267-YzbMATH Open1322.68070OpenAlexW2054016975WikidataQ115149187 ScholiaQ115149187MaRDI QIDQ2018750FDOQ2018750

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

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

zbMATH Keywords

refinementmodel abstractionsecurity protocols

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

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

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)