{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:36:04Z","timestamp":1777415764719,"version":"3.51.4"},"reference-count":11,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Security Technical Report"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1016\/j.istr.2008.10.012","type":"journal-article","created":{"date-parts":[[2008,10,31]],"date-time":"2008-10-31T04:23:53Z","timestamp":1225427033000},"page":"235-246","source":"Crossref","is-referenced-by-count":25,"title":["An extensible analysable system model"],"prefix":"10.1016","volume":"13","author":[{"given":"Christian W.","family":"Probst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.istr.2008.10.012_bib1","series-title":"Proc. of new security paradigms workshop 2005","article-title":"The insider problem revisited","author":"Bishop","year":"2005"},{"key":"10.1016\/j.istr.2008.10.012_bib2","author":"Bishop"},{"key":"10.1016\/j.istr.2008.10.012_bib3","series-title":"Understanding the insider threat","year":"2005"},{"key":"10.1016\/j.istr.2008.10.012_bib4","series-title":"Proc. of the 6th international workshop on security protocols, vol. 1550 of lecture notes in computer science","article-title":"Insider fraud","author":"Gollmann","year":"1998"},{"key":"10.1016\/j.istr.2008.10.012_bib5","unstructured":"Gunnarsson D. Static analysis of the insider problem, Master's thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby, supervised by Christian W. Probst, IMM, DTU; 2007."},{"key":"10.1016\/j.istr.2008.10.012_bib6","series-title":"The first international conference on availability, reliability and security, ARES'06","article-title":"Sandboxing in myKlaim","author":"Hansen","year":"2006"},{"issue":"5","key":"10.1016\/j.istr.2008.10.012_bib7","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","article-title":"KLAIM: a kernel language for agents interaction and mobility","volume":"24","author":"Nicola","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/j.istr.2008.10.012_bib8","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","article-title":"Types for access control","volume":"240","author":"Nicola","year":"2000","journal-title":"Theoretical Comput Sci"},{"key":"10.1016\/j.istr.2008.10.012_bib9","series-title":"Principles of program analysis","author":"Nielson","year":"1999"},{"key":"10.1016\/j.istr.2008.10.012_bib10","unstructured":"Probst CW, Hansen RR, Nielson F. Where can an insider attack?. In: Workshop on formal aspects in security and trust (FAST 2006); 2006."},{"key":"10.1016\/j.istr.2008.10.012_bib11","series-title":"Threat modeling","author":"Swiderski","year":"2004"}],"container-title":["Information Security Technical Report"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1363412708000502?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1363412708000502?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,11,8]],"date-time":"2019-11-08T14:15:51Z","timestamp":1573222551000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1363412708000502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["S1363412708000502"],"URL":"https:\/\/doi.org\/10.1016\/j.istr.2008.10.012","relation":{},"ISSN":["1363-4127"],"issn-type":[{"value":"1363-4127","type":"print"}],"subject":[],"published":{"date-parts":[[2008,11]]}}}