Lark: Verified Cross-Domain Access Control for Trusted Execution Environments.
Fanlang ZengZhuoruo ZhangRui ChangChenyang YuZijun ZhangYongwang ZhaoPublished in: ISSRE (2023)
Keyphrases
- access control
- cross domain
- multi domain
- role based access control
- fine grained
- trust relationships
- data security
- security policies
- knowledge transfer
- dynamic access control
- transfer learning
- access control policies
- identity management
- security mechanisms
- security requirements
- access control models
- text categorization
- access control systems
- distributed environment
- distributed systems
- information extraction
- active learning
- database systems
- trusted computing
- information systems