Showing 1 - 10 of 634 results for the Type - Technical Report
Architecture-Led Safety Analysis (ALSA) is a safety analysis method that uses early architecture knowledge to supplement traditional safety analysis techniques to identify faults as early as possible.
Presents recommendations for mitigating insider threat based on CERT's continued research and analysis of over 1,000 cases.
This report describes how positive incentives complement traditional practices to provide a better balance for organizations‰ insider threat programs.
This report describes research to define complexity measures for avionics systems to help the FAA identify when systems are too complex to assure their safety.
This report describes schedulability analyses and proposes segment-fixed priority scheduling for self-suspending tasks.
This report describes the Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling, which supports safety, reliability, and security analyses.
This report describes a textual requirement specification language, called ReqSpec, for the Architecture Analysis & Design Language (AADL) and demonstrates its use.
DMPL is a language for programming distributed real-time, mixed-criticality software. It supports distributed systems in which each node executes a set of periodic real-time threads that are scheduled by priority and criticality.
This report presents an ontology for insider threat indicators, describes how the ontology was developed, and outlines the process by which it was validated.
This report presents an approach to analyzing approximately 16 gigabytes of full packet capture data collected from an industrial control system honeynet,a network of seemingly vulnerable machines designed to lure attackers.