𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 6th International Workshop - Bolzano, Italy (2010.09.15-2010.09.15)] Proceedings of the 6th International Workshop on Security Measurements and Metrics - MetriSec '10 - Adversary-driven state-based system security evaluation

✍ Scribed by LeMay, Elizabeth; Unkenholz, Willard; Parks, Donald; Muehrcke, Carol; Keefe, Ken; Sanders, William H.

Book ID
127320449
Publisher
ACM Press
Year
2010
Weight
300 KB
Category
Article
ISBN
1450303404

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 6th International Worksho
[ACM Press the 6th International Workshop - Bolzano, Italy (2010.09.15-2010.09.15)] Proceedings of the 6th International Workshop on Security Measurements and Metrics - MetriSec '10 - Adversary-driven state-based system security evaluation
✍ LeMay, Elizabeth; Unkenholz, Willard; Parks, Donald; Muehrcke, Carol; Keefe, Ken 📂 Article 📅 2010 🏛 ACM Press ⚖ 300 KB

To provide insight on system security and aid decision-makers, we propose the ADversary VIew Security Evaluation (AD-VISE) method to quantitatively evaluate the strength of a system's security. Our approach is to create an executable state-based security model of a system. The security model is init

[ACM Press the 6th International Worksho
[ACM Press the 6th International Workshop - Denver, Colorado (2009.10.05-2009.10.05)] Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09 - Automated model-based testing using the UML testing profile and QVT
✍ Lamancha, Beatriz Pérez; Mateo, Pedro Reales; de Guzmán, Ignacio Rodríguez; Usao 📂 Article 📅 2009 🏛 ACM Press ⚖ 233 KB

This paper describes an approach for model-based testing which is completely based on standards, what constitutes an essential factor for its implantation in industrial software tools. The inputs of the process are models described in UML 2.0, whereas the outputs consist of artefacts of the UML Test