Secrecy-preserving Refinement (2001)

Cached

Download Links

by Jan Jürjens
Citations:14 - 2 self