Security validation of business processes via model-checking

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

Volumn 6542 LNCS, Issue , 2011, Pages 29-42

  Arsac, Wihem ^a   Compagna, Luca ^a   Pellegrino, Giancarlo ^a   Ponta, Serena Elisa ^a,b  

^a SAP Research Sophia Antipolis   (France)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ART MODEL; AUTOMATED REASONING; BUSINESS ANALYSTS; BUSINESS PROCESS; DYNAMIC ENVIRONMENTS; INDUSTRIAL ACTIVITIES; INDUSTRIAL SYSTEMS; RUNTIME ENVIRONMENTS; TASK DELEGATION; TOOL SUPPORT; VALIDATION APPROACH;

AUTOMATA THEORY; FEEDBACK; INDUSTRY; MATHEMATICAL TECHNIQUES; STATE FEEDBACK; USER INTERFACES; INTERFACE STATES;

MODEL CHECKING;

EID: 79551564021     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19125-1_3     Document Type: Conference Paper

References (14)

1. Clarke, E.M., Grumberg, O., Peled, D.: Model checking (2000)
2. Karch, S., Heilig, L.: SAP NetWeaver, 1. aufl edn. Galileo Press, Bonn (2004)
3. Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer 29(2), 38-47 (1996)
4. Giorgini, P., Massacci, F., Mylopoulos, J.: Modeling security requirements through ownership, permission and delegation. In: RE, pp. 167-176. IEEE Press, Los Alamitos (2005)
5. AVANTSSAR: Deliverable 2.1: Requirements for modelling and ASLan v.1 (2008), http://www.avantssar.eu
6. Armando, A., Carbone, R., Compagna, L.: LTL Model Checking for Security Protocols. In: JANCL, Special Issue on Logic and Information Security (2009)
7. Schaad, A., Lotz, V., Sohr, K.: A model-checking approach to analysing organisational controls in a loan origination process. In: SACMAT, pp. 139-149. ACM, New York (2006)
8. Wolter, C., Miseldine, P., Meinel, C.: Verification of business process entailment constraints using SPIN. In: Massacci, F., Redwine Jr., S.T., Zannone, N. (eds.) ESSoS 2009. LNCS, vol. 5429, pp. 1-15. Springer, Heidelberg (2009)
9. Rakkay, H., Boucheneb, H.: Security analysis of role based access control models using colored petri nets and cpntools, pp. 149-176 (2009)
10. Zhang, N., Ryan, M., Guelev, D.P.: Evaluating access control policies through model checking. In: Zhou, J., López, J., Deng, R.H., Bao, F. (eds.) ISC 2005. LNCS, vol. 3650, pp. 446-460. Springer, Heidelberg (2005)
11. Teepe, W., van de Riet, R., Olivier, M.: Workflow analyzed for security and privacy in using databases. J. Comput. Secur. 11(3), 353-363 (2003)
12. Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data aware compliance rules. In: ICSOC-Service Wave (2009)
13. Jan, J.: Secure Systems Development with UML. Springer Academic Publishers, Heidelberg (2005)
14. Höhn, S., Jürjens, J.: Rubacon: automated support for model-based compliance engineering. In: ICSE, pp. 875-878 (2008)