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]
No references recorded for this publication.
No citations of this publication recorded.