Supported by the National High-Tech Research and Development Plan of China under Grant No.2007AA010601 (国家高技术研究发展计划(863)); the Defense Pre-Research Project of the “Eleventh Five-Year-Plan” of China (国家“十一五”国防预研项目)
周洲仪,贺也平,梁洪亮.基于Biba和Clark-Wilson策略的混合强制完整性模型.软件学报,2010,21(1):98-106
复制