Faceted execution of policy-agnostic programs
It is important for applications to protect sensitive data. Even for simple confidentiality and integrity policies, it is often difficult for programmers to reason about how the policies should interact and how to enforce policies across the program. A promising approach is policy-agnostic programmi...
| Main Authors: | , , , |
|---|---|
| 其他作者: | |
| 格式: | Article |
| 語言: | en_US |
| 出版: |
Association for Computing Machinery (ACM)
2014
|
| 在線閱讀: | http://hdl.handle.net/1721.1/90875 https://orcid.org/0000-0001-7604-8252 https://orcid.org/0000-0002-3995-291X |