{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:10:44Z","timestamp":1778263844887,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":6,"publisher":"Springer US","isbn-type":[{"value":"9781441959058","type":"print"},{"value":"9781441959065","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","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-1-4419-5906-5_867","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T09:50:45Z","timestamp":1319709045000},"page":"1342-1343","source":"Crossref","is-referenced-by-count":0,"title":["Type Checking and Security"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"867_CR1_867","first-page":"167","volume":"4","author":"D Volpano","year":"1996","unstructured":"Volpano D, Smith G, Irvine C (1996) A sound type system for secure flow analysis. J Comput Sec 4(3):167\u2013187","journal-title":"J Comput Sec"},{"issue":"1","key":"867_CR2_867","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A Sabelfeld","year":"2003","unstructured":"Sabelfeld A, Myers A (2003) Language-based information flow security. IEEE J Selected Areas Commun 21(1):5\u201319","journal-title":"IEEE J Selected Areas Commun"},{"issue":"5","key":"867_CR3_867","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1145\/324133.324266","volume":"46","author":"M Abadi","year":"1999","unstructured":"Abadi M (1999) Secrecy by typing in security protocols. J ACM 46(5):749\u2013786","journal-title":"J ACM"},{"issue":"4","key":"867_CR4_867","first-page":"451","volume":"11","author":"AD Gordon","year":"2003","unstructured":"Gordon AD, Jeffrey A (2003) Authenticity by typing for security protocols. J Comput Sec 11(4):451\u2013520","journal-title":"J Comput Sec"},{"key":"867_CR5_867","unstructured":"Simonet V (2003) The Flow Caml System: documentation and user\u2019s manual. Technical Report 0282, Institut National de Recherche en Informatique et en Automatique (INRIA)"},{"key":"867_CR6_867","unstructured":"Chong S, Myers A, Vikram K, Zheng L (2009) Jif reference manual. Cornell University. http:\/\/www.cs.cornell.edu\/jif. Accessed Feb\u00a02009"}],"container-title":["Encyclopedia of Cryptography and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-5906-5_867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T17:39:12Z","timestamp":1778261952000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-5906-5_867"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781441959058","9781441959065"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-5906-5_867","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}