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]

Authors

Bahman Sistany

This author has not been identified. Look up 'Bahman Sistany' in Google

Amy P. Felty

This author has not been identified. Look up 'Amy P. Felty' in Google