How to capture, model, and verify the knowledge of legal, security, and privacy experts: A pattern-based approach

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2007, Pages 149-153

  Compagna, Luca ^a   El Khoury, Paul ^a   Massacci, Fabio ^b   Thomas, Reshma ^c   Zannone, Nicola ^b  

^a SAP Research   (South Africa)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Health care; Legal requirements; Organization; Pattern validation; Security privacy patterns

Indexed keywords

INFRASTRUCTURE; LEGAL REQUIREMENTS; PATTERN VALIDATION; PRIVACY LEGISLATION;

HEALTH CARE; INFORMATION SYSTEMS; PROBLEM SOLVING; REGULATORY COMPLIANCE; SOCIETIES AND INSTITUTIONS;

SECURITY OF DATA;

EID: 34548045316     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1276318.1276346     Document Type: Conference Paper

References (15)

1. T. J. M. Bench-Capon, G. O. Robinson, T. W. Routen, and M. J. Sergot. Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation. In Proc. of ICAIL'87, pages 190-198. ACM Press, 1987.
2. T. J. M. Bench-Capon and G. Sartor. A model of legal reasoning with cases incorporating theories and values. Artif Intell., 150(1-2):97-143, 2003.
3. K. D.M. and E. M.C. Final technical report: Security patterns for web application development. Technical report, 2002. Available at http://www.scrypt.net/
4. E. Fernandez and R. Pan. A Pattern Language for Security Models. In In Proc. of PLoP'01, 2001.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
6. P. Giorgini, F. Massacci, and N. Zannone. Security and Trust Requirements Engineering. In FOSAD 2004/2005, LNCS 3655, pages 237-272. Springer-Verlag, 2005.
7. ISO. Quality Management Systems: Requirements. ISO 9001:2000, 2000.
8. S. Kanger. Law and logic. Theoria, 38(3):105-132, 1972.
9. S. Konrad, B. H. C. Cheng, L. A. Campbell, and R. Wassermann. Using security patterns to model and analyze security requirements. In Proc. of RHAS'03. IEEE Press, 2003.
10. R. A. Kowalski and M. J. Sergot. Computer Representation of the Law. In Proc. of IJCAI'05, pages 1269-1270. Morgan Kaufmann, 1985.
11. L. Lamport. How to write a long formula. Formal Aspects of Comp., 6(5):580-584, 1994.
12. F. Massacci, J. Mylopoulos, and N. Zannone. An Ontology for Secure Socio-Technical Systems. In Handbook of Ontologies for Business Interaction. The IDEA Group, 2007."
13. H. Mouratidis, M. Weiss, and P. Giorgini. Security patterns meet agent oriented software engineering: a complementary solution for developing security information systems. In In Proc. of ER'05, 2005.
14. M. Schumacher. Security Engineering with Patterns: Origins, Theoretical Models, and New Applications. Springer-Verlag, 2003.
15. J. Yoder and J. Barcalow. Architectural Patterns for Enabling Application Security. In In Proc. of PLoP'97, 1997.