Our mission is to apply state-of-the-art systems engineering technology to the development of trustworthy, safe, reliable, available, secure, dependable solutions to real-world system development problems.

Examples of solutions we have developed include:

• SDTP: An open, demonstably secure software architecture for distributed transaction processing
• Enclaves™: Middleware for collaboration over secure virtural subnets of the Internet

• Dr. Steven Cheung

• Autonomous Negotiating Teams (ANT)
• Dependable Intrusion Tolerance (DIT)
• Dynamic Dependability Gauges (DASADA)
• Genesis of Cyberscience
• Intrusion Tolerant Architectures

• Automatic Analysis of Firewall and Network Intrusion Detection System Configurations  (2004)
• Towards automatic synthesis of security protocols  (2002)
• Intrusion-Tolerant Enclaves  (2002)
• Dynamic Scan Scheduling  (2002)
• An Architecture for an Adaptive Intrusion Tolerant Server  (2002)
• Intrusion Tolerant Software Architectures  (2001)
• The Inquisitive Sensor: A Tactical Tool for System Survivability  (2001)
• Dependability Co-Design  (2001)
• Scan Scheduling Specification and Analysis  (2000)
• Formal analysis for realtime scheduling  (2000)
• Design Assurance Arguments for Intrusion Tolerance
• Combining monitors for run-time system verification