Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

DOI10.1007/978-3-642-02846-5_34zbMath1251.68156OpenAlexW1491395861MaRDI QIDQ5325767

Hugo A. López, Thomas Troels Hildebrandt

Publication date: 24 July 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_34

zbMATH Keywords

securitymobilitytype systemsprocess calculiconcurrent constraint programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Related Items (4)

Session-based concurrency, declaratively ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ Subexponential concurrent constraint programming ⋮ Models and emerging trends of concurrent constraint programming

Cites Work

• Unnamed Item
• Unnamed Item
• An attack on the Needham-Schroeder public-key authentication protocol
• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• On the security of public key protocols
• Encryption as an abstract data-type
• Mobile values, new names, and secure communication
• A Declarative Framework for Security: Secure Concurrent Constraint Programming

This page was built for publication: Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming