关注
Alvin Tang
Alvin Tang
Student, The Australian National University
在 anu.edu.au 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Automated SELinux RBAC Policy Verification Using SMT
D Pahuja, A Tang, K Tsoutsman
arXiv preprint arXiv:2312.04586, 2023
2023
Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review
A Tang
arXiv preprint arXiv:2308.12983, 2023
2023
系统目前无法执行此操作，请稍后再试。
文章 1–2