Keeping secrets in resource aware components

DOI10.1016/J.ENTCS.2007.07.006MaRDI QIDQ2870285zbMATH OpenOpenAlexFDO

Authors Tom Chothia, Jun Pang, Mohammad Torabi Dashti

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.07.006

zbMATH Keywords

quality of servicesecrecycomponent-based systems\(\mu\)CRLautomatic checkingQ-automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Min-entropy as a resource
• Preserving Secrecy Under Refinement
• Verifying secrets and relative secrecy
• All Secrets Great and Small
• Quantifying information leakage in process calculi

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 1512618 (Why is no real title available?)
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• A Framework for Automatically Checking Anonymity with μCRL
• A calculus of communicating systems
• A theory of timed automata
• Examining smart-card security under the threat of power analysis attacks
• Improved undecidability results on weighted timed automata
• On the definition of a family of automata
• Optimal paths in weighted timed automata
• Relating Two Standard Notions of Secrecy
• Semiring-based constraint satisfaction and optimization
• Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems

Cited in

(1)

• Min-entropy as a resource

Describes a project that uses

Uses Software

• mCRL

This page was built for publication: Keeping secrets in resource aware components

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