Abstractions Preserving Parameter Confidentiality

DOI10.1007/11555827_24zbMath1487.68063OpenAlexW1850340423MaRDI QIDQ5862673

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

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

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

Cites Work

• A logic of authentication
• Formal semantics for authentication logics
• A semantics for a logic of authentication (extended abstract)
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstractions Preserving Parameter Confidentiality