CVTEE: A Compatible Verified TEE Architecture With Enhanced Security
Miao, Xinliang, Chang, Rui, Zhao, Jianhong, Zhao, Yongwang, Cao, Shuang, Wei, Tao, Jiang, Liehui, Ren, Kui
Published in IEEE transactions on dependable and secure computing (01.01.2023)
Published in IEEE transactions on dependable and secure computing (01.01.2023)
Get full text
Journal Article
Security attribute-based access control formalized verification method for ARM (Advanced RISC Machines) architecture
MIAO XINLIANG, YU CHENYANG, ZENG FANLANG, REN KUI, ZHANG ZIJUN, CHANG RUI
Year of Publication 10.06.2022
Get full text
Year of Publication 10.06.2022
Patent
Android access control modeling and security analysis method based on B method
MIAO XINLIANG, REN LU, REN KUI, SHAN XIAYE, DUAN JIRUI, ZHAO JUN, ZHAO YONGWANG, REN XINXIN, CHANG RUI
Year of Publication 18.12.2020
Get full text
Year of Publication 18.12.2020
Patent