{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:29:43Z","timestamp":1770431383927,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540356318","type":"print"},{"value":"9783540356325","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11783596_21","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T14:35:02Z","timestamp":1151505302000},"page":"359-378","source":"Crossref","is-referenced-by-count":29,"title":["The Shadow Knows: Refinement of Ignorance in Sequential Programs"],"prefix":"10.1007","author":[{"given":"Carroll","family":"Morgan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"21_CR1","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"Hoare, C.: An axiomatic basis for computer programming. Commun. of ACM\u00a012(10), 576\u2013580, 583 (1969)","journal-title":"Commun. of ACM"},{"key":"21_CR2","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"Dijkstra, E.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)"},{"key":"21_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J. Back","year":"1998","unstructured":"Back, R.J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"key":"21_CR4","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications, 2nd edn. Prentice Hall, Englewood Cliffs (1994), http:\/\/web.comlab.ox.ac.uk\/oucl\/publications\/books\/PfS\/","edition":"2"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/SECPRI.1988.8094","volume-title":"Proc. of 1988 IEEE Symp. on Security and Privacy, S&P 1988","author":"J. Jacob","year":"1988","unstructured":"Jacob, J.: Security specifications. In: Proc. of 1988 IEEE Symp. on Security and Privacy, S&P 1988, pp. 14\u201323. IEEE Comput. Soc. Press, Los Alamitos (1988)"},{"issue":"1","key":"21_CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00206326","volume":"1","author":"D. Chaum","year":"1988","unstructured":"Chaum, D.: The Dining Cryptographers problem: Unconditional sender and recipient untraceability. J. of Cryptol.\u00a01(1), 65\u201375 (1988)","journal-title":"J. of Cryptol."},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/CSFW.2002.1021805","volume-title":"Proc. of 15th IEEE Computer Security Foundations Wksh., CSFW 2002","author":"J. Halpern","year":"2002","unstructured":"Halpern, J., O\u2019Neill, K.: Secrecy in multiagent systems. In: Proc. of 15th IEEE Computer Security Foundations Wksh., CSFW 2002, pp. 32\u201346. IEEE Comput. Soc. Press, Los Alamitos (2002)"},{"key":"21_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. Smyth","year":"1978","unstructured":"Smyth, M.: Power domains. J. of Comput. and Syst. Sci.\u00a016, 23\u201336 (1978)","journal-title":"J. of Comput. and Syst. Sci."},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/CSFW.2003.1212706","volume-title":"Proc. of 16th IEEE Computer Security Foundations Wksh., CSFW 2003","author":"J. Halpern","year":"2003","unstructured":"Halpern, J., O\u2019Neill, K.: Anonymity and information hiding in multiagent systems. In: Proc. of 16th IEEE Computer Security Foundations Wksh., CSFW 2003, pp. 75\u201388. IEEE Comput. Soc. Press, Los Alamitos (2003)"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/SECPRI.2001.924289","volume-title":"Proc. of 2001 IEEE Symp. Security and Privacy, S&P 2001","author":"H. Mantel","year":"2001","unstructured":"Mantel, H.: Preserving information flow properties under refinement. In: Proc. of 2001 IEEE Symp. Security and Privacy, S&P 2001, pp. 78\u201391. IEEE Comput. Soc. Press, Los Alamitos (2001)"},{"key":"21_CR12","unstructured":"Engelhardt, K., Moses, Y., van der Meyden, R.: Unpublished report (2005)"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/CSFW.2004.1310747","volume-title":"Proc. of 17th IEEE Computer Security Foundations Wksh., CSFW 2004","author":"R. Meyden van der","year":"2004","unstructured":"van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the Dining Cryptographers. In: Proc. of 17th IEEE Computer Security Foundations Wksh., CSFW 2004, pp. 280\u2013291. IEEE Comput. Soc. Press, Los Alamitos (2004)"},{"issue":"5","key":"21_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1067625.806556","volume":"11","author":"E. Cohen","year":"1977","unstructured":"Cohen, E.: Information transmission in sequential programs. ACM SIGOPS Operatings Syst. Review\u00a011(5), 133\u2013139 (1977)","journal-title":"ACM SIGOPS Operatings Syst. Review"},{"key":"21_CR15","first-page":"75","volume-title":"Proc. of 1984 IEEE Symp. on Security and Privacy, S&P 1984","author":"J. Goguen","year":"1984","unstructured":"Goguen, J., Meseguer, J.: Unwinding and inference control. In: Proc. of 1984 IEEE Symp. on Security and Privacy, S&P 1984, pp. 75\u201386. IEEE Comput. Soc. Press, Los Alamitos (1984)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE J. of Selected Areas of Commun. 21(1) (2003)","DOI":"10.1109\/JSAC.2002.806121"},{"issue":"1-3","key":"21_CR17","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0167-6423(99)00024-6","volume":"37","author":"K. Leino","year":"2000","unstructured":"Leino, K., Joshi, R.: A semantic approach to secure information flow. Sci. of Comput. Program\u00a037(1-3), 113\u2013138 (2000)","journal-title":"Sci. of Comput. Program"},{"issue":"1","key":"21_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1011553200337","volume":"14","author":"A. Sabelfeld","year":"2001","unstructured":"Sabelfeld, A., Sands, D.: A PER model of secure information flow. Higher-Order and Symb. Comput.\u00a014(1), 59\u201391 (2001)","journal-title":"Higher-Order and Symb. Comput."},{"issue":"1","key":"21_CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.3233\/JCS-1996-4103","volume":"4","author":"A.W. Roscoe","year":"1996","unstructured":"Roscoe, A.W., Woodcock, J., Wulf, L.: Non-interference through determinism. J.\u00a0of Comput. Security\u00a04(1), 27\u201354 (1996)","journal-title":"J.\u00a0of Comput. Security"},{"key":"21_CR20","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/800221.806716","volume-title":"Proc. of 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, PODC 1983","author":"R.J. Back","year":"1983","unstructured":"Back, R.J., Kurki-Suonio, R.: Decentralisation of process nets with centralised control. In: Proc. of 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, PODC 1983, pp. 131\u2013142. ACM Press, New York (1983)"},{"key":"21_CR21","volume-title":"Technical Monographs in Computer Science","author":"A. McIver","year":"2005","unstructured":"McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. In: Technical Monographs in Computer Science. Springer, Heidelberg (2005)"},{"key":"#cr-split#-21_CR22.1","unstructured":"Hintikka, J.: Knowledge and Belief: an Introduction to the Logic of the Two Notions. Cornell University Press (1962)"},{"key":"#cr-split#-21_CR22.2","unstructured":"Available in a new edition, Hendricks and Symonds. Kings College Publ. (2005)"},{"issue":"3","key":"21_CR23","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J.\u00a0of ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"J.\u00a0of ACM"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11783596_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T16:20:45Z","timestamp":1736439645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783596_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356318","9783540356325"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11783596_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}