2012 | OriginalPaper | Buchkapitel
Securely Accessing Shared Resources with Concurrent Constraint Programming
verfasst von : Stefano Bistarelli, Francesco Santini
Erschienen in: Software Engineering and Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present a fine-grained security model to enforce the access control on the shared constraint store in Concurrent Constraint Programming (
CCP
) languages. We show the model for a nonmonotonic version of Soft
CCP
(
SCCP
), that is an extension of
CCP
where the constraints have a preference level associated with them. Crisp constraints can be modeled in the same framework as well. In the considered nonmonotonic soft version (
NmSCCP
), it is also possible to remove constraints from the store. The language can be used for coordinating agents on a common store of information that represents the set of shared resources. In such scenarios, it is clearly important to enforce the integrity and confidentiality rights on the resources, in order, for instance, to hide part of the information to some agents, or to prevent an agent to consume too many resources.