{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:04:47Z","timestamp":1743116687653,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229872"},{"type":"electronic","value":"9783540301080"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30108-0_13","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T14:15:03Z","timestamp":1284646503000},"page":"209-224","source":"Crossref","is-referenced-by-count":2,"title":["Possibilistic Information Flow Control in the Presence of Encrypted Communication"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Hutter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Schairer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Focardi, R., Ghelli, A., Gorrieri, R.: Using non interference for the analysis of security protocols. In: Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, Rutgers University (1997)"},{"key":"13_CR2","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos (1982)"},{"key":"13_CR3","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A., Meseguer, J.: Inference control and unwinding. In: Proceedings of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos (1984)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-36575-3_12","volume-title":"Programming Languages and Systems","author":"P. Laud","year":"2003","unstructured":"Laud, P.: Handling encryption in an analysis for secure information flow. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 159\u2013173. Springer, Heidelberg (2003)"},{"key":"13_CR5","volume-title":"Proceedings of the IEEE Computer Security Foundations Workshop","author":"H. Mantel","year":"2000","unstructured":"Mantel, H.: Possibilistic definitions of security \u2013 an assembly kit. In: Proceedings of the IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"13_CR6","unstructured":"Mantel, H.: A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PhD thesis, Universit\u00e4t des Saarlandes (2003) (published as a manuscript)"},{"issue":"1","key":"13_CR7","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3233\/JCS-1992-1103","volume":"1","author":"J.D. McLean","year":"1992","unstructured":"McLean, J.D.: Proving noninterference and functional correctness using traces. Journal of Computer Security\u00a01(1), 37\u201357 (1992)","journal-title":"Journal of Computer Security"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C. Meadows","year":"1996","unstructured":"Meadows, C.: The NRL protocol analyzer: An overview. Journal of Logic Programming\u00a026(2), 113\u2013131 (1996)","journal-title":"Journal of Logic Programming"},{"key":"13_CR9","volume-title":"Proceedings the 14th Annual IEEE Symposium on Logic in Computer Science","author":"L.C. Paulson","year":"1999","unstructured":"Paulson, L.C.: Proving security protocols correct. In: Proceedings the 14th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"13_CR10","volume-title":"Proceedings of IEEE Symposium on Security and Privacy","author":"S. Pinsky","year":"1995","unstructured":"Pinsky, S.: Absorbing covers and intransitive non-interference. In: Proceedings of IEEE Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"13_CR11","volume-title":"Proceedings of the 12th IEEE Computer Security Foundations Workshop","author":"A.W. Roscoe","year":"1999","unstructured":"Roscoe, A.W., Goldsmith, M.H.: What is intransitive noninterference. In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"13_CR12","unstructured":"Rushby, J.: Noninterference, transitivity, and channel-control security policies. Technical Report CSL-92-02, SRI International, Menlo Park, CA (1992)"},{"issue":"1\/2","key":"13_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"P.Y.A. Ryan","year":"2001","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process algebra and non-interference. Journal of Computer Security\u00a09(1\/2), 75\u2013103 (2001)","journal-title":"Journal of Computer Security"},{"key":"13_CR14","unstructured":"Schaefer, I.: Information flow control for multiagent systems - a case study on comparison shopping. Master\u2019s thesis, Universit\u00e4t Rostock \/ DFKI (September 2003)"},{"key":"13_CR15","volume-title":"Proceedings of the 13th IEEE Computer Security Foundations Workshop","author":"D.M. Volpano","year":"2000","unstructured":"Volpano, D.M.: Secure introduction of one-way functions. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"13_CR16","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"A. Zakinthinos","year":"1997","unstructured":"Zakinthinos, A., Lee, E.S.: A general theory of security properties. In: Proceedings of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30108-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:33:23Z","timestamp":1559507603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30108-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229872","9783540301080"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30108-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}