Model-based design and analysis of permission-based security

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 224-233

  Jürjens, Jan ^a   Lehrhuber, Markus ^a   Wimmel, Guido ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SYSTEMS; EMBEDDED SYSTEMS; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; SECURITY SYSTEMS;

MODEL-BASED DESIGN; MODEL-BASED SECURITY ANALYSIS; PERMISSION-BASED SECURITY; WORKFLOWS;

SECURITY OF DATA;

EID: 27144534492     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. R. Bloomfield, D. Craigen, F. Koob, M. Ullmann, and S.Wittmann. Formal methods diffusion: Past lessons and future prospects. In F. Koornneef and M. van der Meulen, editors, Computer Safety, Reliability and Security (SAFECOMP 2000), volume 1943 of LNCS, pages 211-226, Rotterdam, The Netherlands, Oct. 2000.
2. G. Georg, I. Ray, and R. B. France. Using aspects to design a secure system. In ICECCS, pages 117-. IEEE Computer Society, 2002.
3. H. Gomaa and M. E. Shin. Modeling complex systems by separating application and security concerns. In ICECCS [5], pages 19-28.
4. L. Gong. Inside Java 2 platform security: Architecture, API design and implementation. In Addison-Wesley, 1999.
5. IEEE Computer Society. 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy, 2004.
6. J. Jürjens. Secure Systems Development with UML. Springer, 2004.
7. J. Jiirjens. Sound methods and effective tools for modelbased security engineering with UML. In 27th International Conference on Software Engineering (ICSE 2005). IEEE Computer Society, 2005.
8. D.-K. Kim, I. Ray, R. B. France, and N. Li. Modeling role-based access control using parameterized UML models. In M. Wermelinger and T. Margaria, editors, FASE, volume 2984 of LNCS, pages 180-193. Springer, 2004.
9. K.-K. Lau and M. Ornaghi. Correct oo systems in computational logic. In M. Bruynooghe, editor, LOPSTR, volume 3018 of LNCS, pages 34-53. Springer, 2003.
10. P. Periorellis, O. C. Idowu, S. J. Lynden, M. P. Young, and P. András. Dealing with complex networks of process interactions: A security measure. In ICECCS [5], pages 29-36.
11. B. Steffen. Major threat: From formal methods without tools to tools without formal methods. In ICECCS [5], page 15.