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