{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:37:50Z","timestamp":1725601070000},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642232251"},{"type":"electronic","value":"9783642232268"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23226-8_21","type":"book-chapter","created":{"date-parts":[[2011,8,17]],"date-time":"2011-08-17T08:37:59Z","timestamp":1313570279000},"page":"157-162","source":"Crossref","is-referenced-by-count":0,"title":["The Research on Definition of Multilevel Security Based on the Construction of Covert Channels"],"prefix":"10.1007","author":[{"given":"Yong","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuezeng","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Focardi, R., Gorrieri, R., Segala, R.: A New Definition of Multilevel Security. In: Proceedings of Workshop on Issues in the Theory of Security (WITS 2000), Geneve, Switzerland (2000)","key":"21_CR1"},{"key":"21_CR2","first-page":"177","volume-title":"Proc. of 1990 IEEE Symposium on Research in Security and Privacy","author":"J. McLean","year":"1990","unstructured":"McLean, J.: Security models and information flow. In: Proc. of 1990 IEEE Symposium on Research in Security and Privacy, pp. 177\u2013186. IEEE Press, Los Alamitos (1990)"},{"key":"21_CR3","first-page":"187","volume-title":"Proceedings of the 17th IEEE Computer Security Foundations Workshop","author":"A. Bossi","year":"2004","unstructured":"Bossi, A., Piazza, C., Rossi, S.: Modelling downgrading in information flow security. In: Proceedings of the 17th IEEE Computer Security Foundations Workshop, pp. 187\u2013201. IEEE Computer Society Press, Pacific Grove (2004)"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proc. IEEE Symp. on Security and Privacy, pp. 11\u201320 (1982)","key":"21_CR4","DOI":"10.1109\/SP.1982.10014"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-75227-1_16","volume-title":"Formal Aspects in Security and Trust","author":"R. Meyden van der","year":"2007","unstructured":"van der Meyden, R., Zhang, C.: A comparison of semantic models for noninterference. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol.\u00a04691, pp. 235\u2013249. Springer, Heidelberg (2007)"},{"key":"21_CR6","first-page":"144","volume-title":"Proceedings of IEEE Symp. on Security and Privacy","author":"J.T. Wittbold","year":"1990","unstructured":"Wittbold, J.T., Johnson, D.M.: Information Flow in Nondeterministic Systems. In: Proceedings of IEEE Symp. on Security and Privacy, pp. 144\u2013161. IEEE Computer Society Press, Los Alamitos (1990)"},{"unstructured":"O\u2019Halloran, C.: A calculus of information flow. In: Proc. of First European Symposium on Research in Computer Security, pp. 147\u2013159 (1990)","key":"21_CR7"},{"issue":"1","key":"21_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1994","unstructured":"Focardi, R., Corrieri, R.: A Classification of Security Properties for Process Algebras[J]. Journal of Computer Security\u00a03(1), 5\u201333 (1994\/1995)","journal-title":"Journal of Computer Security"},{"unstructured":"Rushby, J.: Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CS-92-02, SRI International (1992)","key":"21_CR9"}],"container-title":["Communications in Computer and Information Science","Applied Informatics and Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23226-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T11:21:37Z","timestamp":1554031297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23226-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232251","9783642232268"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23226-8_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}