Analysis of Integrity Policies using Soft Constraints

Authors:
Stefano Bistarelli;Simon N. Foley
Affiliations:
-;-
Venue:
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Year:
2003

Citing 0
Cited 7

Modeling and detecting the cascade vulnerability problem using soft constraints

Proceedings of the 2004 ACM symposium on Applied computing
Soft concurrent constraint programming

ACM Transactions on Computational Logic (TOCL)
A soft constraint-based approach to the cascade vulnerability problem

Journal of Computer Security - Special issue on security track at ACM symposium on applied computing 2004
Semiring-Based Soft Constraints

Concurrency, Graphs and Models
Detecting and eliminating the cascade vulnerability problem from multilevel security networks using soft constraints

IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Believing the Integrity of a System

Electronic Notes in Theoretical Computer Science (ENTCS)
Soft Constraints for Security

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

An integrity policy defines the situations when modificationof information is authorized and is enforced by thesecurity mechanisms of the system. However, in a complexapplication system it is possible that an integrity policymay have been incorrectly specified and, as a result, a usermay be authorized to modify information that can lead toan unexpected system compromise. In this paper we outlinea scalable and quantitative technique that uses constraintsolving to model and analyze the effectiveness of applicationsystem integrity policies.