李四勤 付云虹 贺也平 马军 梁洪亮 龚红仿 袁春阳 谢冬青 谢志坚 吴新松

强制访问控制框架 完整性策略 安全策略 静态分析 Biba模型 钩子放置 路由器 强制访问控制 死锁预防 并发控制 实时电价 Clark-Wilson模型 安全 竞价 电力市场 加密 分布式数据库 mygcc 正确性验证 时戳

长沙电力学院数学与计算机系 中国科学院研究生院 湖南大学计算机科学系 中国科学院软件研究所基础软件国家工程研究... 国家计算机网络应急技术处理协调中心 中国科学院软件研究所