Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE

Xinliang Miao, Fanlang Zeng, Rui Chang, Chenyang Yu, Zijun Zhang, Liehui Jiang, Yongwang Zhao. Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE. In Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11 - 12, 2022. pages 252-261, ACM, 2022. [doi]

@inproceedings{MiaoZCYZJZ22,
  title = {Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE},
  author = {Xinliang Miao and Fanlang Zeng and Rui Chang and Chenyang Yu and Zijun Zhang and Liehui Jiang and Yongwang Zhao},
  year = {2022},
  doi = {10.1145/3545258.3545281},
  url = {https://doi.org/10.1145/3545258.3545281},
  researchr = {https://researchr.org/publication/MiaoZCYZJZ22},
  cites = {0},
  citedby = {0},
  pages = {252-261},
  booktitle = {Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11 - 12, 2022},
  publisher = {ACM},
  isbn = {978-1-4503-9780-3},
}