{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T12:21:06Z","timestamp":1765887666400},"reference-count":8,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2015,2,1]]},"DOI":"10.1093\/jigpal\/jzu042","type":"journal-article","created":{"date-parts":[[2014,12,26]],"date-time":"2014-12-26T20:44:10Z","timestamp":1419626650000},"page":"57-72","source":"Crossref","is-referenced-by-count":4,"title":["Formalization of security patterns as a means to infer security controls in business processes"],"prefix":"10.1093","volume":"23","author":[{"given":"A. J.","family":"Varela-Vaca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,12,26]]},"reference":[{"key":"5_49465164","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","year":"2010","journal-title":"INFORMATION SYSTEMS"},{"key":"11_49465165","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/0-306-48107-3_8","volume":"52","year":"2003","journal-title":"MULTIPLE CRITERIA OPTIMIZATION STATE OF THE ART ANNOTATED BIBLIOGRAPHIC SURVEYS"},{"key":"16_49465166","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1016\/j.infsof.2010.05.007","volume":"52","year":"2010","journal-title":"INFORMATION AND SOFTWARE TECHNOLOGY"},{"key":"22_49465167","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.entcs.2005.10.023","volume":"152","year":"2006","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"24_49465168","first-page":"56","volume":"45","year":"2012","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9162","issn-type":"print"},{"key":"27_49465169","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-642-14819-4_14","volume":"69","year":"2010","journal-title":"EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING"},{"key":"31_49465170","doi-asserted-by":"crossref","first-page":"1948","DOI":"10.1016\/j.infsof.2013.05.007","volume":"55","year":"2013","journal-title":"INFORMATION AND SOFTWARE TECHNOLOGY"},{"key":"32_49465171","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-3-642-33018-6_2","volume":"189","year":"2013","journal-title":"INTERNATIONAL JOINT CONFERENCE CISISICEUTESOCO SPECIAL SESSIONS"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/23\/1\/57\/1999153\/jzu042.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T05:08:50Z","timestamp":1503464930000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzu042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,26]]},"references-count":8,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,1,22]]},"published-print":{"date-parts":[[2015,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzu042","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,26]]}}}