Transforming privacy policies to auditing specifications

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2011, Pages 368-375

  Biswas, Debmalya ^a   Niemi, Valtteri ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

Auditing; Minimal logging; Privacy policies; Temporal first order logic

Indexed keywords

AUDITING; AUDITING PROCESS; FIRST ORDER LOGIC; GENERATION PROCESS; MANUAL PROCESS; METRIC TEMPORAL LOGIC; PRIVACY POLICIES; PRIVACY REGULATION; REAL-TIME DATABASE; SERVICE PROVIDER; TEMPORAL CONSTRAINTS;

DATA PRIVACY; METADATA; SPECIFICATIONS; SYSTEMS ENGINEERING; TEMPORAL LOGIC;

MANAGEMENT;

EID: 84856530888     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2011.51     Document Type: Conference Paper

References (13)

1. OASIS, "eXtensible Access Control Markup Language (XACML) Version 2.0," 2005. [Online]. Available: http://docs.oasis-open.org/xacml/2.0/ access control-xacml-2.0-core-spec-os.pdf
2. D. Basin, F. Klaedtke, S. Muller, and B. Pfitzmann, "Runtime Monitoring of Metric First-order Temporal Properties," in Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2008, pp. 49-60.
3. Y. Pan, "SQL Server Audit in SQL Server 2008," 2008. [Online]. Available: www.databasejournal.com/features/mssql/article.php/3751161
4. I.-S. Lee and A. Rask, "Auditing in SQL Server 2008," February 2009. [Online]. Available: http://msdn.microsoft.com/en-us/library/dd392015%28v= sql.100%29.aspx
5. S. Jeloka, Oracle Database Security Guide. Oracle Corp., 2010, ch. 8 Database Auditing: Security Considerations. [Online]. Available: http://download.oracle.com/docs/cd/B19306 01/network.102/b14266.pdf
6. D. Basin, M. Harvan, F. Klaedtke, and E. Zalinescu, "Monitoring Usage-control Policies in Distributed Systems," in 18th International Symposium on Temporal Representation and Reasoning (TIME), 2011.
7. -, "MONPOLY: Monitoring Usage-control Policies," in 2nd International Conference on Runtime Verification (RV), 2011.
8. N. Kiukkonen, J. Blom, O. Dousse, D. Gatica-Perez, and J. Laurila, "Towards Rich Mobile Phone Datasets: Lausanne Data Collection Campaign," in ACM International Conference on Pervasive Services (ICPS), 2010. [Online]. Available: http://research.nokia.com/page/11367
9. D. Biswas, N. Nefedov, and V. Niemi, "Distributed Usage Control," in 8th International Conference on Mobile Web Information Systems (MobiWIS), 2011, pp. 562-569.
10. A. Bauer, M. Leucker, and C. Schallhart, "Model-based Runtime Analysis of Distributed Reactive Systems," in Australian Software Engineering Conference (ASWEC), 2006.
11. A. Genon, T. Massart, and C. Meuter, "Monitoring Distributed Controllers: When an efficient LTL Algorithm on Sequences is Needed to Model-check Traces," in 14th International Symposium on Formal Methods (FM), 2006, pp. 557-572. (Pubitemid 44502930)
12. K. Sen, A. Vardhan, G. Agha, and G. Rosu, "Efficient Decentralized Monitoring of Safety in Distributed Systems," in 26th International Conference on Software Engineering (ICSE), 2004, pp. 418-427.
13. A. Goodloe and L. Pike, "Monitoring Distributed Real-time Systems: A survey and future directions," NASA Langley Research Center, Tech. Rep. NASA/CR-2010-216724, July 2010.