Safe abstractions of data encodings in formal security protocol models

DOI10.1007/s00165-012-0267-yzbMath1322.68070OpenAlexW2054016975WikidataQ115149187 ScholiaQ115149187MaRDI QIDQ2018750

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)

Related Items (1)

Formally sound implementations of security protocols with JavaSPI

Uses Software

• Spi2Java

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Understanding concurrent systems
• Analyzing security protocols with secrecy types and logic programs
• On the security of public key protocols
• Mobile values, new names, and secure communication
• Trustworthy Global Computing
• Verification, Model Checking, and Abstract Interpretation

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