Epistemic temporal logic for information flow security.

Musard Balliu, Mads Dam, Gurvan Le Guernic

Browse the full PLDI paper archive.