Encryption as an abstract data-type

DOI10.1016/S1571-0661(04)80841-7zbMath1264.68077OpenAlexW2887731058MaRDI QIDQ4924525

No author found.

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

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

Related Items

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, Relating state-based and process-based concurrency through linear logic (full-version)

Uses Software

• Lolli

Cites Work

• Forum: A multiple-conclusion specification logic
• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• Logic programming in a fragment of intuitionistic linear logic
• Higher-Order Quantification and Proof Search*
• Higher-order Horn clauses
• On the security of public key protocols
• Logic Programming with Focusing Proofs in Linear Logic
• Unnamed Item