A Declarative Framework for Security: Secure Concurrent Constraint Programming

DOI10.1007/11799573_43MaRDI QIDQ5449632zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• scientific article; zbMATH DE number 1864587
• scientific article; zbMATH DE number 1692932
• Probabilistic confinement in a declarative framework
• Models and Proofs of Protocol Security: A Progress Report
• A calculus for cryptographic protocols: The spi calculus

Cited in

(7)

• scientific article; zbMATH DE number 1864587 (Why is no real title available?)
• A unified framework for concurrent security
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• scientific article; zbMATH DE number 2104621 (Why is no real title available?)
• Probabilistic confinement in a declarative framework
• Formal enforcement of security policies on concurrent systems
• Foundations of Software Science and Computational Structures

Describes a project that uses

Uses Software

• Oz

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

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