Secrecy-preserving refinement (2001)

by J Jürjens
Venue:In FME’01, volume 2021 of Lecture Notes in Computer Science