Search | CSRC

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Search Results

Showing 1 through 25 of 31 matching records.

1 | 2 > >>

Series	Number	Title Publications	Status	Release Date	Relevance*
IR	8539	Security Property Verification by Transition Model IR 8539 (Initial Public Draft) Security Property Verification by Transition Model 10/08/2024 Status: Draft	Draft	10/08/2024	100%
CSWP	35	Cybersecurity Threat Modeling the Genomic Data Sequencing Workflow: An example threat model implementation for genomic data sequencing and analysis CSWP 35 (Initial Public Draft) Cybersecurity Threat Modeling the Genomic Data Sequencing Workflow: An example threat model implementation for genomic data sequencing and analysis 12/16/2024 Status: Draft	Draft	12/16/2024	77%
IR	8349	Methodology for Characterizing Network Behavior of Internet of Things Devices IR 8349 (Initial Public Draft) Methodology for Characterizing Network Behavior of Internet of Things Devices 1/11/2022 Status: Draft	Draft	1/11/2022	70%
Conference Paper		Metamorphic Testing for Hybrid Simulation Validation Conference Paper (Final) Metamorphic Testing for Hybrid Simulation Validation 10/05/2021 Status: Final	Final	10/05/2021	65%
Conference Paper		Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models Conference Paper (Final) Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models 6/02/2021 Status: Final	Final	6/02/2021	65%
Journal Article		Could the Internet of Things Be Used to Enhance Student Nurses’ Experiences in a Disaster Simulation? Journal Article (Final) Could the Internet of Things Be Used to Enhance Student Nurses’ Experiences in a Disaster Simulation? 2/27/2018 Status: Final	Final	2/27/2018	65%
Conference Paper		Applying Combinatorial Testing to the Siemens Suite Conference Paper (Final) Applying Combinatorial Testing to the Siemens Suite 3/22/2013 Status: Final	Final	3/22/2013	65%
Conference Paper		Random vs. Combinatorial Methods for Discrete Event Simulation of a Grid Computer Network Conference Paper (Final) Random vs. Combinatorial Methods for Discrete Event Simulation of a Grid Computer Network 10/16/2009 Status: Final	Final	10/16/2009	65%
Journal Article		A Technique for Analyzing the Effects of Changes in Formal Specifications Journal Article (Final) A Technique for Analyzing the Effects of Changes in Formal Specifications 12/01/1992 Status: Final	Final	12/01/1992	65%
Journal Article		Generating Extended State Transitions from Structured Specifications for Process Control Systems Journal Article (Final) Generating Extended State Transitions from Structured Specifications for Process Control Systems 9/01/1989 Status: Final	Final	9/01/1989	65%
TN	906	A Methodology for Evaluating Alternative Technical and Information Management Approaches to Privacy Requirements TN 906 (Final) A Methodology for Evaluating Alternative Technical and Information Management Approaches to Privacy Requirements 6/01/1976 Status: Final	Final	6/01/1976	65%
IR	985	A Computer Model to Determine Low Cost Techniques to Comply with the Privacy Act of 1974 IR 985 (Final) A Computer Model to Determine Low Cost Techniques to Comply with the Privacy Act of 1974 2/01/1976 Status: Final	Final	2/01/1976	65%
Conference Paper		Efficient Parameter Exploration of Simulation Studies Conference Paper (Final) Efficient Parameter Exploration of Simulation Studies 11/18/2022 Status: Final	Final	11/18/2022	58%
Conference Paper		Identifying Tactics of Advanced Persistent Threats with Limited Attack Traces Conference Paper (Final) Identifying Tactics of Advanced Persistent Threats with Limited Attack Traces 12/16/2021 Status: Final	Final	12/16/2021	58%
Conference Paper		Modeling and Mitigating the Insider Threat of Remote Administrators in Clouds Conference Paper (Final) Modeling and Mitigating the Insider Threat of Remote Administrators in Clouds 7/10/2018 Status: Final	Final	7/10/2018	58%
Conference Paper		Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs Conference Paper (Final) Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs 7/10/2018 Status: Final	Final	7/10/2018	58%
Conference Paper		A Layered Graphical Model for Mission Attack Impact Analysis Conference Paper (Final) A Layered Graphical Model for Mission Attack Impact Analysis 10/11/2017 Status: Final	Final	10/11/2017	58%
Conference Paper		Threat Modeling for Cloud Data Center Infrastructures Conference Paper (Final) Threat Modeling for Cloud Data Center Infrastructures 10/26/2016 Status: Final	Final	10/26/2016	58%
Conference Paper		General Methods for Access Control Policy Verification Conference Paper (Final) General Methods for Access Control Policy Verification 7/30/2016 Status: Final	Final	7/30/2016	58%
Conference Paper		A Model Towards Using Evidence from Security Events for Network Attack Analysis Conference Paper (Final) A Model Towards Using Evidence from Security Events for Network Attack Analysis 4/27/2014 Status: Final	Final	4/27/2014	58%
Journal Article		Automated Combinatorial Test Methods Beyond Pairwise Testing Journal Article (Final) Automated Combinatorial Test Methods Beyond Pairwise Testing 6/02/2008 Status: Final	Final	6/02/2008	58%
Journal Article		Implementing Interactive Analysis of Attack Graphs Using Relational Databases Journal Article (Final) Implementing Interactive Analysis of Attack Graphs Using Relational Databases 4/02/2008 Status: Final	Final	4/02/2008	58%
Journal Article		Threat Modeling for Cloud Infrastructures Journal Article (Final) Threat Modeling for Cloud Infrastructures 12/21/2018 Status: Final	Final	12/21/2018	50%
Conference Paper		A Layered Graphical Model for Cloud Forensic and Mission Impact Analysis Conference Paper (Final) A Layered Graphical Model for Cloud Forensic and Mission Impact Analysis 1/05/2018 Status: Final	Final	1/05/2018	50%
SP	800-192	Verification and Test Methods for Access Control Policies/Models SP 800-192 (Final) Verification and Test Methods for Access Control Policies/Models 6/27/2017 Status: Final	Final	6/27/2017	50%

1 2 next > last >>

* "Relevance" merely indicates the search engine's score for a document. It is based on the search parameters and information in the document's detailed record.

View All Publications

Current Publications

NIST Series Pubs
- Final Pubs
- Drafts Open for Comment
- Drafts (all)
- View By Series
  - FIPS (standards)
  - SP 800 (guidance)
  - SP 1800 (practice guides)
  - SP (all subseries)
  - IR (interagency/internal reports)
  - CSWP (cybersecurity white papers)
  - ITL Bulletins
Other Pubs