{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:17Z","timestamp":1725565397811},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/cts.2007.4621735","type":"proceedings-article","created":{"date-parts":[[2008,9,16]],"date-time":"2008-09-16T16:23:49Z","timestamp":1221582229000},"page":"33-36","source":"Crossref","is-referenced-by-count":0,"title":["Efficient static checking of dynamic access control in shared multiprocessor environments"],"prefix":"10.1109","author":[{"given":"Gaetan","family":"Hains","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"hardening large-scale networks security through a meta-policy framework","author":"blanc","year":"2004","journal-title":"Third Workshop on the Internet Telecommunications and Signal Processing (WITSP'04)"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"journal-title":"Alge?bres de chemins et paralle?lisme MSclevel course","year":"1999","author":"hains","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45315-6_14"},{"key":"5","article-title":"information flow in operating systems: eager formal methods","author":"guttman","year":"2003","journal-title":"Workshop on Issues in the Theory of Security (WITS)"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(96)00030-1"},{"key":"8","article-title":"protection","author":"lampson","year":"1971","journal-title":"Proceedings of the 5 th Annual Princeton Conference on Information Sciences and Systems"}],"event":{"name":"2007 International Symposium on Collaborative Technologies and Systems (CTS)","start":{"date-parts":[[2007,5,25]]},"location":"Orlando, FL","end":{"date-parts":[[2007,5,25]]}},"container-title":["2007 International Symposium on Collaborative Technologies and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4607773\/4621707\/04621735.pdf?arnumber=4621735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T12:20:05Z","timestamp":1489753205000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4621735\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/cts.2007.4621735","relation":{},"subject":[],"published":{"date-parts":[[2007,5]]}}}