mygcc 相关硕士博士期刊学术论文 - 搜论网

mygcc相关论文

基于静态分析的强制访问控制框架的正确性验证

现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问......

期刊

正确性验证静态分析强制访问控制框架钩子放置 mygcc correctness verification static analysis mandat

看过本文同时还关注