A Language-Based Approach to Security
A framework for defining logics