Process Control Systems Security


	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 (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)
-	Open Hyperdocument System (OHS)
-	Pathway Logic
-	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
-	Ultra Log
-	Virtualized Execution Realizing Network Infrastructures Enhancing Reliability (VERNIER)
	Research Programs

	Division Home

More information about the now completed first I3P PCS Security Project can be found at https://www.thei3p.org/projects/pcs.html.

SRI is currently involved in the second I3P Project in this field, entitled "Survivability and Recovery of Process Control Systems". See http://www.thei3p.org/projects/pcs07overview.html for more information.

Principal Investigator:

Dr. Ulf Lindqvist

Staff Members:

Papers:

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