theoretical and methodological basis for all types of assurance cases.
The next workshop on Assurance Cases for Security is subtitled “The Metrics
Challenge” and will be held in conjunction with the International Conference on
Dependable Systems and Networks (DSN 2007) [117] in Edinburgh, Scotland. For