Andere Kunden interessierten sich auch für
![An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model]( "An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model")
An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model60,99 €![Formal Object State Model Transformations for Automated Agent System Synthesis]( "Formal Object State Model Transformations for Automated Agent System Synthesis")
Formal Object State Model Transformations for Automated Agent System Synthesis60,99 €![Risk Management Security Improving the United States Air Force Protection Level Asset Security System]( "Risk Management Security Improving the United States Air Force Protection Level Asset Security System")
Risk Management Security Improving the United States Air Force Protection Level Asset Security System60,99 €![Value-Driven Enterprise Architecture Evaluation for the Joint Force Protection Advanced Security System]( "Value-Driven Enterprise Architecture Evaluation for the Joint Force Protection Advanced Security System")
Value-Driven Enterprise Architecture Evaluation for the Joint Force Protection Advanced Security System61,99 €![Friendly Skies over Africa: Improving Air Traffic System Safety in Africa and United States Africa Command's Role in Development]( "Friendly Skies over Africa: Improving Air Traffic System Safety in Africa and United States Africa Command's Role in Development")
Friendly Skies over Africa: Improving Air Traffic System Safety in Africa and United States Africa Command's Role in Development61,99 €![A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System]( "A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System")
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System60,99 €![Formal Mitigation Strategies for the Insider Threat: A Security Model and Risk Analysis Framework]( "Formal Mitigation Strategies for the Insider Threat: A Security Model and Risk Analysis Framework")
Formal Mitigation Strategies for the Insider Threat: A Security Model and Risk Analysis Framework62,99 €
This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provide security services such as confidentiality and integrity. The theory described by the resultant model was logically proved in the Prototype Verification System (PVS). Each component of SPM was tested, as were several anomalous conditions, and each test produced results consistent with the model. The model is internally modular, and therefore easily extensible, yet cohesive since the theory to be proved encompasses the entire specification.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.