{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:22:59Z","timestamp":1725574979965},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297383"},{"type":"electronic","value":"9783540321200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575801_2","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T17:41:20Z","timestamp":1128966080000},"page":"941-959","source":"Crossref","is-referenced-by-count":1,"title":["On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model"],"prefix":"10.1007","author":[{"given":"Panagiotis","family":"Katsaros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Chou, S.-C.: Information flow control among objects: Taking foreign objects into control. In: Proceedings of the 36th Hawaii International Conference on Systems Sciences (HICSS 2003), pp. 335a\u2013344a. IEEE Computer Society, Los Alamitos (2003)","DOI":"10.1109\/HICSS.2003.1174910"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Christensen, S., Petrucci, L.: Modular state space analysis of Coloured Petri Nets. In: Proceedings of the 16th International Conference on Application and Theory of Petri Nets, Turin, Italy, pp. 201\u2013217 (1995)","DOI":"10.1007\/3-540-60029-9_41"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1006\/jcss.2001.1807","volume":"64","author":"S. Dawson","year":"2002","unstructured":"Dawson, S., Vimercati, S., Lincoln, P., Samarati, P.: Maximizing sharing of protected information. Journal of Computer and System Sciences\u00a064(3), 496\u2013541 (2002)","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S1386-5056(03)00031-5","volume":"70","author":"C. Georgiadis","year":"2003","unstructured":"Georgiadis, C., Mavridis, I., Pangalos, G.: Healthcare teams over the Internet: Programming a certificate-based approach. International Journal of Medical Informatics\u00a070, 161\u2013171 (2003)","journal-title":"International Journal of Medical Informatics"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-30191-2_11","volume-title":"Information and Communications Security","author":"S.T. Halkidis","year":"2004","unstructured":"Halkidis, S.T., Chatzigeorgiou, A., Stephanides, G.: A qualitative evaluation of security patterns. In: L\u00f3pez, J., Qing, S., Okamoto, E. (eds.) ICICS 2004. LNCS, vol.\u00a03269, pp. 132\u2013144. Springer, Heidelberg (2004)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/ICPADS.2001.934841","volume-title":"Proceedings of the 8th International Conference on Parallel and Distributed Systems (ICPADS 2001)","author":"K. Izaki","year":"2001","unstructured":"Izaki, K., Tanaka, K., Takizawa, M.: Information flow control in role-based model for distributed objects. In: Proceedings of the 8th International Conference on Parallel and Distributed Systems (ICPADS 2001), Kyongju City, Korea, pp. 363\u2013370. IEEE Computer Society, Los Alamitos (2001)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-65307-4_50","volume-title":"Lectures on Petri Nets II: Applications","author":"K. Jensen","year":"1998","unstructured":"Jensen, K.: An introduction to the practical use of colored Petri Nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01492, pp. 237\u2013292. Springer, Heidelberg (1998)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-58043-3_21","volume-title":"A Decade of Concurrency","author":"K. Jensen","year":"1994","unstructured":"Jensen, K.: An introduction to the theoretical aspects of colored Petri Nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 230\u2013272. Springer, Heidelberg (1994)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0055861","volume-title":"Computer Security \u2013 ESORICS 98","author":"G. Karjoth","year":"1998","unstructured":"Karjoth, G.: Authorization in CORBA security. In: Quisquater, J.-J., Deswarte, Y., Meadows, C., Gollmann, D. (eds.) ESORICS 1998. LNCS, vol.\u00a01485, pp. 143\u2013158. Springer, Heidelberg (1998)"},{"issue":"10","key":"2_CR10","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B.W. Lampson","year":"1973","unstructured":"Lampson, B.W.: A note on the confinement problem. Communication of the ACM\u00a016(10), 613\u2013615 (1973)","journal-title":"Communication of the ACM"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Larsen, L., Harrold, M.: Slicing object oriented software. In: Proceedings of the 18th International Conference on Software Engineering, pp. 495\u2013505 (1996)","DOI":"10.1109\/ICSE.1996.493444"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/ISSRE.2004.17","volume-title":"Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004)","author":"W. Masri","year":"2004","unstructured":"Masri, W., Podgurski, A., Leon, D.: Detecting and debugging insecure information flows. In: Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), Saint-Malo, Bretagne, France, pp. 198\u2013209. IEEE Computer Society, Los Alamitos (2004)"},{"key":"2_CR13","unstructured":"Object Management Group: Security service specification, version 1.7, OMG Document 99-12-02 (1999)"},{"issue":"4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/69.617048","volume":"9","author":"P. Samarati","year":"1997","unstructured":"Samarati, P., Bertino, E., Ciampichetti, A., Jajodia, S.: Information flow control in object-oriented systems. IEEE Transactions on Knowledge and Data Engineering\u00a09(4), 524\u2013538 (1997)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"11","key":"2_CR15","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/2.241422","volume":"26","author":"R.S. Sandhu","year":"1993","unstructured":"Sandhu, R.S.: Lattice-based access control models. IEEE Computer\u00a026(11), 9\u201319 (1993)","journal-title":"IEEE Computer"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1109\/ICPADS.1997.652557","volume-title":"Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS 1997)","author":"M. Yasuda","year":"1997","unstructured":"Yasuda, M., Tachikawa, T., Takizawa, M.: Information flow in a purpose-oriented access control model. In: Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS 1997), Seoul, Korea, pp. 244\u2013249. IEEE Computer Society, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575801_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:42:44Z","timestamp":1619505764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575801_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297383","9783540321200"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11575801_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}