Automata-based confidentiality monitoring (2006)

by G Le Guernic, A Banerjee, T Jensen, D A Schmidt
Venue:In ASIAN’06: the 11th Asian Computing Science Conference on Secure Software