Preserving Secrecy Under Refinement

R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.

Download
No fulltext has been uploaded. References only!

DOI
Conference Paper | Published
Author
; ;
Series Title
LNCS
Publishing Year
Date Published
2006-01-01
Page
107 - 118
Conference
ICALP: Automata, Languages and Programming
IST-REx-ID

Cite this

Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543
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
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,” 107–18. Springer, 2006. https://doi.org/1543.
R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118.
Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, 107–118.
Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar