Automated analysis of permission-based security using UMLsec

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

Volumn 4961 LNCS, Issue , 2008, Pages 292-295

  Jürjens, Jan ^a   Schreck, Jörg ^b   Yu, Yijun ^a  

^a OPEN UNIVERSITY   (United Kingdom)

^b Telefonica O2   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; FORMAL LOGIC; SECURITY OF DATA; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

AUTOMATED ANALYSIS; AUTOMATED THEOREM PROVERS (ATP); CONFERENCES (CHEMICAL INDUSTRY); CONSISTENCY CHECKING; EMBEDDING SECURITY; EUROPEAN; FIRST ORDER LOGIC (FOL); HEIDELBERG (CO); INTERNATIONAL (CO); INTERNATIONAL CONFERENCES; MODEL-BASED SECURITY ANALYSIS; PERMISSION-BASED SECURITY; UML (UNIFIED MODELING LANGUAGE)MODEL; WORK-FLOWS;

AUTOMATION;

EID: 47249142498     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78743-3_21     Document Type: Conference Paper

References (5)

1. Best, B., Jürjens, J., Nuseibeh, B.: Model-based security engineering of distributed information systems using UMLsec. In: 29th Int. Conf. on Softw. Engineering (ICSE), pp. 581-590. ACM Press, New York (2007)
2. Jürjens, J., Schreck, J., Bartmann, P.: Model-based security analysis for mobile communications. In: 30th Int. Conf. on Softw. Engineering (ICSE), ACM Press, New York (2008)
3. Jürjens, J.:Secure Systems Development with UML. Springer, Heidelberg (2004)
4. Jürjens, J.: Sound methods and effective tools for model-based security engineering with UML. In: 27th Int. Conf. on Softw. Engineering (ICSE), pp. 322-331. IEEE, Los Alamitos (2005)
5. UMLsec Tool, 2001-07, http://computing-research.open.ac.uk/jj/umlsectool