Abstractions preserving parameter confidentiality

DOI10.1007/11555827_24MaRDI QIDQ5862673zbMATH OpenOpenAlexFDO

Authors S. Gürgens, Peter Ochsenschläger, C. Rudolph

Publication date 9 March 2022

Published in Computer Security – ESORICS 2005 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11555827_24

Mathematics Subject Classification ID

Computer security (68M25) Formal languages and automata (68Q45)

Recommendations

• Preserving Secrecy Under Refinement
• Abstract non-interference
• Unifying theories of confidentiality
• scientific article; zbMATH DE number 1617321
• Abstract interpretation for proving secrecy properties in security protocols

Cites work

• A logic of authentication
• A semantics for a logic of authentication (extended abstract)
• Formal semantics for authentication logics
• scientific article; zbMATH DE number 1693541 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)

Cited in

(1)

• On integrating confidentiality and functionality in a formal method

This page was built for publication: Abstractions preserving parameter confidentiality

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