随笔分类 -  系统安全

计算机系统安全研究
时序安全属性检测(二)----模型检测简介
摘要:Model Checking简介 阅读全文

posted @ 2010-05-23 18:57 小交响曲 阅读(694) 评论(0) 推荐(0) 编辑

时序安全属性检测(一)
摘要:程序的“时序安全属性(temporal safety properties)”是描述“某些坏的事情不会发生”的一类属性.通常,时序安全属性规定了一系列有序的事件,要求在程序中不能发生这些事件.在程序中,它表现为一系列先后有序的操作(通常是和安全相关的操作,至少有一个是这样的,不然不会发生安全问题)。 阅读全文

posted @ 2010-04-27 18:32 小交响曲 阅读(345) 评论(0) 推荐(0) 编辑

系统安全序
摘要:以此作为该类随笔序言 阅读全文

posted @ 2010-04-26 18:40 小交响曲 阅读(183) 评论(0) 推荐(0) 编辑

导航

点击右上角即可分享
微信分享提示