Detecting and eliminating the cascade vulnerability problem from multilevel security networks using soft constraints

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2004, Pages 808-813

  Bistarelli, Stefano ^a,b   Foley, Simon N ^c   O'Sullivan, Barry ^c  

^a UNIVERSITY OF CHIETI   (Italy)

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

^c UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; INTEROPERABILITY; NETWORKS (CIRCUITS); PROBLEM SOLVING; RISK ASSESSMENT; THEOREM PROVING;

INTEROPERATION; MULTILEVEL SECURITY NETWORKS; SECURE SYSTEMS; SOFT CONSTRAINTS;

SECURITY SYSTEMS;

EID: 9444295894     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Bella, G., and Bistarelli, S. 2001. Soft Constraints for Security Protocol Analysis: Confidentiality. In Proc. of PADL'01, LNCS 1990, 108-122.
2. Bharadwaj, V., and Baras, J. 2003. Towards automated negotiation of access control policies. In Proc. of IEEE Workshop Policies for Distributed Systems and Networks, 77-80.
3. Bistarelli, S., and Foley, S. 2003. Analysis of integrity policies using soft constraints. In Proc. of IEEE Workshop Policies for Distributed Systems and Networks, 77-80.
4. Bistarelli, S.; Fargier, H.; Montanari, U.; Rossi, F.; Schiex, T.; and Verfaillie, G. 1999. Semiring-based CSPs and Valued CSPs: Frameworks, properties, and comparison. CONSTRAINTS: An international journal. Kluwer 4(3).
5. Bistarelli, S.; Montanari, U.; and Rossi, F. 1997. Semiring-based Constraint Solving and Optimization. JACM 44(2):201-236.
6. Dechter, R. 2003. Constraint Processing. Morgan Kaufmann.
7. Fitch, J. A., and Hoffman, L. J. 1993. A shortest path network security model. Computers and Security 12(2):169-189.
8. Foley, S. 2000. Conduit cascades and secure synchronization. In ACM New Security Paradigms Workshop.
9. Gong, L., and Qian, X. 1994. The complexity and composability of secure interoperation. In Proceedings of the Symposium on Security and Privacy, 190-200. Oakland, CA: IEEE Comp. Soc. Press.
10. Gritalis, S., and Spinellis, D. 1998. The cascade vulnerability problem: The detection problem and a simulated annealing approach to its correction. Microprocessors and Microsystems 21(10):621-628.
11. Horton, R., et al. 1993. The cascade vulnerability problem, Journal of Computer Security 2(4):279-290.
12. Millen, J., and Schwartz, M. 1988. The cascading problem for interconnected networks. In 4th Aerospace Computer Security Applications Conference, 269-273.
13. Pierro, A. D.; Hankin, C.; and Wiklicky, H. 2002. On approximate non-interference. In Proc. of Workshop on Issues in the Theory of Security. IFIP WG1.7.
14. Regin, J.-C. 1994. A filtering algorithm for constraints of difference in csps. In Proceedings AAAI-94, 362-367.
15. TCSEC. 19385. Computer security requirements - guidance for applying the department of defense trusted computer system evaluation criteria in specific environments. Technical Report CSC-STD-003-85, National Computer Security Center. Orange Book.
16. TNI. 1987. Trusted computer system evaluation criteria: Trusted network interpretation. Technical report, National Computer Security Center. Red Book.
17. Wallace, M. 1996. Practical applications of constraint programming. Constraints 1(1-2):139-168.