Encryption as an abstract data-type (extended abstract)

DOI10.1016/S1571-0661(04)80841-7MaRDI QIDQ4924525zbMATH OpenOpenAlexFDO

Authors

Publication date 6 June 2013

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

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80841-7

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Data encryption (aspects in computer science) (68P25) Abstract data types; algebraic specification (68Q65)

Recommendations

• Security protocols: from linear to classical logic by abstract interpretation
• scientific article; zbMATH DE number 2090061
• scientific article; zbMATH DE number 1951201
• Typed multiset rewriting specifications of security protocols
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. I
• Forum: A multiple-conclusion specification logic
• Higher-order Horn clauses
• Higher-order quantification and proof search
• scientific article; zbMATH DE number 1884406 (Why is no real title available?)
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• On the security of public key protocols

Cited in

(7)

• Security protocols: from linear to classical logic by abstract interpretation
• Safe abstractions of data encodings in formal security protocol models
• scientific article; zbMATH DE number 1951201 (Why is no real title available?)
• Relating state-based and process-based concurrency through linear logic
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Relating state-based and process-based concurrency through linear logic (full-version)

Describes a project that uses

Uses Software

• Lolli

This page was built for publication: Encryption as an abstract data-type (extended abstract)

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