V.: Security properties: two agents are sufficient (2004)

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