loading...
Analysis of Integrity Policies using Soft Constraints
Lake Como, Italy June 04-June 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/POLICY.2003.1206959Fourth IEEE International Workshop on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Stefano Bistarelli, Simon N. Foley, "Analysis of Integrity Policies using Soft Constraints," Policies for Distributed Systems and Networks, IEEE International Workshop on, pp. 77, Fourth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/POLICY.2003.1206959,
author = {Stefano Bistarelli and Simon N. Foley},
title = {Analysis of Integrity Policies using Soft Constraints},
journal ={Policies for Distributed Systems and Networks, IEEE International Workshop on},
volume = {0},
year = {2003},
isbn = {0-7695-1933-4},
pages = {77},
doi = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2003.1206959},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Policies for Distributed Systems and Networks, IEEE International Workshop on
TI - Analysis of Integrity Policies using Soft Constraints
SN - 0-7695-1933-4
SP
EP
A1 - Stefano Bistarelli,
A1 - Simon N. Foley,
PY - 2003
KW - null
VL - 0
JA - Policies for Distributed Systems and Networks, IEEE International Workshop on
ER -
 
Stefano Bistarelli, Universit? di Pescara, Italy
Simon N. Foley, Department of Computer Science, Cork, Ireland.
An integrity policy defines the situations when modification 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 specified 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.
Citation:
Stefano Bistarelli, Simon N. Foley, "Analysis of Integrity Policies using Soft Constraints," policy, pp.77, Fourth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.