{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T13:55:10Z","timestamp":1648562110573},"reference-count":5,"publisher":"Oxford University Press (OUP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Computer Journal"],"published-print":{"date-parts":[[2009,10,1]]},"DOI":"10.1093\/comjnl\/bxn065","type":"journal-article","created":{"date-parts":[[2009,1,25]],"date-time":"2009-01-25T20:13:16Z","timestamp":1232914396000},"page":"824-849","source":"Crossref","is-referenced-by-count":4,"title":["\u00a0_SAOP: A Security AOP Calculus"],"prefix":"10.1093","volume":"52","author":[{"given":"D.","family":"Alhadidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Belblidia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Bhattacharya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2009,1,25]]},"reference":[{"key":"17_33651797","first-page":"1","volume":"1997","year":"1997","journal-title":"J FUNCT LOG PROGRAM"},{"key":"19_33651798","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","year":"1992","journal-title":"J FUNCT PROGRAM"},{"key":"23_33651799","first-page":"31","volume":"14","year":"2001","journal-title":"CUTTER IT J"},{"key":"28_33651800","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","year":"1990","journal-title":"INF COMPUT"},{"key":"31_33651801","first-page":"306","volume":"40","year":"2005","journal-title":"JSIGPLAN"}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/52\/7\/824\/1066486\/bxn065.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:47:23Z","timestamp":1550364443000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article-lookup\/doi\/10.1093\/comjnl\/bxn065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,25]]},"references-count":5,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2009,10,13]]},"published-print":{"date-parts":[[2009,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxn065","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,25]]}}}