Data access specification and the most powerful symbolic attacker (2003)

by I Cervesato
Venue:in MSR. In: Software Security, Theories and Systems