Abstract
We present DHARMA, a distributed high assurance reference monitor that is generated mechanically by the formal methods tool PVS from a verified specification of its key algorithms. DHARMA supports policies that allow delegation of access rights, as well as structured, distributed names. To test DHARMA, we use it as the core reference monitor behind a web server that serves files over SSL connections. Our measurements show that formally verified high assurance access control systems are practical. © Springer-Verlag 2004.
Cite
CITATION STYLE
Chander, A., Dean, D., & Mitchell, J. (2004). A distributed high assurance reference monitor extended abstract. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3225, 231–244. https://doi.org/10.1007/978-3-540-30144-8_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
