{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:15:24Z","timestamp":1730279724201,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/iwast.2012.6228997","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T21:36:07Z","timestamp":1341956167000},"page":"8-14","source":"Crossref","is-referenced-by-count":7,"title":["Testing of PolPA authorization systems"],"prefix":"10.1109","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[]},{"given":"Said","family":"Daoudagh","sequence":"additional","affiliation":[]},{"given":"Francesca","family":"Lonetti","sequence":"additional","affiliation":[]},{"given":"Eda","family":"Marchetti","sequence":"additional","affiliation":[]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Mori","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","first-page":"69","article-title":"Security mutants for property-based testing","author":"bu?chler","year":"0","journal-title":"Proc of TAP 2011"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.44"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SESS.2007.5"},{"key":"3","first-page":"133","article-title":"Extending resource access in multiprovider networks using trust management","volume":"3","author":"colombo","year":"2011","journal-title":"Journal of Comp Net and Comm (IJCNC)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88625-9_17"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2009.12.005"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2010.58"},{"key":"7","first-page":"196","article-title":"Fault model-driven test derivation from finite state models: Annotated bibliography","author":"petrenko","year":"0","journal-title":"Proc of the 4th Summer School on Modeling and Verification of Parallel Processes 2001"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1108906.1108908"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/984334.984339"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242663"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm043"}],"event":{"name":"2012 7th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 7th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220303\/6228973\/06228997.pdf?arnumber=6228997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:12:55Z","timestamp":1490112775000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6228997\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/iwast.2012.6228997","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}