Analysis of integrity policies using soft constraints

Proceedings - POLICY 2003: IEEE 4th International Workshop on Policies for Distributed Systems and Networks

Volumn , Issue , 2003, Pages 77-80

  Bistarelli, S ^a,b   Foley, S N ^c  

^a Universit a di Pescara   (Italy)

^b CNR   (Italy)

^c Department of Computer Science ^*  (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SYSTEMS; COMPLEX APPLICATIONS; CONSTRAINT SOLVING; INTEGRITY POLICY; QUANTITATIVE TECHNIQUES; SECURITY MECHANISM; SOFT CONSTRAINT;

COMPLEX NETWORKS;

CONSTRAINT THEORY;

EID: 84856166143     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2003.1206959     Document Type: Conference Paper

References (16)

1. G. Bella and S. Bistarelli. Soft constraints for security protocol analysis: Confidentiality. In Proc. PADL'01, volume 1990 of Lecture Notes in Computer Science (LNCS). Springer, 2001.
2. J. Bellone, A. Chamard, and C. Pradelles. Plane-an evolutive planning system for aircraft production. In Proc. 1st Interantional Conference on Practical Applications of Prolog (PAP92), 1992.
3. K. Biba. Integrity considerations for secure computer systems. Technical Report MTR-3153 Rev 1 (ESD-TR-76-372), MITRE Corp Bedford MA, 1976.
4. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of the ACM, 44(2):201-236, Mar 1997.
5. S. Bistarelli, U. Montanari, and F. Rossi. Soft concurrent constraint programming. In Proc. ESOP, April 6-14, 2002, Grenoble, France, LNCS. Springer-Verlag, 2002.
6. J. Bowen and D. Bahler. Constraint-based software for concurrent engineering. IEEE Computer, 26(1):66-68, Jan. 1993.
7. D. D. Clark and D. R. Wilson. A comparison of commercial and military computer security models. In Proceedings Symposium on Security and Privacy, pages 184-194. IEEE Computer Society Press, Apr. 1987.
8. Computer Security Institute/US Federal Bureau of Investigation. Computer Crime and Security Survey, 2001.
9. S. Foley. A non-functional approach to system integrity. IEEE Journal on Selected Areas in Commications, 2003. forthcoming.
10. T. Fr̈uhwirth and P. Brisset. Optimal planning of digital cordless telecommunication systems. In Proc. PACT97, London, UH, 1997.
11. A. Konstantinou, Y. Yemini, S. Bhatt, and S. Rajagopalan. Managing security in dynamic networks. In Proc. USENIX Lisa'99, 1999.
12. A. Mackworth. Constraint satisfaction. In S. Shapiro, editor, Encyclopedia of AI (second edition), pages 285-293. John Wiley & Sons, 1992.
13. J. Puget. A c++ implementation of clp. In Proceedings of the 2nd Singapore International Conference on Intelligent Systems, 1994.
14. R. Sandhu et al. Role based access control models. IEEE Computer, 29(2), 1996.
15. A. Schaad and D. Moffett. The incorportation of control principles into access control policies. In Workshop on Policies for Distributed Systems and Networks, Bristol, UK, 2001.
16. U. S. Department of Defense. Integrity-oriented control objectives: Proposed revisions to the trusted computer system evaluation criteria (TCSEC). Technical Report DOD 5200.28-STD, U. S. National Computer Security Center, Oct. 1991.