{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:33:57Z","timestamp":1743093237938,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":10,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811329067"},{"type":"electronic","value":"9789811329074"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-981-13-2907-4_9","type":"book-chapter","created":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T12:22:11Z","timestamp":1538828531000},"page":"109-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributed Computing Security Model Based on Type System"],"prefix":"10.1007","author":[{"given":"Yong","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongsheng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qinggeng","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,7]]},"reference":[{"issue":"1","key":"9_CR1","first-page":"135","volume":"28","author":"Z-Z Wu","year":"2017","unstructured":"Wu, Z.-Z., Chen, X.-Y., Yang, Z., et al.: Survey on information flow control. J. Softw. 28(1), 135\u2013159 (2017). (in Chinese)","journal-title":"J. Softw."},{"issue":"9","key":"9_CR2","first-page":"721","volume":"14","author":"TFJM Pasquier","year":"2014","unstructured":"Pasquier, T.F.J.M., Singh, J., Bacon, J.: Managing big data with information flow control. SIGARCH Comput. Archit. News 14(9), 721\u2013731 (2014)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bake, D.B.: Fortresses built upon sand. In: Proceedings of the New Security Paradigms Workshop, pp. 148\u2013153 (1996)","DOI":"10.1145\/304851.304886"},{"issue":"2\u20133","key":"9_CR4","first-page":"188","volume":"350","author":"Y Deng","year":"2004","unstructured":"Deng, Y., Sangiorgi, D.: Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci. 350(2\u20133), 188\u2013212 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1145\/2954679.2872403","volume":"51","author":"Man-Ki Yoon","year":"2016","unstructured":"Yoon, M.K., Chen, N.S.Y., Christodorescu, M.: PIFT: predictive information-flow tracking. In: Proceedings of the ASPLOS, pp. 246\u2212253. ACM Press, Atlanta (2016)","journal-title":"ACM SIGPLAN Notices"},{"key":"9_CR6","unstructured":"Nardelli, F.Z.: Types for seal calculus. Master thesis (2000)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-73210-5_3","volume-title":"Integrated Formal Methods","author":"C Braghin","year":"2007","unstructured":"Braghin, C., Sharygina, N., Barone-Adesi, K.: Automated verification of security policies in mobile code. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 37\u201353. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73210-5_3"},{"issue":"5","key":"9_CR8","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1145\/570886.570890","volume":"24","author":"M Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Information flow vs. resource access in the asynchronous pi-calculus. ACM Trans. Program. Lang. Syst. 24(5), 566\u2013590 (2002)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"7","key":"9_CR9","doi-asserted-by":"publisher","first-page":"1424","DOI":"10.3724\/SP.J.1016.2013.01424","volume":"36","author":"Y-C Guo","year":"2013","unstructured":"Guo, Y.-C., Fang, B.-X., Yin, L.-H., et al.: A security model for confidentiality and integrity in mobile computing. Chin. J. Comput. 36(7), 1424\u20131433 (2013). (in Chinese)","journal-title":"Chin. J. Comput."},{"key":"9_CR10","unstructured":"Li, Q., Yuan, Z.-X.: Permission type system for internal timing information flow in multi-thread programs. Comput. Sci. 41(3), 163\u2013168 (2014). (in Chinese)"}],"container-title":["Communications in Computer and Information Science","Applications and Techniques in Information Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-2907-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:39:18Z","timestamp":1709822358000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-13-2907-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9789811329067","9789811329074"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-2907-4_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Techniques in Information Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nanning","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atis2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.atis2018.conferences.academy\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}