Next:
The Methodology
Up:
Modeling and Analysis of
Previous:
Procedural Security Analysis
The Methodology and a Case Study
Subsections
The Methodology
The Case Study
Model Procedures and Inject Threats
Model the asset-flow in NuSMV
Represent properties and Model Check them
komminist 2008-06-30
