Intrusion tolerant software architectures

Proceedings - DARPA Information Survivability Conference and Exposition II, DISCEX 2001

Volumn 2, Issue , 2001, Pages 230-241

  Stavridou, V ^a   Dutertre, B ^a   Riemenschneider, R A ^a   Saidi H ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MERCURY (METAL); SECURITY OF DATA; SOFTWARE ARCHITECTURE;

ANTIVIRUS SOFTWARES; INITIAL EXPLORATION; INTRUSION PREVENTION; INTRUSION TOLERANCE; INTRUSION TOLERANT; PREVENTING MECHANISMS; SECURITY VULNERABILITIES; SOFTWARE SYSTEMS;

COMPUTER SYSTEM FIREWALLS;

EID: 84964546164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DISCEX.2001.932175     Document Type: Conference Paper

References (22)

1. R. Allen and D. Garlan. Formalizing Architectural Connection. In 16th International Conference on Software Engineering, pages 71-80, Sorrento, Italy, May 1995.
2. P. Ammann, S. Jajodia, C. McCollum, and B. Blaustein. Surviving Information Warfare Attacks on Databases. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 164-174, Oakland, CA, May 1997.
3. D. Garlan, R. Monroe, and D. Wile. ACME: An Architecture Description Interchange Language. In Proceedings of CASCON'97, pages 169-183, Toronto, Ontario, November 1997.
4. L. Gong. Enclaves: Enabling Secure Collaboration over the Internet. IEEE Journal of Selected Areas in Communications, 15(3):567-575, April 1997.
5. K. Kihlstrom, L. Moser, and P. Melliar-Smith. The SecureRing Protocols for Securing Group Communication. In Proceedings of the IEEE 31st Hawaii International Conference on System Sciences, volume 3, pages 317-326, Kona, Hawaii, January 1998.
6. J. Knight, M. Elder, and X. Du. Error Recovery in Critical Infrastructure Systems. In Computer Security, Dependability and Assurance: From Needs to Solutions, pages 49-71. IEEE Computer Society, 1999.
7. J.-C. Laprie, editor. Dependability: Basic Concepts and Terminology. Springer-Verlag, 1992.
8. P. Lee and T. Anderson. Fault Tolerance: Principles and Practice (2nd edition), volume 3 of Dependable Computing and Fault-Tolerant Systems. Springer-Verlag, 1990.
9. D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering, 21(4):336-355, April 1995.
10. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying Distributed Software Architectures. In Proceedings of the 5th European Software Engineering Conference (ESEC'95), number 989 in Lecture Notes in Computer Science, pages 137-153, Sitges, Portugal, September 1995. Springer-Verlag.
11. J. Millen. Local Reconfiguration Policies. In Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA, 1999.
12. M. Moriconi, X. Qian, R. Riemenschneider, and L. Gong. Secure Software Architecture. In Proceedings of the 1997 IEEE Symposium on Security and Privacy, pages 84-93, Oakland, CA, May 1997.
13. M. Moriconi and R. Riemenschneider. Introduction to SADL 1.0. Technical Report SRI-CSL-97-01, SRI International, Computer Science Laboratory, March 1997.
14. P. Neumann. Practical Architectures for Survivable Systems and Networks: Phase-One Final Report. Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA, January 1999. Available at http://www.csl.sri.com/~neumann/arl-one.ps.
15. P. Porras and P. Neumann. EMERALD: Event Monitoring Enabling Responses to Anomalous Live Disturbances. In Proceedings of the 20th National Information Systems Security Conference, pages 353-365, Baltimore, MD, October 1997.
16. P. Porras and A. Valdes. Live Traffic Analysis of TCP/IP Gateways. In Proceedigns of the 1998 ISOC Symposium on Network and Distributed System Security (NDSS'98), San Diego, CA, March 1998.
17. R. Riemenschneider. Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures. In P. Donahoe, editor, Software Architecture. Kluwer Academic Press, 1999.
18. J. Ryan, M.-J. Lin, and R. Miikkulainen. Intrusion Detection with Neural Networks. In Advances in Neural Information Processing Systems, Denver, CO, 1997.
19. M. Shaw and D. Garlan. Formulations and Formalisms in Software Architecture. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, number 1000 in Lecture Notes in Computer Science, pages 307-323. Springer-Verlag, 1996.
20. R. Taylor, N. Medvidovic, K. Anderson, J. Whitehead, J. Robbins, K. Nies, P. Oreizy, and D. Dubrow. A Component- and Message-Based Architectural Style for GUI Software. IEEE Transactions on Software Engineering, 22(6):390-406, June 1996.
21. E. Totel, J.-P. Blanquart, Y. Deswarte, and D. Powell. Supporting Multiple Levels of Criticality. In FTCS-28, The 28th Annual Fault Tolerant Computing Symposium, pages 70-79, Munich, Germany, June 1998.
22. S. Vestal and P. Binns. Scheduling and Communication in MetaH. In Proceedings of the Real-Time Systems Symposium, pages 194-200, Raleigh-Durham, NC, December 1993.