Epistemic Temporal Logic for Information Flow Security

Musard Balliu, Mads Dam, Gurvan Le Guernic

Temporal epistemic logic is a well-established framework for expressing agents knowledge and how it evolves over time. Within language-based security these are central issues, for…