{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T08:36:28Z","timestamp":1742632588691},"reference-count":18,"publisher":"Elsevier BV","issue":"15","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"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 and Software Technology"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s0950-5849(02)00127-1","type":"journal-article","created":{"date-parts":[[2002,11,4]],"date-time":"2002-11-04T20:06:14Z","timestamp":1036440374000},"page":"903-910","source":"Crossref","is-referenced-by-count":2,"title":["An information-leak analysis system based on program slicing"],"prefix":"10.1016","volume":"44","author":[{"given":"Reishi","family":"Yokomori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fumiaki","family":"Ohata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiaki","family":"Takata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Seki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuro","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(02)00127-1_BIB1","series-title":"Proceedings of the Sixth Asia Pacific Software Engineering Conference (APSEC'99), Takamatsu, Japan","author":"Ashida","year":"1999"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB2","series-title":"Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany","author":"Atkinson","year":"1996"},{"issue":"1","key":"10.1016\/S0950-5849(02)00127-1_BIB3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/201055.201056","article-title":"Program integration for languages with procedure calls","volume":"4","author":"Binkley","year":"1995","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"10.1016\/S0950-5849(02)00127-1_BIB4","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1145\/360051.360056","article-title":"A lattice model of secure information flow","volume":"19","author":"Denning","year":"1976","journal-title":"Communication of the ACM"},{"issue":"7","key":"10.1016\/S0950-5849(02)00127-1_BIB5","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1145\/359636.359712","article-title":"Certification of programs for secure information flow","volume":"20","author":"Denning","year":"1977","journal-title":"Communication of the ACM"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB6","unstructured":"F. Ohata, K. Inoue, Alias analysis for object-oriented programs, Technical report of IPSJ 2000-SE-126, pp. 57\u201364, 2000 (in Japanese)."},{"issue":"3","key":"10.1016\/S0950-5849(02)00127-1_BIB7","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1002\/stvr.4370050303","article-title":"Using program slicing to simplify testing","volume":"5","author":"Harman","year":"1995","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB8","series-title":"Proceedings of Third ESORICS, LNCS 875","author":"Ban\u00e2tre","year":"1994"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB9","series-title":"Proceedings of the 23th International Conference on Software Engineering (ICSE2001), Toronto, Canada","author":"Kamiya","year":"2001"},{"issue":"8","key":"10.1016\/S0950-5849(02)00127-1_BIB10","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","article-title":"Using program slicing in software maintenance","volume":"17","author":"Gallagher","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB11","series-title":"Proceedings of the Third International Conference on Information and Communications Security (ICICS 2001), Xian, China, Lecture Notes in Computer Science","volume":"2229","author":"Kuninobu","year":"2001"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB12","series-title":"Proceedings of the Fifth International Conference on Software Engineering, San Diego, USA","author":"Weiser","year":"1981"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB13","unstructured":"Netscape Communications Corporation, Client-Side JavaScript Guide, 1999, http:\/\/developer.netscape.com\/docs\/manuals\/js\/client\/jsguide\/index.htm."},{"key":"10.1016\/S0950-5849(02)00127-1_BIB14","series-title":"Proceedings of 21th International Conference on Software Engineering (ICSE 99), Los Angeles, CA","author":"Nishimatsu","year":"1999"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB15","series-title":"Proceedings of the Eighth Asia\u2013Pacific Software Engineering Conference (APSEC 2001) December 4\u20137, Macao, China","author":"Ohata","year":"2001"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB16","unstructured":"S. Kuninobu, Y. Takata, H. Seki, K. Inoue, An information flow analysis of programs based on a lattice model, Technical report of IEICE SS 2000-30, pp. 25\u201332, 2000, (in Japanese)."},{"issue":"4","key":"10.1016\/S0950-5849(02)00127-1_BIB17","first-page":"536","article-title":"Software debug supporting tool based on program dependence analysis","volume":"37","author":"Sato","year":"1996","journal-title":"Transaction on IPSJ"},{"key":"10.1016\/S0950-5849(02)00127-1_BIB18","unstructured":"L. Wall, T. Christiansen, R.L. Schwartz, Programming Perl Second Edition, O'Reilly and Associates, August, 1996."}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001271?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001271?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T12:56:27Z","timestamp":1554814587000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584902001271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":18,"journal-issue":{"issue":"15","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S0950584902001271"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(02)00127-1","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}