{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:03Z","timestamp":1761611163500,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,10]],"date-time":"2005-01-10T00:00:00Z","timestamp":1105315200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,1,10]]},"DOI":"10.1145\/1045405.1045411","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"50-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Statically checking confidentiality via dynamic labels"],"prefix":"10.1145","author":[{"given":"Bart","family":"Jacobs","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolter","family":"Pieters","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martijn","family":"Warnier","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,1,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Workshop on Issues in the Theory of Security, WITS. IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS","author":"Darvas \u00c1d\u00e1m","year":"2003","unstructured":"\u00c1d\u00e1m Darvas , Reiner H\u00e4hnle , and Dave Sands . A theorem proving approach to analysis of secure information flow. In Roberto Gorrieri, editor , Workshop on Issues in the Theory of Security, WITS. IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS , 2003 . \u00c1d\u00e1m Darvas, Reiner H\u00e4hnle, and Dave Sands. A theorem proving approach to analysis of secure information flow. In Roberto Gorrieri, editor, Workshop on Issues in the Theory of Security, WITS. IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS, 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"Software and System Modeling","author":"Ahrendt Wolfgang","year":"2003","unstructured":"Wolfgang Ahrendt , Thomas Baar , Bernhard Beckert , Richard Bubel , Martin Giese , Reiner H\u00e4hnle , Wolfram Menzel , Wojciech Mostowski , Andreas Roth , Steffen Schlager , and Peter H. Schmitt . The KeY tool . Software and System Modeling , 2003 . To appear. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner H\u00e4hnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt. The KeY tool. Software and System Modeling, 2003. To appear."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/966051.966055"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005453"},{"key":"e_1_3_2_1_5_1","volume-title":"VMCAI'04 Proceedings","author":"Barthe Giles","year":"2004","unstructured":"Giles Barthe , Amitabh Basu , and Tamara Rezk . Security Types Preserving Compilation . In VMCAI'04 Proceedings , LNCS. Springer , Berlin , 2004 . Giles Barthe, Amitabh Basu, and Tamara Rezk. Security Types Preserving Compilation. In VMCAI'04 Proceedings, LNCS. Springer, Berlin, 2004."},{"key":"e_1_3_2_1_7_1","volume-title":"Java Card technology for smart cards: architecture and programmer's guide","author":"Chen Zhiqun","year":"2000","unstructured":"Zhiqun Chen . Java Card technology for smart cards: architecture and programmer's guide . Addison-Wesley , June 2000 . Zhiqun Chen. Java Card technology for smart cards: architecture and programmer's guide. Addison-Wesley, June 2000."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_6"}],"event":{"name":"WITS05: Workshop on Issues in the Theory of Security 2005 ( co-located with POPL 2005 Conference )","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Long Beach California","acronym":"WITS05"},"container-title":["Proceedings of the 2005 workshop on Issues in the theory of security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1045405.1045411","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1045405.1045411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:31Z","timestamp":1750286611000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1045405.1045411"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,10]]},"references-count":7,"alternative-id":["10.1145\/1045405.1045411","10.1145\/1045405"],"URL":"https:\/\/doi.org\/10.1145\/1045405.1045411","relation":{},"subject":[],"published":{"date-parts":[[2005,1,10]]},"assertion":[{"value":"2005-01-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}