常用链接
AcVerifier: Cross-Domain Access Control Verification via Hybrid Static and Dynamic Analysis
发布时间：2025-02-25
点击次数：
第一作者：Jie Zhang
通讯作者：Yuanyuan He
合写作者：Miao Hu,Xinwei Yu,Tingting Guo,Xiangyu Gao,Jiaqi Ma
发表刊物：IEEE International Symposium on Parallel and Distributed Processing with Applications
页面范围：736-742
关键字：Access control policy, access control vulnerability verification, deterministic finite automaton
发表时间：2025-02-20