[{"page":"107 - 118","quality_controlled":0,"citation":{"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","ieee":"R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118.","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.","short":"R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.","mla":"Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543."},"date_published":"2006-01-01T00:00:00Z","conference":{"name":"ICALP: Automata, Languages and Programming"},"dc":{"date":["2006"],"source":["Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543"],"rights":["info:eu-repo/semantics/closedAccess"],"title":["Preserving Secrecy Under Refinement","LNCS"],"publisher":["Springer"],"relation":["info:eu-repo/semantics/altIdentifier/doi/1543"],"creator":["Alur, Rajeev","Pavol Cerny","Zdancewic,Steve"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"identifier":["https://research-explorer.ista.ac.at/record/4401"]},"uri_base":"https://research-explorer.ista.ac.at","month":"01","day":"01","status":"public","publication_status":"published","_id":"4401","date_created":"2018-12-11T12:08:40Z","dini_type":"doc-type:conferenceObject","date_updated":"2021-01-12T07:56:42Z","author":[{"first_name":"Rajeev","last_name":"Alur"},{"last_name":"Cerny","first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Zdancewic","first_name":"Steve"}],"alternative_title":[],"type":"conference","extern":1,"publist_id":"1054"}]