Cyber Security Research and Development Center (CSRDC)

SRI Logo
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
-Bixie
-Common Authentication Protocol Specification Language (CAPSL)
-Compositional Abstraction and Refinement for Aspects (CARA)
-Correlated Attack Modeling (CAM)
-Cyber-Threat Analytics (Cyber-TA)
-Cybersecurity Experimentation of the Future (CEF)
-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)
-Internet of Things Security and Privacy Center (IoTSPC)
-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
-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)
-Semantically Enabled Automated Assessment in Virtual Environments (SAVE)
-Sensor Coordination using Active Dataspaces
-Sharing Expertise and Artifacts for Reuse through Cybersecurity Community Hub (SEARCCH)
-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
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
[画像:SRI Logo]

Cyber Security Research and Development Center (CSRDC)

SRI International provides technical, managerial, and administrative support for the Cyber Security Research and Development Center established by the U.S. Department of Homeland Security, Science and Technology Directorate.

More Information: http://www.dhs.gov/science-and-technology/cyber-security-division

Principal Investigator: Staff Members: Papers:













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





















AltStyle によって変換されたページ (->オリジナル) /