{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:34:28Z","timestamp":1771043668653,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642356315","type":"print"},{"value":"9783642356322","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35632-2_17","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:40:54Z","timestamp":1358210454000},"page":"151-167","source":"Crossref","is-referenced-by-count":18,"title":["Monitoring Compliance Policies over Incomplete and Disagreeing Logs"],"prefix":"10.1007","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Klaedtke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srdjan","family":"Marinovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugen","family":"Z\u0103linescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"The Health Insurance Portability and Accountability Act of 1996 (HIPAA), Public Law 104-191 (1996)"},{"key":"17_CR2","unstructured":"Gramm-Leach-Bliley Act of 1999 (GLBA), Public Law 106-102 (1999)"},{"key":"17_CR3","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.2514\/1.49356","volume":"7","author":"H. Barringer","year":"2010","unstructured":"Barringer, H., Groce, A., Havelund, K., Smith, M.: Formal analysis of log files. J. Aero. Comput. Inform. Comm.\u00a07, 365\u2013390 (2010)","journal-title":"J. Aero. Comput. Inform. Comm."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Z\u0103linescu, E.: Monitoring usage-control policies in distributed systems. In: TIME 2011, pp. 88\u201395 (2011)","DOI":"10.1109\/TIME.2011.14"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-29860-8_27","volume-title":"Runtime Verification","author":"D. Basin","year":"2012","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Z\u0103linescu, E.: MONPOLY: Monitoring Usage-Control Policies. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 360\u2013364. Springer, Heidelberg (2012)"},{"key":"17_CR7","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: FSTTCS 2008. Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a02, pp. 49\u201360 (2008)"},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A. Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Logic Comput.\u00a020(3), 651\u2013674 (2010)","journal-title":"J. Logic Comput."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Belnap Jr., N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. Episteme, vol.\u00a02, pp. 7\u201337. D. Reidel Publishing Company (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Blamey, S.: Partial logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a05, pp. 261\u2013353. Kluwer Academic Publishers (2002)","DOI":"10.1007\/978-94-017-0458-8_5"},{"key":"17_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-89674-6_12","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"G. Boella","year":"2008","unstructured":"Boella, G., Broersen, J., van der Torre, L.: Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol.\u00a05357, pp. 86\u201397. Springer, Heidelberg (2008)"},{"key":"17_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-540-30227-8_29","volume-title":"Logics in Artificial Intelligence","author":"J. Broersen","year":"2004","unstructured":"Broersen, J.: On the Logic of \u2019Being Motivated to Achieve \u03c1, Before \u03b4\u2032. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 334\u2013346. Springer, Heidelberg (2004)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Computer Aided Verification","author":"G. Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model Checking Partial State Spaces with 3-Valued Temporal Logics. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-27836-8_26","volume-title":"Automata, Languages and Programming","author":"G. Bruns","year":"2004","unstructured":"Bruns, G., Godefroid, P.: Model Checking with Multi-valued Logics. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 281\u2013293. Springer, Heidelberg (2004)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Bruns, G., Huth, M.: Access control via Belnap logic: Intuitive, expressive, and analyzable policy composition. ACM Trans. Inform. Syst. Secur.\u00a014(1) (2011)","DOI":"10.1145\/1952982.1952991"},{"issue":"4","key":"17_CR16","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/990010.990011","volume":"12","author":"M. Chechik","year":"2003","unstructured":"Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Meth.\u00a012(4), 371\u2013408 (2003)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"issue":"2","key":"17_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/210197.210200","volume":"20","author":"J. Chomicki","year":"1995","unstructured":"Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Database Syst.\u00a020(2), 149\u2013186 (1995)","journal-title":"ACM Trans. Database Syst."},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-28641-4_21","volume-title":"Principles of Security and Trust","author":"J. Crampton","year":"2012","unstructured":"Crampton, J., Morisset, C.: PTaCL: A Language for Attribute-Based Access Control in Open Systems. In: Degano, P., Guttman, J.D. (eds.) POST 2012. LNCS, vol.\u00a07215, pp. 390\u2013409. Springer, Heidelberg (2012)"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-89247-2_6","volume-title":"Runtime Verification","author":"N. Dinesh","year":"2008","unstructured":"Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Checking Traces for Regulatory Conformance. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 86\u2013103. Springer, Heidelberg (2008)"},{"issue":"6","key":"17_CR20","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1093\/logcom\/1.6.797","volume":"1","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Kleene\u2019s logic, generalized. J. Log. Comput.\u00a01(6), 797\u2013810 (1991)","journal-title":"J. Log. Comput."},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Garg, D., Jia, L., Datta, A.: Policy auditing over incomplete logs: Theory, implementation and applications. In: CCS 2011, pp. 151\u2013162 (2011)","DOI":"10.1145\/2046707.2046726"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Groce, A., Havelund, K., Smith, M.: From scripts to specification: The evaluation of a flight testing effort. In: ICSE 2010, vol.\u00a02, pp. 129\u2013138 (2010)","DOI":"10.1145\/1810295.1810314"},{"issue":"2","key":"17_CR23","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S. Hall\u00e9","year":"2012","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput.\u00a05(2), 192\u2013206 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"2","key":"17_CR24","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.jlap.2011.04.010","volume":"81","author":"T. Hvitved","year":"2012","unstructured":"Hvitved, T., Klaedtke, F., Z\u0103linescu, E.: A trace-based model for multiparty contracts. J. Log. Algebr. Program.\u00a081(2), 72\u201398 (2012)","journal-title":"J. Log. Algebr. Program."},{"key":"17_CR25","unstructured":"Kleene, S.C.: Introduction to Metamathematics. D. Van Nostrand, Princeton (1950)"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"S.D. Stoller","year":"2012","unstructured":"Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime Verification with State Estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 193\u2013207. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35632-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T17:47:50Z","timestamp":1687974470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35632-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642356315","9783642356322"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35632-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}