Publications

2009

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic

Henry DeYoung and Frank Pfenning.
To appear at the Workshop on Foundations of Computer Security (FCS), Los Angeles, California, August 2009.
Extended version available as Technical Report CMU-CS-09-140.

2008

An Authorization Logic with Explicit Time

Henry DeYoung, Deepak Garg, and Frank Pfenning.
21st IEEE Computer Security Foundations Symposium (CSF).
Pittsburgh, Pennsylvania. June, 2008.
Long version with detailed proofs available as Technical Report CMU-CS-07-166.

A Logic for Reasoning About Time-Dependent Access Control Policies

Henry DeYoung.
Senior Research Thesis.
Carnegie Mellon University, May 2008.
Available as Technical Report CMU-CS-08-131.