A constraint framework for the qualitative analysis of dependability goals: Integrity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2788, Issue , 2003, Pages 130-143

  Bistarelli, Stefano ^a,b   Foley, Simon N ^c  

^a UNIVERSITY OF CHIETI   (Italy)

^b Istituto di informatica e telematica del Consiglio nazionale delle ricerche   (Italy)

^c University College   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

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

ARTIFICIAL INTELLIGENCE;

EID: 35248817491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39878-3_11     Document Type: Article

References (33)

1. G. J. Badros, A. Borning, and P. J. Stuckey. The cassowary linear arithmetic constraint solving algorithm. ACM Transactions on Computer Human Interaction, 8(4):276-306, dec 2001.
2. G. Bella and S. Bistarelli. Soft Constraints for Security Protocol Analysis: Confidentiality. In Proc. of the 3rd International Symposium on Practical Aspects of Declarative Languages (PADL'01), LNCS 1990, pages 108-122. Springer-Verlag, 2001.
3. K.J. 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. Soft Constraint Solving and programming: a general framework. PhD thesis, Dipartimento di Informatica, Università di Pisa, Italy, mar 2001. TD-2/01.
5. S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. Semiring-based CSPs and Valued CSPs: Frameworks, properties, and comparison. CONSTRAINTS: An international journal. Kluwer, 4(3), 1999.
6. S. Bistarelli and S.N. Foley. Analysis of integrity policies using soft constraints. In Proceedings of IEEE Workshop Policies for Distributed Systems and Networks, pages 77-80, June 2003.
7. S. Bistarelli, U. Montanari, and F. Rossi. Constraint Solving over Semirings. In Proc. IJCAI95, San Francisco, CA, USA, 1995. Morgan Kaufman.
8. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of the ACM, 44(2):201-236, Mar 1997.
9. S. Bistarelli, U. Montanari, and F. Rossi. Soft concurrent constraint programming. In Proc. ESOP, April 6-14, 2002, Grenoble, France, LNCS. Springer-Verlag, 2002.
10. J.A. Bowen and D. Bahler. Constraint-based software for concurrent engineering. IEEE Computer, 26(1):66-68, January 1993.
11. Kirchner C. Kirchner and M. Vittek. Designing clp using computational systems. In P. Van Hentenryck and S. Saraswat, editors, Proceedings of Principles and Practice of Constraint Programming. MIT Press, 1995.
12. W. Chan, R. Anderson, P. Beame, and D. Notkin. Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV'97 Proceedings, volume 1254 of Lecture Notes in Computer Science, pages 316-327, Haifa, Israel, June 1997. Springer-Verlag.
13. 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, April 1987.
14. G. Delzanno and T. Bultan. Constraint-based verification of client-server protocols. In Proceedings CP2001, volume 2239 of Lecture Notes in Computer Science, pages 286-?? Springer-Verlag, 2001.
15. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language chip. In Proceedings of FGCS, pages 693-702, 1988.
16. H. Fargier and J. Lang. Uncertainty in constraint satisfaction problems: a probabilistic approach. In Proc. European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU), volume 747 of LNCS, pages 97-104. Springer-Verlag, 1993.
17. S.N. Foley. Evaluating system integrity. In Proceedings of the ACM New Security Paradigms Workshop, 1998.
18. S.N. Foley. A non-functional approach to system integrity. IEEE Journal on Selected Areas in Commications, 2003. forthcoming.
19. E.C. Freuder and R.J. Wallace. Partial constraint satisfaction. AI Journal, 58, 1992.
20. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming - Special Issue on Constraint Logic Programming, 37(1-3):95-138, oct-dec 1998.
21. J. Laprie. Dependability: Basic concepts and terminology.
22. A.K. Mackworth. Constraint satisfaction. In S.C. Shapiro, editor, Encyclopedia of AI (second edition), pages 285-293. John Wiley & Sons, 1992.
23. U. Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Science, 7:95-132, 1974. Also Technical Report, Carnegie Mellon University, 1971.
24. A. Di Pierro, C. Hankin, and H. Wiklicky. On approximate non-interference. In editor, Proceedings of WITS'02 - Workshop on Issues in the Theory of Security. IFIP WG1.7, 2002.
25. J.F. Puget. A c++ implementation of clp. In Proceedings of the 2nd Singapore International Conference on Intelligent Systems, 1994.
26. Zs. Ruttkay. Fuzzy constraint satisfaction. In Proc. 3rd IEEE International Conference on Fuzzy Systems, pages 1263-1268, 1994.
27. R Sandhu et al. Role based access control models. IEEE Computer, 29(2), 1996.
28. A. Schaad and D. Moffett. The incorporation of control principles into access control policies. In Workshop on Policies for Distributed Systems and Networks, Bristol, UK, 2001.
29. T. Schiex. Possibilistic constraint satisfaction problems, or "how to handle soft constraints?". In Proc. 8th Conf. of Uncertainty in AI, pages 269-275, 1992.
30. T. Schiex, H. Fargier, and G. Verfaille. Valued Constraint Satisfaction Problems: Hard and Easy Problems. In Proc. IJCAI95, pages 631-637, San Francisco, CA, USA, 1995. Morgan Kaufmann.
31. J. M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, second edition, 1992.
32. 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, October 1991.
33. United States General Accounting Office, Accounting and Information Management Division. Financial Audit Manual, December 1996. GAO/AFMD-12.19.5A.