Relating two standard notions of secrecy

DOI10.2168/LMCS-3(3:2)2007zbMath1125.68046OpenAlexW2076864770MaRDI QIDQ5426068

Véronique Cortier, Eugen Zălinescu, Michaël Rusinowitch

Publication date: 15 November 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-3(3:2)2007

zbMATH Keywords

digital signaturesecurity protocolconfidentiality of dataequivalence-based secrecyreachability-based secrecysyntactic secrecy

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Related Items (2)

Stateful applied pi calculus: observational equivalence and labelled bisimilarity ⋮ A quantitative doxastic logic for probabilistic processes and applications to information-hiding

Uses Software

• Casper

This page was built for publication: Relating two standard notions of secrecy