From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance Automation
暂无分享,去创建一个
Birgit Pfitzmann | B. Pfitzmann | Chris Giblin | Samuel Muller | Christopher J. Giblin | Samuel Muller
[1] Xin Zhou,et al. Regulations Expressed As Logical Models (REALM) , 2005, JURIX.
[2] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[3] Roy T. Fielding,et al. Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.
[4] Thomas A. Henzinger,et al. Real-time logics: complexity and expressiveness , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[5] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[6] Frank Budinsky,et al. Eclipse Modeling Framework , 2003 .
[7] Alexander Pretschner,et al. Distributed usage control , 2006, CACM.
[8] Frank Leymann,et al. Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology , 2006, 22nd International Conference on Data Engineering (ICDE'06).