Specifying process-aware access control rules in SBVR

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

Volumn 4824 LNCS, Issue , 2007, Pages 29-52

  Goedertier, Stijn ^a   Mues, Christophe ^b   Vanthienen, Jan ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Access control; BPM; Defeasible logic; RBAC; SBVR

Indexed keywords

PUBLIC POLICY; REGULATORY COMPLIANCE; SPECIFICATIONS;

ACCESS CONTROL POLICY; CONTROL RULES; DEFEASIBLE LOGIC;

ACCESS CONTROL;

EID: 38349027223     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75975-1_4     Document Type: Conference Paper

References (26)

1. Securities and Exchange Commission, U.S.A.: Sarbanes Oxley Act 2002. Securities and Exchange Commission (SEC), U.S.A (2002)
2. Object Management Group: Business Process Modeling Notation (BPMN) - final adopted specification. OMG Document - dtc/06-02-01 (2006)
3. Chapin, D.: Semantics of Business Vocabulary & Business Rules (SBVR) [26]
4. Object Management Group: Semantics of Business Vocabulary and Business Rules (SBVR) - Interim Specification. OMG Document - dtc/06-03-02 (2006)
5. Goedertier, S., Vanthienen, J.: EM- BrA〈Superscript〉2〈Superscript〉CE 0.2: A Vocabulary and Execution Model for Declarative Process Models. Fetew research report, K.U.Leuven (2007), http://www.econ.kuleuven.ac.be/public/ndbaf38/EM-BrAACE
6. Baisley, D.E., Hall, J., Chapin, D.: Semantic Formulations in SBVR [26]
7. Unisys: Unisys rules modeler (2005) (10-11-2005), www.unisys.com
8. Digital Business Ecosystem (DBE): Sbeaver (2007), http://sbeaver. sourceforge.net
9. Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer 29(2), 38-47 (1996)
10. Ferraiolo, D.F., Sandhu, R.S., Gavrila, S.I., Kuhn, D.R., Chandramouli, R.: Proposed nist standard for role-based access control. ACM Trans. Inf. Syst. Secur. 4(3), 224-274 (2001)
11. InterNational Committee for Information Technology Standards (INCITS): Role-Based Access Control. American National Standard ANSI/INCITS 359-2004 (2004), http://csrc.nist.gov/rbac
12. Guizzardi, G., Wagner, G.: Ontologies and Business Systems Analysis. In: Rosemann, M., Green, P. (eds.) Some Applications of a Unified Foundational Ontology in Business Modeling, pp. 345-367. IDEA Publisher, USA (2005)
13. Object Management Group: Business Motivation Model (BMM) - adopted specification. OMG Document - dtc/2006-08-03 (2006)
14. Nute, D.: Defeasible Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 353-395. Oxford University Press, New York (1994)
15. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255-287 (2001)
16. Grosof, B.N., Labrou, Y., Chan, H.Y.: A declarative approach to business rules in contracts: courteous logic programs in XML. In: ACM Conference on Electronic Commerce, pp. 68-77. ACM Press, New York (1999)
17. Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools 10(4), 483-501 (2001)
18. Bassiliades, N., Kontopoulos, E., Antoniou, G.: A visual environment for developing defeasible rule bases for the semantic web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 172-186. Springer, Heidelberg (2005)
19. Kontopoulos, E., Bassiliades, N., Antoniou, G.: Visualizing defeasible logic rules for the semantic web. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 278-292. Springer, Heidelberg (2006)
20. Antoniou, G., Taveter, K., Berndtsson, M., Wagner, G., Spreeuwenberg, S.: A First-Version Visual Rule Language. Report IST-2004-506779, REWERSE (2004)
21. Vanthienen, J., Robben, F.: Developing legal knowledge based systems using decision tables. In: ICAIL, pp. 282-291 (1993)
22. Vanthienen, J., Mues, C., Aerts, A.: An Illustration of Verification and Validation in the Modelling Phase of KBS Development. Data Knowl. Eng. 27(3), 337-352 (1998)
23. Spreeuwenberg, S., Gerrits, R., Boekenoogen, M.: Valens: A knowledge based tool to validate and verify an aion knowledge base (2000)
24. Vanthienen, J., Mues, C.: Prologa 5.3 - tabular knowledge modeling (2005)
25. Strembeck, M., Neumann, G.: An integrated approach to engineer and enforce context constraints in rbac environments. ACM Trans. Inf. Syst. Secur. 7(3), 392-427 (2004)
26. W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA. In: Rule Languages for Interoperability, W3C (2005)