Non-interference in constructive authorization logic (2006)

by Deepak Garg, Frank Pfenning
Venue:In Proceedings of the 19th Computer Security Foundations Workshop (CSFW’06