基于形式化监控的可信软件构造模型

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于形式化监控的可信软件构造模型

陈建明, 刘松, 李志蜀, 丁革建

Trusted Software Programming Model Based on Formal Monitoring

CHEN Jian-Meng, LIU Song, LI Zhi-Shu, DING Ge-Jian

计算机工程 . 2011, (01): 65 -68 . DOI: 10.3969/j.issn.1000-3428.2011.01.023