{"extern":1,"type":"conference","publist_id":"1054","date_updated":"2021-01-12T07:56:42Z","quality_controlled":0,"alternative_title":["LNCS"],"title":"Preserving Secrecy Under Refinement","_id":"4401","doi":"1543","conference":{"name":"ICALP: Automata, Languages and Programming"},"author":[{"first_name":"Rajeev","full_name":"Alur, Rajeev","last_name":"Alur"},{"id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","last_name":"Cerny","first_name":"Pavol","full_name":"Pavol Cerny"},{"last_name":"Zdancewic","full_name":"Zdancewic,Steve","first_name":"Steve"}],"publication_status":"published","month":"01","date_created":"2018-12-11T12:08:40Z","citation":{"ista":"Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, , 107–118.","chicago":"Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,” 107–18. Springer, 2006. <a href=\"https://doi.org/1543\">https://doi.org/1543</a>.","apa":"Alur, R., Cerny, P., &#38; Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. <a href=\"https://doi.org/1543\">https://doi.org/1543</a>","short":"R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.","mla":"Alur, Rajeev, et al. <i>Preserving Secrecy Under Refinement</i>. Springer, 2006, pp. 107–18, doi:<a href=\"https://doi.org/1543\">1543</a>.","ama":"Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:<a href=\"https://doi.org/1543\">1543</a>","ieee":"R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118."},"day":"01","year":"2006","status":"public","publisher":"Springer","page":"107 - 118","date_published":"2006-01-01T00:00:00Z"}