A Certified Core Policy Language

Bahman Sistany, Amy P. Felty. A Certified Core Policy Language. In 15th Annual Conference on Privacy, Security and Trust, PST 2017, Calgary, AB, Canada, August 28-30, 2017. pages 391-393, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.