{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T22:10:09Z","timestamp":1737497409128,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009573"},{"type":"electronic","value":"9783540365969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36596-6_3","type":"book-chapter","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T21:23:52Z","timestamp":1193261032000},"page":"34-62","source":"Crossref","is-referenced-by-count":0,"title":["Towards Unifying Semantic Constraints and Security Constraints"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Biskup","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Sprick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,1]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Frederic Cuppens and Robert Demolombe. A deontic logic for reasoning about confidentiality. In J. Carmo M. Brown, editor, Deontic Logic, Agency and Normative Systems,Workshops in Computing. Springer, 1996.","DOI":"10.1007\/978-1-4471-1488-8_4"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Frederic Cuppens and Robert Demomlombe. Modal logical framework for security policies. In Ybigniew Ras and Andrzeij Skowron, editors, Foundations of Intelligent Systems, volume 1325 of Lecture Notes in Artificial Intelligence, pages 579\u2013589. Springer, October 1997.","DOI":"10.1007\/3-540-63614-5_56"},{"issue":"5","key":"3_CR3","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1093\/logcom\/9.5.701","volume":"9","author":"M. A. Castilho","year":"1999","unstructured":"Marcos A. Castilho, Olivier Gasquet, and Andreas Herzig. Formalizing action and change in modal logic I: the frame problem. Journal of Logic and Computation, 9(5):701\u2013735, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"H-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Databases and Information Systems, chapter 6, pages 167\u2013198. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-1-4615-5643-5_6"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. The MIT Press, 1996.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"3_CR6","unstructured":"Michael N. Huhns and Munindar P. Singh, editors. Readings in Agents. Morgan Kaufman, 1998."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Sushil Jajodia and Ravi Sandhu. Polyinstantiation integrity in multilevel relations. In Proceedings of the IEEE Symposium on Security and Privacy, pages 104\u2013115, May 1990.","DOI":"10.1109\/RISP.1990.63843"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Paul J. Krasucki and R. Ramanujam. Knowledge and the ordering of events in distributed systems; extended abstract. In Proceedings Theoretical Aspects of Reasoning about Knowledge, pages 267\u2013283. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1453-5.50023-4"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Leslie Lamport. A temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"T. Lunt, D. Denning, R. Schell, M. Heckmann, and W. Shockley. The seaview security model. IEEE Symposium on Security and Privacy, pages 218\u2013233, 1988.","DOI":"10.1109\/SECPRI.1988.8114"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Antoni Mazurkiewicz. Introduction to trace theory. In The Book of Traces, chapter 1, pages 1\u201342. World Scientific, 1995.","DOI":"10.1142\/9789814261456_0001"},{"key":"3_CR12","unstructured":"John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463\u2013502. Edinburgh University Press, 1969."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0304-3975(89)90052-2","volume":"64","author":"A. Mazurkiewicz","year":"1989","unstructured":"Antoni Mazurkiewicz, A. Ochmanski, and Wojciech Penczek. Concurrent systems and inevitability. Theoretical Computer Science, 64:281\u2013304, 1989.","journal-title":"Theoretical Computer Science"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Manna and Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"3_CR15","unstructured":"Peter Niebert. A Temporal Logic for the Specification and Verification of Distributed Behavior. PhD thesis, Universit\u00e4t Hildesheim, 1997."},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0129054193000043","volume":"4","author":"W. Penczek","year":"1993","unstructured":"Wojciech Penczek. Temporal logics for trace systems: on automated verification. International Journal of Foundations of Computer Science, 4(1):31\u201368, 1993.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"3_CR17","unstructured":"R. Ramanujam. Local knowledge assertions in a changing world (extended abstract). In Proceedings Theoretical Aspects of Rationality and Knowledge, pages 1\u201317. Morgan Kaufmann, 1996."},{"key":"3_CR18","first-page":"118","volume":"11","author":"R. Ramanujam","year":"1996","unstructured":"R. Ramanujam. Locally linear time temporal logic. In LICS, volume 11, pages 118\u2013127, New Jersey, 1996. IEEE.","journal-title":"LICS"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Raymond Reiter. On asking what a database knows. In Proceedings of the Symposium on Computational Logic, pages 95\u2013113. Springer, 1990.","DOI":"10.1007\/978-3-642-76274-1_4"},{"key":"3_CR20","unstructured":"Wolfgang Reisig. Concurrent temporal logic. SFB-Bericht 342\/7\/91 B, Technische Univ. M\u00fcnchen, Inst. f\u00fcr Informatik, August 1991."},{"key":"3_CR21","unstructured":"Murray Shanahan. Solving the Frame Problem. The MIT Press, 1997."},{"key":"3_CR22","unstructured":"Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 689\u2013697, Washington, D.C., USA, 1993. AAAI Press\/MIT Press."},{"key":"3_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/3-540-60218-6_33","volume-title":"A trace consistent subset of PTL","author":"P. S. Thiagarajan","year":"1995","unstructured":"P. S. Thiagarajan. A trace consistent subset of PTL. In International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science, pages 438\u2013452, 1995."},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1142\/S0129054192000139","volume":"3","author":"W. Hoek van der","year":"1992","unstructured":"W. van der Hoek and J. J. C. Meyer. Making some issues of implicit knowledge explicit. International Journal on Foundations of Computer Science, 3(2):193\u2013223, 1992.","journal-title":"International Journal on Foundations of Computer Science"},{"key":"3_CR25","unstructured":"Gerhard Weiss, editor. Multiagent Systems. The MIT Press, 1999."},{"key":"3_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about rational agents","author":"M. Wooldridge","year":"2000","unstructured":"Michael Wooldridge. Reasoning about rational agents. The MIT Press, Massachusetts Institute of Technology, Cambridge, Massachusetts 02142, 2000."},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/195664.195675","volume":"19","author":"M. Winslett","year":"1994","unstructured":"Marianne Winslett, Kenneth Smith, and Xiaolei Qian. Formal query languages for secure relational databases. ACM Transactions on Database Systems, 19(4):626\u2013662, December 1994.","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36596-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T21:40:31Z","timestamp":1737495631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36596-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009573","9783540365969"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-36596-6_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}