计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  留言板 |  联系我们 |  投稿常见问题解答 |  English Version     30周年刊庆
计算机应用  2013, Vol. 33 Issue (07): 2041-2045    DOI: 10.11772/j.issn.1001-9081.2013.07.2041
计算机软件技术 最新目录| 下期目录| 过刊浏览| 高级检索 |
安全苛求软件需求规格中的安全特性验证方法
王飞,郭渊博,李波,郝耀辉
信息工程大学 网络空间安全学院,郑州450004
Validation method of security features in safety critical software requirements specification
WANG Fei,GUO Yuanbo,LI Bo,HAO Yaohui
College of Cyberspace Security, Information Engineering University, Zhengzhou Henan 450004, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn