{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T17:23:53Z","timestamp":1748539433961},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/iccnc.2013.6504143","type":"proceedings-article","created":{"date-parts":[[2013,4,26]],"date-time":"2013-04-26T21:30:11Z","timestamp":1367011811000},"page":"540-544","source":"Crossref","is-referenced-by-count":2,"title":["Testing access control and obligation policies"],"prefix":"10.1109","author":[{"family":"Dianxiang Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Sanford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhaoliang Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Emry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Brockmueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"To","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/984334.984339"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/2414456.2414501"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2012.45"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180423"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.157"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2012.6228997"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2133601.2133611"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2295136.2295173"},{"key":"8","first-page":"308","article-title":"A tool for automated test code generation from high-level petri nets","author":"xu","year":"2011","journal-title":"Proc of the 32nd International Conf on Application and Theory of Petri Nets and Concurrency LNCS 6709"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1408664.1408680"}],"event":{"name":"2013 International Conference on Computing, Networking and Communications (ICNC 2013)","start":{"date-parts":[[2013,1,28]]},"location":"San Diego, CA","end":{"date-parts":[[2013,1,31]]}},"container-title":["2013 International Conference on Computing, Networking and Communications (ICNC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6495637\/6504039\/06504143.pdf?arnumber=6504143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T05:14:01Z","timestamp":1490246041000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6504143\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iccnc.2013.6504143","relation":{},"subject":[],"published":{"date-parts":[[2013,1]]}}}