A logical framework for reasoning about access control models 论文

2003ACM Transactions on Information and System Security引用 222
DOI
Access Control and TrustSecurity and Verification in ComputingCryptography and Data Security
网络安全Security and Verification in ComputingCryptography and Data SecurityAccess Control and Trust
关系图谱

A logical framework for reasoning about access control models · 相关技术

暂无数据