{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:21:29Z","timestamp":1725459689545},"publisher-location":"Boston","reference-count":13,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8128-6_9","type":"book-chapter","created":{"date-parts":[[2006,2,22]],"date-time":"2006-02-22T11:45:28Z","timestamp":1140608728000},"page":"125-141","source":"Crossref","is-referenced-by-count":0,"title":["Information Flow Analysis for File Systems and Databases Using Labels"],"prefix":"10.1007","author":[{"given":"Ehud","family":"Gudes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi V.","family":"Mancini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA023588","volume-title":"Secure Computer System: Unified Exposition and Multics Interpretation MTR-2997","author":"D. E. Bell","year":"1976","unstructured":"D. E. Bell and L. J. LaPadula. Secure Computer System: Unified Exposition and Multics Interpretation MTR-2997, MITRE Corp., Bedford, MA, March, 1976. reprinted in J. of Computer Security vol.4, no. 2\u20133, pages 239\u2013263, 1996."},{"unstructured":"J. A. Goguen, and J. Meseguer. Security Policies and Security Models in Proc. 1982 IEEE Symposium on Security and Privacy, Oakland, CA, pages 11\u201320.","key":"9_CR2"},{"unstructured":"J. McLean. Reasoning about Security Models, in Proc. 1987 IEEE Symposium on Security and Privacy, Oakland, CA, April 1987, pages 123\u2013131. Also in Advances in Computer System Security, vol. III, ed. R. Turn, Artech House, Dedham, MA, 1988.","key":"9_CR3"},{"doi-asserted-by":"crossref","unstructured":"A. C. Myers: JFlow: Practical Mostly-Static Information Flow Control. Proceedings, POPL 1999: 228\u2013241","key":"9_CR4","DOI":"10.1145\/292540.292561"},{"issue":"4","key":"9_CR5","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"A. C. Myers","year":"2000","unstructured":"A. C. Myers, and B. Liskov. Protecting Privacy using the Decentralized Label Model. Trans. on Software Engineering and Methodology, vol.9, no.4, October 2000, pages 410\u2013442.","journal-title":"Trans. on Software Engineering and Methodology"},{"doi-asserted-by":"crossref","unstructured":"A. C. Myers, and B. Liskov. Complete, Safe Information Flow with Decentralized Labels, in Proc. IEEE Symposium on Security and Privacy, Oakland, CA, May 1998, pages 186\u2013197.","key":"9_CR6","DOI":"10.1109\/SECPRI.1998.674834"},{"doi-asserted-by":"crossref","unstructured":"R. Sandu and P. Samarati. Access Control: Principles and Practice. IEEE Communication Magazine, pages 40\u201348, 1994.","key":"9_CR7","DOI":"10.1109\/35.312842"},{"unstructured":"M. Gendler and E. Gudes, \u201cA compile-time Flow Analysis of Transactions and Methods in Object-oriented databases,\u201d Proceedings, 11 IFIPWG11.3 Database Security Conference, Lake Tahoe, CA. 1997.","key":"9_CR8"},{"doi-asserted-by":"crossref","unstructured":"P. Samarati, E. Bertino, A. Ciampichetti and S. Jajodia \u201cInformation Flow Control in Object-Oriented Systems,\u201d IEEE Trans. on Knowledge and Data Engineering, July, 1997, 9(4), pages 524\u2013539.","key":"9_CR9","DOI":"10.1109\/69.617048"},{"issue":"1","key":"9_CR10","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/290163.290167","volume":"1","author":"P. Samarati","year":"1998","unstructured":"P. Samarati, E. Bertino, A. Ciampichetti and S. Jajodia: Exception-Based Information Flow Control in Object-Oriented Systems. TISSEC 1(1), pages 26\u201365 (1998)","journal-title":"TISSEC"},{"doi-asserted-by":"crossref","unstructured":"S. Jajodia, R. Sandhu: Towards a Multilevel Secure Relational Data Model. Proceedings SIGMOD Conference 1991, pages 50\u201359","key":"9_CR11","DOI":"10.1145\/115790.115796"},{"doi-asserted-by":"crossref","unstructured":"S. Chen, D. Wijesekera, S. Jajodia: Flexflow: A flexible flow control policy specification framework. Proceedings of IFIP WG11.3 Int. conference on data and application security, Estes park, Co., 2003.","key":"9_CR12","DOI":"10.1007\/1-4020-8070-0_26"},{"unstructured":"Yasuhiro Kirihata and Yoshiki Sameshima: A Web-based System for Prevention of Information Leakage proceedings of WWW2002, 2002.","key":"9_CR13"}],"container-title":["IFIP International Federation for Information Processing","Research Directions in Data and Applications Security XVIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8128-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:27:25Z","timestamp":1619540845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8128-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081278"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8128-6_9","relation":{},"subject":[]}}