DMCA
Analysis of Integrity Policies Using Soft Constraints (2003)
Cached
Download Links
- [www.sci.unich.it]
- [www.dmi.unipg.it]
- [www.dmi.unipg.it]
- [www.cs.ucc.ie]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. of IEEE Workshop Policies for Distributed Systems and Networks |
| Citations: | 10 - 9 self |
BibTeX
@INPROCEEDINGS{Bistarelli03analysisof,
author = {Stefano Bistarelli and Simon N. Foley},
title = {Analysis of Integrity Policies Using Soft Constraints},
booktitle = {In Proc. of IEEE Workshop Policies for Distributed Systems and Networks},
year = {2003},
pages = {77--80},
publisher = {IEEE Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
An integrity policy denes the situations when modi- cation of information is authorized and is enforced by the security mechanisms of the system. However, in a complex application system it is possible that an integrity policy may have been incorrectly specied and, as a result, a user may be authorized to modify information that can lead to an unexpected system compromise. In this paper we outline a scalable and quantitative technique that uses constraint solving to model and analyze the effectiveness of application system integrity policies.
