Security asset elicitation for collaborative models

Proceedings of the Workshop on Model-Driven Security, MDsec 2012

Volumn , Issue , 2012, Pages

  Vasilevskaya, Maria ^a   Nadjm Tehrani, Simin ^a   Gunawan, Linda Ariani ^b   Herrmann, Peter ^b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

assets; domain; model; ontology; security; smart grid; tools

Indexed keywords

ASSETS; BUILDING BLOCKES; COLLABORATIVE MODEL; DOMAIN; IN-DEPTH UNDERSTANDING; PROTECTION MECHANISMS; REASONER; SECURE SYSTEM; SECURITY; SMART GRID; SMART METERING;

ENGINEERS; MODELS; ONTOLOGY; SECURITY OF DATA; SMART POWER GRIDS; TOOLS;

SYSTEMS ANALYSIS;

EID: 84873822340     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2422498.2422505     Document Type: Conference Paper

References (19)

1. HermiT Reasoner. http://hermit-reasoner.com.
2. MagicDraw. http://www.magicdraw.com.
3. Ontology Language Manchester Syntax. http://www.w3.org/TR/owl2- manchester-syntax/.
4. The SecFutur project: Design of Secure and Energy-efficient Embedded Systems for Future Internet Application. http://www.secfutur.eu.
5. F. Braber, I. Hogganvik, M. S. Lund, K. Stølen, and F. Vraalsen. Model-Based Security Analysis in Seven Steps - a Guided Tour to the CORAS Method. BT Technology Journal, 2007.
6. E. B. Fernandez, H. Washizaki, N. Yoshioka, A. Kubo, and Y. Fukazawa. Classifying security patterns. In 1 0th Asia-Pacific web conference on Progress in WWW research and development, 2008.
7. L. A. Gunawan, F. A. Kraemer, and P. Herrmann. A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. In I nternational Symposium on Engineering Secure Software and Systems. Springer, 2011.
8. A. Herzog, N. Shahmehri, and C. Duma. An Ontology of Information Security. Journal of Techniques and Applications for Advanced Information Privacy and Security, IGI Global, 2007.
9. J. Jürjens. Secure System Development with UML. Springer-Verlag, 2005.
10. F. A. Kraemer. Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology, August 2008.
11. F. A. Kraemer and P. Herrmann. Automated Encapsulation of UML Activities for Incremental Development and Verification. In International Conference on Model Driven Engineering, Languages and Systems. Springer, 2009.
12. F. A. Kraemer and P. Herrmann. Reactive Semantics for Distributed UML Activities. In Formal Techniques for Distributed Systems. Springer, 2010.
13. F. A. Kraemer, V. Slåtten, and P. Herrmann. Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software, 2009.
14. T. Lodderstedt, D. Basin, and J. Doser. SecureUML: A UML-Based Modeling Language for Model-Driven Security. In International Conference on The Unified Modeling Language, UML. Springer-Verlag, 2002.
15. A. Nhlabatsi, A. Bandara, S. Hayashi, C. Haley, J. Jurjens, H. Kaiya, A. Kubo, R. Laney, H. Mouratidis, B. Nuseibeh, T. Tun, H. Washizaki, N. Yoshioka, and Y. Yu. Security patterns: Comparing modelling approaches. Software Engineering for Secure Systems: Industrial and Research Perspectives, IGI Global, 2010.
16. Object Management Group. Unified Modeling Language: Superstructure, version 2.4.1.
17. M. Schumacher, E. Fernandez-Buglioni, D. Hybertson, F. Buschmann, and P. Sommerlad. Security Patterns: Integrating Security and Systems Engineering. John Wiley and Sons, 2005.
18. M. VanHilst, E. B. Fernández, and F. A. Braz. A multi-dimensional classification for users of security patterns. In International Workshop on Security in Information Systems, 2008.
19. H. Washizaki, E. B. Fernandez, K. Maruyama, A. Kubo, and N. Yoshioka. Improving the classification of security patterns. In International Workshop on Database and Expert Systems Application, 2009.