{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:13:28Z","timestamp":1776122008320,"version":"3.50.1"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/icnss.2011.6060030","type":"proceedings-article","created":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T20:59:24Z","timestamp":1320181164000},"page":"358-363","source":"Crossref","is-referenced-by-count":1,"title":["Reconstructing security types for automated policy enforcement in FABLE"],"prefix":"10.1109","author":[{"given":"Arash","family":"Afshar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehran S.","family":"Fallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00047-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.29"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.44"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/373243.360207"},{"key":"ref11","author":"afshar","year":"0","journal-title":"Proofs of theorems and technical details"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"ref12","article-title":"Top quality type error messages","author":"heeren","year":"2005"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/944746.944709"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237729"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411245"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268976"}],"event":{"name":"2011 5th International Conference on Network and System Security (NSS)","location":"Milan, Italy","start":{"date-parts":[[2011,9,6]]},"end":{"date-parts":[[2011,9,8]]}},"container-title":["2011 5th International Conference on Network and System Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6044613\/6059944\/06060030.pdf?arnumber=6060030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T18:46:41Z","timestamp":1490122001000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6060030\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icnss.2011.6060030","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}