Towards a modeling and analysis framework for privacy-aware systems

Proceedings - 2012 ASE/IEEE International Conference on Privacy, Security, Risk and Trust and 2012 ASE/IEEE International Conference on Social Computing, SocialCom/PASSAT 2012

Volumn , Issue , 2012, Pages 81-90

  Colombo, Pietro ^a   Ferrari, Elena ^a  

^a UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

Analysis Framework; Model Driven Engineering; Privacy; Software Development; UML Profile

Indexed keywords

APPLICATION PROGRAMS; DATA PRIVACY; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

ANALYSIS FRAMEWORKS; MODEL AND ANALYSIS; MODEL-BASED OPC; MODEL-DRIVEN ENGINEERING; PRIVACY PRESERVING; PRIVATE INFORMATION; SOFTWARE APPLICATIONS; UML PROFILES;

MODELING LANGUAGES;

EID: 84873617781     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SocialCom-PASSAT.2012.12     Document Type: Conference Paper

References (18)

1. R. Agrawal, J. Kiernan, R. Srikant, and Y. Xu. Hippocratic databases. In 28th international conference on Very Large Data Bases (VLDB), 2002
2. D. Basin, J. Doser, and T. Lodderstedt. Model driven security: From uml models to access control infrastructures. ACM TOSEM, 15(1), 2006
3. D. Basin, F. Klaedtke, and S. Müller. Policy monitoring in first-order temporal logic. In 22nd CAV, 2010
4. F. Bonchi and E. Ferrari. Privacy-Aware Knowledge Discovery: Novel Applications and New Techniques. CRC Press, 2009
5. J.W. Byun and N. Li. Purpose based access control for privacy protection in relational database systems. The VLDB Journal, 17(4), 2008
6. J.G. Cederquist, R. Corin, M.A.C. Dekker, S. Etalle, J.I. den Hartog, and G. Lenzini. Audit-based compliance control. IJIS, 6(2), 2007
7. J.D. Chimiak-Opoka, B. Demuth, A. Awenius, D. Chiorean, S. Gabel, L. Hamann, and E. Willink. Ocl tools report based on the ide4ocl feature model. Electronic Communications of the EASST, 44(1), 2011
8. D.F. Ferraiolo, R. Sandhu, S. Gavrila, D.R. Kuhn, and R. Chandramouli. Proposed nist standard for role-based access control. ACM Transactions on Information and System Security (TISSEC), 4(3), 2001
9. S. Fischer-Hübner and A. Ott. From a formal privacy model to its implementation. In 21st NISSC, 1998
10. R. France and B. Rumpe. Model-driven development of complex software: A research roadmap. In FOSE. IEEE Computer Society, 2007
11. D. Garg, L. Jia, and A. Datta. Policy auditing over incomplete logs: Theory, implementation and applications. In 18th ACM CCS, 2011
12. J. Jürjens. Secure systems development with UML. Springer, 2005
13. S. Kelly and J.P. Tolvanen. Domain-specific modeling: enabling full code generation. Wiley-IEEE Computer Society Pr, 2008
14. J. McAffer and J.M. Lemieux. Eclipse Rich Client Platform: Designing, Coding, and Packaging Java (TM) Applications. Addison-Wesley, 2005
15. Q. Ni, E. Bertino, J. Lobo, C. Brodie, C. Karat, J. Karat, and A. Trombetta. Privacy-aware role-based access control. ACM Transaction on Information and Systems Security (TISSEC), 13(3), 2010
16. N. Qamar, Y. Ledru, and A. Idani. Evaluating rbac supported techniques and their validation and verification. In ARES, 2011
17. P. Salehi, A. Hamoud-Lhadj, P. Colombo, F. Khendek, and M. Toeroe. A uml-based domain specific modeling language for the availability management framework. In 12th IEEE HASE, 2010
18. B. Selic. A systematic approach to domain-specific language design using uml. In 10th IEEE ISORC, 2007.