Fingerprint
Dive into the research topics of 'A formal model and correctness proof for an access control policy framework'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A formal model and correctness proof for an access control policy framework
Chunhan Wu, Xingyuan Zhang, Christian Urban
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
2
Citations
(Scopus)