{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:44:18Z","timestamp":1742953458934,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319298825"},{"type":"electronic","value":"9783319298832"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29883-2_19","type":"book-chapter","created":{"date-parts":[[2016,2,3]],"date-time":"2016-02-03T08:48:30Z","timestamp":1454489310000},"page":"264-272","source":"Crossref","is-referenced-by-count":1,"title":["Secure Refactoring with Java Information Flow"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Helke","sequence":"first","affiliation":[]},{"given":"Florian","family":"Kamm\u00fcller","sequence":"additional","affiliation":[]},{"given":"Christian W.","family":"Probst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/3-540-48224-5_32","volume-title":"Automata, Languages and Programming","author":"G Boudol","year":"2001","unstructured":"Boudol, G., Castellani, I.: Noninterference for concurrent programs. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, p. 382. Springer, Heidelberg (2001)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-11212-1_13","volume-title":"Computer Security - ESORICS 2014","author":"T Chothia","year":"2014","unstructured":"Chothia, T., Kawamoto, Y., Novakovic, C.: LeakWatch: estimating information leakage from Java programs. In: Kuty\u0142owski, M., Vaidya, J. (eds.) ICAIS 2014, Part II. LNCS, vol. 8713, pp. 219\u2013236. Springer, Heidelberg (2014)"},{"issue":"7","key":"19_CR3","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"DE Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM 20(7), 504\u2013513 (1977)","journal-title":"Commun. ACM"},{"key":"19_CR4","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"2004","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison Wesley, Reading (2004)"},{"key":"19_CR5","unstructured":"Helke, S.: Jif examples. http:\/\/www.informatik.tu-cottbus.de\/~helke\/jif\/"},{"key":"19_CR6","unstructured":"Mantel, H.: On the composition of secure systems. Security and Privacy (2002)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-24721-0_5","volume-title":"Fundamental Approaches to Software Engineering","author":"T McComb","year":"2004","unstructured":"McComb, T.: Refactoring object-Z specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 69\u201383. Springer, Heidelberg (2004)"},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/smr.316","volume":"17","author":"T Mens","year":"2005","unstructured":"Mens, T., Eeetvelde, N.V., Demeyer, S., Janssens, D.: Formalising refactorings with graph transformations. J. Softw. Maintenance 17(4), 247\u2013276 (2005)","journal-title":"J. Softw. Maintenance"},{"issue":"2","key":"19_CR9","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T Mens","year":"2004","unstructured":"Mens, T., Tourv\u00e9, T.: A survey of software refactoring. IEEE Trans. Softw. Eng. 30(2), 126\u2013139 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Myers, A.C., Liskov, B.: A decentralized model for information flow control. In: ACM symposium on Operating Systems Principles, SOSP. ACM (1997)","DOI":"10.1145\/268998.266669"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Ruhroth, T., Wehrheim, H., Ziegert, S.: Rel: A generic refactoring language for specification and execution. In: EUROMICRO. IEEE (2011)","DOI":"10.1109\/SEAA.2011.22"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management, and Security Assurance"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29883-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,12]],"date-time":"2021-02-12T01:19:43Z","timestamp":1613092783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29883-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319298825","9783319298832"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29883-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}