Secrecy-preserving refinement (2001)

by J Jürjens
Venue:In Proc. 10th Symposium on Formal Methods Europe (FME 2001), number 2021 in Lecture Notes in Computer Science