Bounded memory protocols

DOI10.1016/J.CL.2014.05.003MaRDI QIDQ2339157zbMATH OpenOpenAlexFDO

Authors Tajana Ban Kirigin, Vivek Nigam, Max Kanovich, Andre Scedrov

Publication date 31 March 2015

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2014.05.003

zbMATH Keywords

complexityundecidabilityprotocol securityDolev-Yao adversarysecrecy problem

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Network design and communication in computer systems (68M10) Network protocols (68M12)

Recommendations

• Bounds on shared memory for mutual exclusion
• Bounded-Memory Stream Processing
• Approachability with bounded memory
• Bounded memory folk theorem
• scientific article; zbMATH DE number 2013833
• Tight bounds for shared memory systems accessed by Byzantine processes
• scientific article; zbMATH DE number 7075928

Cites work

• scientific article; zbMATH DE number 559221 (Why is no real title available?)
• scientific article; zbMATH DE number 1759624 (Why is no real title available?)
• A rewriting framework and logic for activities subject to regulations
• An NP decision procedure for protocol insecurity with XOR
• Bounded memory Dolev-Yao adversaries in collaborative systems
• Collaborative planning with confidentiality
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• From One Session to Many: Dynamic Tags for Security Protocols
• On the security of public key protocols
• On the symbolic reduction of processes with cryptographic functions.
• Protection in operating systems
• Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
• Using encryption for authentication in large networks of computers

Cited in

(5)

• Approachability with bounded memory
• A rewriting framework and logic for activities subject to regulations
• A Symbolic Framework to Analyse Physical Proximity in Security Protocols
• On the power of non-spoofing adversaries
• Bounded memory Dolev-Yao adversaries in collaborative systems

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Bounded memory protocols

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