Automata-based confidentiality monitoring (0)

by G Le Guernic, A Banerjee, T Jensen, D Schmidt
Venue:In Proc. Asian Computing Science Conference (ASIAN’06). Revised