Security Assessment of Dynamic Coalition and Fault Tolerant Network Technologies


	Computer Science Laboratory

	Contact

	People at CSL

	Projects at CSL

-	Active Networks Test Environment (ACTIVATE)
-	Adaptable Network Control and Reporting System (ANCORS)
-	Agile Management of Dynamic Collaboration
-	Artifactory
-	Autonomous Negotiating Teams (ANT)
-	Bio Informatics
-	Common Authentication Protocol Specification Language (CAPSL)
-	Compositional Abstraction and Refinement for Aspects (CARA)
-	Correlated Attack Modeling (CAM)
-	Cyber Security Research and Development Center (CSRDC)
-	Cyber-Threat Analytics (Cyber-TA)
-	DARPA Agent Markup Language (DAML)
-	Dependable Intrusion Tolerance (DIT)
-	Detection and Analysis of Threats to the Energy Sector
-	Detection and Analysis of Threats to the Energy Sector (DATES)
-	Dynamic Dependability Gauges (DASADA)
-	eBayes
-	Enclaves
-	Evaluation Methods for Internet Security Technology (EMIST)
-	Event Monitoring Enabling Responses to Anomalous Live Disturbances (EMERALD)
-	Formal Composition Technology for Time-Triggered Systems
-	Genesis of Cyberscience
-	Integrated Canonizer and Solver (ICS)
-	Intrusion Tolerance for NEST
-	Intrusion Tolerant Architectures
-	Maude
-	Mobile Maude
-	Molecular Electronics
-	Network Embedded Systems Technology (NEST)
-	Next Generation (XG)
-	Next-Generation Intrusion-Detection Expert System (NIDES)
-	ONISTT
-	Open Hyperdocument System (OHS)
-	Pathway Logic
-	PHD: Predicting Health and Disease (PHD)
-	Principles and Foundations for Fractionated Networked Cyber-Physical Systems
-	Process Control Systems Security
-	Prototype Verification System (PVS)
-	Public Key Infrastructure (PKI)
-	Secure Access Wrapper (SAW)
-	Sensor Coordination using Active Dataspaces
-	Symbolic Analysis Laboratory (SAL)
-	Trusted Interoperation of Healthcare Information (TIHI)
-	Trusted Interoperation of Heterogeneous Autonomous Databases
-	Virtualized Execution Realizing Network Infrastructures Enhancing Reliability (VERNIER)
	Research Programs

	Division Home


	Security Assessment of Dynamic Coalition and Fault Tolerant Network Technologies SRI is providing a Red Team Review of the Dynamic Coalitions and Fault Tolerant Network Programs of DARPA's Advanced Technology Office. In this project SRI provides an information assurance assessment of emerging communications technologies.

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