张毓森 张涛 王元元 慎健 王俊 杨华兵 程国耀 张兴元 熊永森 吴波

Linux安全访问控制框架 干燥 微波 访问控制通用框架 形式化验证 胡萝卜 Linux安全模型 BLP模型 SAODV协议 Linux 基于规则集的访问控制 活动性 强制访问控制 IsabelleHOLIsar

解放军理工大学指挥自动化学院 南京大学计算机系 江苏南京 江苏南京210093解放军理工大学指挥自... 江苏南京210093解放军理工大学指挥自... 南京大学软件新技术国家重点实验室