A Declarative Framework for Security: Secure Concurrent Constraint Programming

DOI10.1007/11799573_43zbMath1131.68410OpenAlexW1601268560MaRDI QIDQ5449632

Frank D. Valencia, Camilo Rueda, Hugo A. López, Jorge A. Pérez, Catuscia Palamidessi

Publication date: 11 March 2008

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

Full work available at URL: https://doi.org/10.1007/11799573_43

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) Distributed systems (68M14)

Related Items (1)

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

Uses Software

• Oz

This page was built for publication: A Declarative Framework for Security: Secure Concurrent Constraint Programming