Security properties: two agents are sufficient (2004)

by H Comon-Lundh, V Cortier
Venue:Science of Computer Programming