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