Nicht lieferbar
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 Model53,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 System52,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 Framework52,99 €![Doctrine (Maybe), Strategy (No): Will the Air Force Implement a Force Protection Program?]( "Doctrine (Maybe), Strategy (No): Will the Air Force Implement a Force Protection Program?")
Doctrine (Maybe), Strategy (No): Will the Air Force Implement a Force Protection Program?52,99 €![A US Army Formal Fac: A Program Is the Solution for Improving Joint Fires Integration for the Maneuver Commander]( "A US Army Formal Fac: A Program Is the Solution for Improving Joint Fires Integration for the Maneuver Commander")
A US Army Formal Fac: A Program Is the Solution for Improving Joint Fires Integration for the Maneuver Commander53,99 €![Using Future Value Analysis to Select an Optimal Portfolio of Force Protection Initiatives]( "Using Future Value Analysis to Select an Optimal Portfolio of Force Protection Initiatives")
Using Future Value Analysis to Select an Optimal Portfolio of Force Protection Initiatives52,99 €![Protection of Medical Units Under the Geneva Conventions in the Contemporary Operating Environment]( "Protection of Medical Units Under the Geneva Conventions in the Contemporary Operating Environment")
Protection of Medical Units Under the Geneva Conventions in the Contemporary Operating Environment52,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.