DMCA

Preserving secrecy under refinement (2006)

by Rajeev Alur , Steve Zdancewic
Venue:Proc. of the 33rd Internat. Colloq. on Automata, Languages and Programming (ICALP ’06), volume 4052 of Lecture Notes in Computer Science
Citations:45 - 4 self