{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T12:20:53Z","timestamp":1765887653195,"version":"3.37.3"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS 1004843","CNS 1123220","CNS 1359590"],"award-info":[{"award-number":["CNS 1004843","CNS 1123220","CNS 1359590"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2015,9,1]]},"DOI":"10.1109\/tc.2014.2375189","type":"journal-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T15:54:54Z","timestamp":1417017294000},"page":"2490-2505","source":"Crossref","is-referenced-by-count":22,"title":["Automated Model-Based Testing of Role-Based Access Control Using Predicate\/Transition Nets"],"prefix":"10.1109","volume":"64","author":[{"given":"Dianxiang","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lijo","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tejeddine","family":"Mouelhi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Le Traon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Model-Based Testing for Embedded Systems","year":"2011","author":"zander","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1166587"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.24"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2000.898869"},{"key":"ref11","first-page":"255","article-title":"Test generation from security policies specified in Or-BAC","author":"li","year":"0","journal-title":"Proc 31st Annu Int Comput Softw Appl Conf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1266840.1266860"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SESS.2007.5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.35"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.41"},{"journal-title":"Object-Oriented Software Construction","year":"1997","author":"meyer","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_21"},{"key":"ref18","article-title":"2010 economic analysis of role-based access control","author":"o\u2019connor","year":"2010","journal-title":"RTI International"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/984334.984339"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.40"},{"key":"ref4","first-page":"207","article-title":"Predicate\/transition nets","author":"genrich","year":"1987","journal-title":"Proc Adv Petri Nets 1986 Part I Petri Nets Central Models their Properties"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2012.45"},{"key":"ref3","first-page":"554","article-title":"Role-based access controls","author":"ferraiolo","year":"1992","journal-title":"Proc 15th NIST-NCSC Nat Comp Security Conf"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.43"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2295136.2295173"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377867"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1370042.1370051"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1232267"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.11.008"},{"key":"ref1","article-title":"Model-based approach to security test automation","author":"blackburn","year":"0","journal-title":"Proc Quality Week"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.44"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344301"},{"key":"ref21","first-page":"392","article-title":"On evaluation of model-based testing and its automation","author":"pretschner","year":"0","journal-title":"Proc 27th Int l Conf Software Eng"},{"key":"ref24","first-page":"445","article-title":"Efficient policy analysis for administrative role based access control","author":"stoller","year":"0","journal-title":"Proc 14th ACM Conf Comput Commun Security"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2005.11"},{"key":"ref26","first-page":"308","article-title":"A tool for automated test code generation from high-level Petri nets","author":"xu","year":"2011","journal-title":"Proc 32nd Int Conf Appl Theory Petri Nets Petri Nets 2011 LNCS 6709"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2006","author":"utting","key":"ref25"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/7180479\/06967860.pdf?arnumber=6967860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:31Z","timestamp":1641987691000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6967860\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,1]]},"references-count":32,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tc.2014.2375189","relation":{},"ISSN":["0018-9340"],"issn-type":[{"type":"print","value":"0018-9340"}],"subject":[],"published":{"date-parts":[[2015,9,1]]}}}