Dr. Bruno Dutertre Staff Scientist Projects: Autonomous Negotiating Teams (ANT) Dependable Intrusion Tolerance (DIT) Dynamic Dependability Gauges (DASADA) Enclaves Genesis of Cyberscience Intrusion Tolerance for NEST Intrusion Tolerant Architectures Next Generation (XG) Process Control Systems Security Past Projects: Detection and Analysis of Threats to the Energy Sector (DATES) Papers: Using Model-based Intrusion Detection for SCADA Networks  (2007) Detecting Disruptive Routers in Wireless Sensor Networks  (2006) Lightweight Key Management in Wireless Sensor Networks by Leveraging Initial Trust  (2004) Intrusion-Tolerant Enclaves  (2002) Dynamic Scan Scheduling  (2002) An Architecture for an Adaptive Intrusion Tolerant Server  (2002) Intrusion-Tolerant Group Management in Enclaves  (2001) Intrusion Tolerant Software Architectures  (2001) Formal Analysis of the Priority Ceiling Protocol  (2000) Formal analysis for realtime scheduling  (2000) Scan Scheduling Specification and Analysis  (2000) The Priority Ceiling Protocol: Formalization and Analysis Using PVS  (1999) A Model of Noninterference for Integrating Mixed-Criticality Software Components  (1999) Formal Requirements Analysis of an Avionics Control System  (1997) Using a PVS Embedding of CSP to Verify Authentication Protocols  (1997) Elements of Mathematical Analysis in PVS  (1996) Requirements Analysis of Real-Time Control Systems using PVS Avionics Systems Requirements: A Comparison of RSML and SCR A Formalization of Software Architecture Complete Proof Systems for First Order Interval Temporal Logic

About Us    R&D Divisions    Careers    Newsroom    Contact Us
© 2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy