{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T05:28:24Z","timestamp":1745645304640,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T00:00:00Z","timestamp":1633996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T00:00:00Z","timestamp":1633996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972040"],"award-info":[{"award-number":["61972040"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100013336","name":"Funding Project for Academic Human Resources Development in Institutions of Higher Learning under the Jurisdiction of Beijing Municipality","doi-asserted-by":"crossref","award":["BPHR2020AZ03"],"award-info":[{"award-number":["BPHR2020AZ03"]}],"id":[{"id":"10.13039\/501100013336","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Neural Comput & Applic"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s00521-021-06334-7","type":"journal-article","created":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T23:14:52Z","timestamp":1634080492000},"page":"9385-9396","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automatic analysis of DIFC systems using noninterference with declassification"],"prefix":"10.1007","volume":"34","author":[{"given":"Wenfa","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"6334_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1016\/j.ins.2018.06.002","volume":"479","author":"F Song","year":"2019","unstructured":"Song F, Zhou Y, Wang Y, Zhao T, You I, Zhang H (2019) Smart collaborative distribution for privacy enhancement in moving target defense. Inf Sci 479:593\u2013606","journal-title":"Inf Sci"},{"key":"6334_CR2","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s00521-019-04060-9","volume":"32","author":"JK Periasamy","year":"2020","unstructured":"Periasamy JK, Latha B (2020) An enhanced secure content de-duplication identification and prevention (ESCDIP) algorithm in cloud environment. Neural Comput Appl 32:485\u2013494","journal-title":"Neural Comput Appl"},{"key":"6334_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s00521-018-3774-9","volume":"31","author":"MP Gopinath","year":"2019","unstructured":"Gopinath MP, Tamizharasi GS, Kavisankar L et al (2019) A secure cloud-based solution for real-time monitoring and management of Internet of underwater things. Neural Comput Appl 31:293\u2013308","journal-title":"Neural Comput Appl"},{"key":"6334_CR4","doi-asserted-by":"publisher","first-page":"17333","DOI":"10.1007\/s00521-020-04880-0","volume":"32","author":"S Nikolaidis","year":"2020","unstructured":"Nikolaidis S, Refanidis I (2020) Privacy preserving distributed training of neural networks. Neural Comput Appl 32:17333\u201317350","journal-title":"Neural Comput Appl"},{"issue":"4","key":"6334_CR5","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"AC Myers","year":"2000","unstructured":"Myers AC, Liskov B (2000) Protecting privacy using the decentralized label model. ACM Trans Softw Eng Methodol 9(4):410\u2013442","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"9","key":"6334_CR6","doi-asserted-by":"publisher","first-page":"2427","DOI":"10.1109\/TIFS.2019.2901798","volume":"14","author":"Z Wu","year":"2019","unstructured":"Wu Z, Chen X, Yang Z, Du X (2019) Reducing security risks of suspicious data and codes through a novel dynamic defense model. IEEE Trans Inf Foren Secur 14(9):2427\u20132440","journal-title":"IEEE Trans Inf Foren Secur"},{"issue":"4","key":"6334_CR7","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/1314299.1314302","volume":"25","author":"S VanDeBogart","year":"2007","unstructured":"VanDeBogart S, Efstathopoulos P, Kohler E, Krohn M, Frey C, Ziegler D, Kaashoek F, Morris R, Mazieres D (2007) Labels and event processes in the Asbestos operating system. ACM Trans Comput Syst 25(4):11:1-11:43","journal-title":"ACM Trans Comput Syst"},{"key":"6334_CR8","unstructured":"Zeldovich N, Boyd-Wickizer S, Kohler E, Mazieres D (2006) Making information flow explicit in HiStar. In: Proceedings of Usenix association 7th Usenix symposium on operating systems design and implementation(OSDI\u20192006), Seattle, WA: USENIX Association,.263\u2013278"},{"key":"6334_CR9","doi-asserted-by":"crossref","unstructured":"Krohn M, Yip A, Brodsky M, Cliffer N, Kaashoek MF, Kohler E, Morris R (2007) Information flow control for standard OS abstractions. In: Proceedings of the 21st ACM symposium on operating systems principles (SOSP\u20192007).Stevenson, WA: ACM. 321\u2013334","DOI":"10.1145\/1323293.1294293"},{"key":"6334_CR10","doi-asserted-by":"crossref","unstructured":"Krohn M, Tromer E (2009) Noninterference for a practical DIFC-based operating system. In: Proceedings of the 2009 IEEE symposium on security and privacy. Berkeley, CA: IEEE Computer Society. 61\u201376","DOI":"10.1109\/SP.2009.23"},{"key":"6334_CR11","unstructured":"Nadkarni A, Andow B, Enck W, Jha S (2016) Practical DIFC enforcement on android. In: Proceedings of the 25th USENIX security symposium, Austin, TX: USENIX Association. 1119\u20131136"},{"issue":"1","key":"6334_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-017-9441-5","volume":"63","author":"G Barthe","year":"2020","unstructured":"Barthe G, Betarte G, Campo JD et al (2020) System-level non-interference of constant-time cryptography. Part I: model. J Autom Reason 63(1):1\u201351","journal-title":"J Autom Reason"},{"key":"6334_CR13","unstructured":"Schultz D, Liskov B (2013) Decentralized information flow control for databases. In: Proceedings of the 8th ACM European conference on computer systems, Prague, Czech Republic: ACM, 43\u201356"},{"key":"6334_CR14","doi-asserted-by":"crossref","unstructured":"Murray T, Matichuk D, Brassil M, Gammie P et al. (2013) seL4: from general purpose to a proof of information flow enforcement. In: Proceedings of the 2013 IEEE symposium on security and privacy. Berkeley, CA: IEEE Computer Society. 415\u2013429","DOI":"10.1109\/SP.2013.35"},{"key":"6334_CR15","doi-asserted-by":"crossref","unstructured":"Roy I, Porter DE, Bond MD, et al. (2009) Laminar: practical fine-grained decentralized information Flow Control. In: Proceedings of 2009 Acm Sigplan conference on programming language design & implementation. Dublin, Ireland: ACM. 63\u201374","DOI":"10.1145\/1543135.1542484"},{"key":"6334_CR16","unstructured":"Burket J, Mutchler P, Weaver M, Zaveri M, Evans D. GuardRails (2011) A Data-centricweb application security framework. In: Proceedings of the 2nd USENIX conference on web application development, Portland, OR, USA: USENIX. 1\u201312"},{"key":"6334_CR17","unstructured":"Papagiannis I, Migliavacca M, Eyers DM, Shand B, Bacon J, Pietzuch P (2010) Enforcing user privacy in web applications using Erlang. In: Proceedings of the Web 2.0 Security and Privacy, Oakland, CA, USA: IEEE. 1\u20138"},{"key":"6334_CR18","doi-asserted-by":"publisher","first-page":"102376","DOI":"10.1016\/j.scico.2019.102376","volume":"187","author":"NB Said","year":"2020","unstructured":"Said NB, Cristescu I (2020) End-to-end information flow security for web service orchestration. Sci Comput Program 187:102376","journal-title":"Sci Comput Program"},{"issue":"5","key":"6334_CR19","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"DE Denning","year":"1976","unstructured":"Denning DE (1976) A lattice model of secure information flow. Commun ACM 19(5):236\u2013243","journal-title":"Commun ACM"},{"issue":"1\u20132","key":"6334_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"PA Ryan","year":"2001","unstructured":"Ryan PA, Schneider SA (2001) Process algebra and non-interference. J Comput Secur 9(1\u20132):75\u2013103","journal-title":"J Comput Secur"},{"key":"6334_CR21","unstructured":"Formal Systems (Europe) Ltd. Failures divergences refinement: FDR2 manual, http:\/\/www.fsel.com, 2005"},{"key":"6334_CR22","doi-asserted-by":"crossref","unstructured":"Goguen JA, Meseguer J (1982) Security policies and security models. In: Proceedings of the 1982 IEEE symposium on security and privacy. IEEE Computer Society Press, April. 11\u201320","DOI":"10.1109\/SP.1982.10014"},{"key":"6334_CR23","doi-asserted-by":"crossref","unstructured":"Ramirez AG, Schmaltz J, Verbeek F, Langenstein B, Blasum H (2014) On two models of noninterference: Rushby and Greve, Wilding, and Vanfleet. In: Proceedings of the 33rd international conference on computer safety, reliability, and security, Florence, Italy: IEEE Computer Society, 246\u2013261","DOI":"10.1007\/978-3-319-10506-2_17"},{"key":"6334_CR24","unstructured":"Schneider S (2000) Concurrent and real-time systems: the CSP Approach. Chichester, UK: Wiley LTD"},{"key":"6334_CR25","doi-asserted-by":"crossref","unstructured":"Nanevski A, Banerjee A, Garg D (2011) Verification of information flow and access control policies with dependent types. In: Proceedings of the 2011 IEEE symposium on security and privacy. Berkeley, CA: IEEE Computer Society. 165\u2013179","DOI":"10.1109\/SP.2011.12"},{"key":"6334_CR26","doi-asserted-by":"crossref","unstructured":"Baldan P, Beggiato A (2016) Multilevel transitive and intransitive non-interference, causally. In: Proceedings of the 18th international conference on coordination languages and models, Heraklion, Greece:IFIP. 1\u201317","DOI":"10.1007\/978-3-319-39519-7_1"},{"key":"6334_CR27","doi-asserted-by":"crossref","unstructured":"Jamroga W, Tabatabaei M (2015) Strategic Noninterference. In: Proceedings of the 2015 international conference on ICT systems security and privacy protection, Hamburg, Germany:IFIP. 67\u201381","DOI":"10.1007\/978-3-319-18467-8_5"},{"key":"6334_CR28","doi-asserted-by":"crossref","unstructured":"AldousEmail P, Might A (2015) Static analysis of non-interference in expressive low-level languages. LNCS 9291: 1\u201317","DOI":"10.1007\/978-3-662-48288-9_1"},{"key":"6334_CR29","doi-asserted-by":"crossref","unstructured":"Vaughan AJ, Chong S (2011) Inference of expressive declassification policies. In: Proceedings of the 2011 IEEE symposium on security and privacy. Berkeley, CA: IEEE Computer Society 180\u2013195","DOI":"10.1109\/SP.2011.20"},{"key":"6334_CR30","doi-asserted-by":"crossref","unstructured":"Eggert S, Meyden RVD, Schnoor H, Wilke T (2011) The complexity of intransitive noninterference. In: Proceedings of the 2011 IEEE symposium on security and privacy. Berkeley, CA: IEEE Computer Society. 196\u2013211","DOI":"10.1109\/SP.2011.30"}],"container-title":["Neural Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-021-06334-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00521-021-06334-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-021-06334-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T06:09:18Z","timestamp":1652681358000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00521-021-06334-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,12]]},"references-count":30,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["6334"],"URL":"https:\/\/doi.org\/10.1007\/s00521-021-06334-7","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"type":"print","value":"0941-0643"},{"type":"electronic","value":"1433-3058"}],"subject":[],"published":{"date-parts":[[2021,10,12]]},"assertion":[{"value":"22 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 October 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}