{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:11:21Z","timestamp":1748578281936,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319229140"},{"type":"electronic","value":"9783319229157"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22915-7_46","type":"book-chapter","created":{"date-parts":[[2015,8,7]],"date-time":"2015-08-07T02:14:54Z","timestamp":1438913694000},"page":"506-518","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Data-Centric Refinement of Information Flow Analysis of Database Applications"],"prefix":"10.1007","author":[{"given":"Md. Imran","family":"Alam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raju","family":"Halder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,8]]},"reference":[{"key":"46_CR1","unstructured":"Baralis, E., Widom, J.: An algebraic approach to rule analysis in expert database systems. In: proceedings of VLDB (1994)"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Cavadini, S.: Secure slices of insecure programs. In: Proceedings of the ACM Symposium on Information, Computer and Communications Security, pp. 112\u2013122. ACM Press, Tokyo, Japan (2008)","DOI":"10.1145\/1368310.1368329"},{"key":"46_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-319-12778-1_20","volume-title":"Future Data and Security Engineering","author":"A Cortesi","year":"2014","unstructured":"Cortesi, A., Halder, R.: Information-flow analysis of hibernate query language. In: Dang, T.K., Wagner, R., Neuhold, E., Takizawa, M., K\u00fcng, J., Thoai, N. (eds.) FDSE 2014. LNCS, vol. 8860, pp. 262\u2013274. Springer, Vietnam (2014)"},{"issue":"5","key":"46_CR4","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"DE Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19(5), 236\u2013243 (1976)","journal-title":"Commun. ACM"},{"key":"46_CR5","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming, vol. 1. Prentice-hall, Englewood Cliffs (1976)"},{"key":"46_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-27940-9_12","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R Dimitrova","year":"2012","unstructured":"Dimitrova, R., Finkbeiner, B., Kov\u00e1cs, M., Rabe, M.N., Seidl, H.: Model checking information flow in reactive systems. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148, pp. 169\u2013185. Springer, Heidelberg (2012)"},{"issue":"3","key":"46_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. (TOPLAS) 9(3), 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"Halder, R., Zanioli, M., Cortesi, A.: Information leakage analysis of database query languages. In: Proceedings of SAC 2014, pp. 813\u2013820. ACM (2014)","DOI":"10.1145\/2554850.2554862"},{"key":"46_CR9","unstructured":"Hammer, C., Krinke, J., Snelting, G.: Information flow control for java based on path conditions in dependence graphs. In: IEEE International Symposium on Secure Software Engineering, pp. 87\u201396 (2006)"},{"issue":"6","key":"46_CR10","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10207-009-0086-1","volume":"8","author":"C Hammer","year":"2009","unstructured":"Hammer, C., Snelting, G.: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. Int. J. Inf. Secur. 8(6), 399\u2013422 (2009)","journal-title":"Int. J. Inf. Secur."},{"issue":"1","key":"46_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0167-6423(99)00024-6","volume":"37","author":"R Joshi","year":"2000","unstructured":"Joshi, R., Leino, K.R.M.: A semantic approach to secure information flow. Sci. Comput. Program. 37(1), 113\u2013138 (2000)","journal-title":"Sci. Comput. Program."},{"key":"46_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/596980.596983","volume":"25","author":"F Pottier","year":"2003","unstructured":"Pottier, F., Simonet, V.: Information flow inference for ML. ACM Trans. Program. Lang. Syst. 25, 117\u2013158 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"46_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. Sel. Areas Commun. 21(1), 5\u201319 (2003)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"46_CR14","series-title":"Advances in Information Security","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-0-387-44599-1_13","volume-title":"Malware Detection","author":"G Smith","year":"2007","unstructured":"Smith, G.: Principles of secure information flow analysis. In: Christodorescu, M., Jha, S., Maughan, D., Song, D., Wang, C. (eds.) Malware Detection. AIS, vol. 27, pp. 291\u2013307. Springer, Cambridge (2007)"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Smith, G., Volpano, D.: Secure information flow in a multi-threaded imperative language. In: Proceedings of the POPL 1998, pp. 355\u2013364. ACM (1998)","DOI":"10.1145\/268946.268975"},{"key":"46_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-19751-2_5","volume-title":"Formal Aspects of Security and Trust","author":"M Taghdiri","year":"2011","unstructured":"Taghdiri, M., Snelting, G., Sinz, C.: Information flow analysis via path condition refinement. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol. 6561, pp. 65\u201379. Springer, Heidelberg (2011)"},{"key":"46_CR17","doi-asserted-by":"crossref","unstructured":"Willmor, D., Embury, S.M., Shao, J.: Program slicing in the presence of database state. In: Proceedings of the 20th IEEE International Conference on Software Maintenance, pp. 448\u2013452. IEEE (2004)","DOI":"10.1109\/ICSM.2004.1357833"},{"key":"46_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/978-3-642-18381-2_45","volume-title":"SOFSEM 2011: Theory and Practice of Computer Science","author":"M Zanioli","year":"2011","unstructured":"Zanioli, M., Cortesi, A.: Information leakage analysis by abstract interpretation. In: \u010cern\u00e1, I., Gyim\u00f3thy, T., Hromkovi\u010d, J., Jefferey, K., Kr\u00e1lovi\u0107, R., Vukoli\u0107, M., Wolf, S. (eds.) SOFSEM 2011. LNCS, vol. 6543, pp. 545\u2013557. Springer, Heidelberg (2011)"},{"key":"46_CR19","doi-asserted-by":"crossref","unstructured":"Zanioli, M., Ferrara, P., Cortesi, A.: Sails: static analysis of information leakage with sample. In: Proceedings of the SAC 2012, pp. 1308\u20131313. ACM (2012)","DOI":"10.1145\/2245276.2231983"}],"container-title":["Communications in Computer and Information Science","Security in Computing and Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22915-7_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T22:26:40Z","timestamp":1748557600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22915-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229140","9783319229157"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22915-7_46","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}