Preserving secrecy under refinement Conference Proceeding

Overview

CU Boulder Authors

• Cerny, Pavol

publication date

• July 10, 2006

Full Author List

• Alur R; Cerny P; Zdancewic S

published in

• Lecture Notes in Artificial Intelligence  Journal

Additional Document Info

start page

• 107

end page

• 118

volume

• 4052