Formal Verification of a Certified Policy Language.

Amir Eaman, Amy P. Felty

Browse the full VECoS paper archive.