Enhancing model driven security through pattern refinement techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7542 LNCS, Issue , 2013, Pages 169-183

  Katt, Basel ^a   Gander, Matthias ^a   Breu, Ruth ^a   Felderer, Michael ^a  

^a UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

FAIR NON REPUDIATIONS; HIGH LEVEL OF ABSTRACTION; MODEL DRIVEN SECURITY; NON-REPUDIATION SERVICES; PATTERN REFINEMENTS; SECURITY INFRASTRUCTURE; SECURITY REQUIREMENTS; TECHNICAL SECURITY;

FORMAL METHODS;

EID: 84883269042     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35887-6_9     Document Type: Conference Paper

References (19)

1. Basin, D., Doser, J., Lodderstedt, T. : Model Driven Security: From UML Models to Access Control Infrastructures. ACM Trans. Softw. Eng. Methodol. 15(1), 39-91 (2006)
2. Datta, A., Derek, A., Mitchell, J., Pavlovic, D. : A derivation system and compositional logic for security protocols. J. Comput. Secur. 13(3), 423-482 (2005)
3. David, R., Carlos, G., Fernandez-Medina, E., Piattini,M. : Security patterns and requirements for internet-based applications. Internet Research 16(5), 519-536 (2006)
4. Delessy, N., Fernandez, E. B. : A Pattern-Driven Security Process for SOA Applications. In: ARES 2008: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security, pp. 416-421. IEEE Computer Society, Washington, DC (2008)
5. Fernandez, E. B., Washizaki, H., Yoshioka, N. : Abstract Security Patterns. In: SPAQu 2008-2nd Int. Workshop on Software Patterns and Quality (2008), http://patterns-wg. fuka. info. waseda. ac. jp/SPAQU/
6. Hafner, M. : SECTET A Domain Architecture for Model Driven Security. PhD Thesis (November 2006)
7. Hafner,M., Breu, R. : Security Engineering for Service-oriented Architectures. Springer (October 2008)
8. Hafner, M., Memon, M., Breu, R. : SeAAS-A Reference Architecture for Security Services in SOA. Journal of Universal Computer Science 15(15), 2916-2936 (2009), http://www. jucs. org/jucs-15-15/seaas-a-reference- architecture
9. Juerjens, J. : Secure Systems Development with UML. Springer (2004)
10. Lang, U., Schreiner, R. : Developing Secure Distributed Systems with CORBA. Artech House, Inc., Norwood (2002)
11. OASIS. Extensible Access Control Markup Language (XACML) (2006), http://www. oasis-open. org
12. Rodriguez, A., Fernandez-Medina, E., Piattini, M. : A BPMN Extension for the Modeling of Security Requirements in Business Processes. IEICE-Transactions on Information and Systems E90-D(4), 745-752 (2007)
13. Rosado, D. G., Fernandez-Medina, E., Piattini,M. : Comparison of Security Patterns. IJCSNS-International Journal of Computer Science and Network Security 6(2B), 139-146 (2006)
14. Satoh, F., Nakamura, Y., Ono, K. : Adding Authentication to Model Driven Security. In: ICWS 2006: Proceedings of the IEEE International Conference on Web Services, pp. 585-594. IEEE Computer Society, Washington, DC (2006)
15. Schumacher, M. : Security Engineering with Patterns: Origins, Theoretical Models, and New Applications. Springer-Verlag New York, Inc., Secaucus (2003)
16. Lodderstedt, T., Basin, D., Doser, J. : SecureUML: A UML-Based Modeling Language for Model-Driven Security. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 426-441. Springer, Heidelberg (2002)
17. Wimmel, G., Wisspeintner, A. : Extended Description Techniques for Security Engineering. In: Dupuy, M., Paradinas, P. (eds.) Trusted Information. IFIP, vol. 65, pp. 469-485. Springer, Boston (2002)
18. Wolter, C., Menzel, M., Christoph, M., et al. : Model-driven business process security requirement specification. J. Syst. Archit. 55(4), 211-223 (2009)
19. Wolter, C., Menzel, M., Meinel, C. : Modelling Security Goals in Business Processes. In: Modellierung, pp. 197-212 (2008)