{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:25:02Z","timestamp":1725632702352},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1109\/saner.2017.7884625","type":"proceedings-article","created":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T07:11:58Z","timestamp":1490339518000},"page":"240-249","source":"Crossref","is-referenced-by-count":3,"title":["Computing counter-examples for privilege protection losses using security models"],"prefix":"10.1109","author":[{"given":"Marc-Andre","family":"Laverdiere","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ettore","family":"Merlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_14"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.023"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234163"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1986.233414"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2012.19"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2012.34"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2009.32"},{"journal-title":"Semantic Versioning 2 0 0","year":"2013","author":"preston-werner","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.36"},{"key":"ref19","first-page":"261","article-title":"Evolutionary analysis of access control models: A formal concept analysis method","author":"han","year":"2015","journal-title":"Proc 25th IBM\/ACM Int'l Conf on Computer Science and Software Engineering (CASCON 15)"},{"key":"ref4","article-title":"From ABAC to ZBAC: The evolution of access control models","author":"karp","year":"2009","journal-title":"Technical Report HPL-2009-30"},{"journal-title":"OWASP Testing Guide 3 0","year":"2008","author":"meucci","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.23"},{"journal-title":"Software Engineering—Software Life Cycle Processes—Maintenance","year":"2006","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312976"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.57"},{"journal-title":"CWE-425 Direct Request (‘Forced Browsing’)","year":"2015","key":"ref2"},{"journal-title":"Internet Security Glossary","year":"2007","author":"shirey","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2013.6648191"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2024445.2024467"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029908"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.36"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/2642937.2642982","article-title":"Fine-grained and accurate source code differencing","author":"falleri","year":"2014","journal-title":"Proc 29th ACM\/IEEE Int'l Conf on Automated Software Engineering (ASE 14)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048146"}],"event":{"name":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)","start":{"date-parts":[[2017,2,20]]},"location":"Klagenfurt, Austria","end":{"date-parts":[[2017,2,24]]}},"container-title":["2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879528\/7884596\/07884625.pdf?arnumber=7884625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T21:09:24Z","timestamp":1658869764000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7884625\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/saner.2017.7884625","relation":{},"subject":[],"published":{"date-parts":[[2017,2]]}}}