QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 model checking a secure hypervisor 会议论文 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31 CAS monitor  Spin PROMELA language  model checking  platform-virtualization software  secure hypervisor  formal verification  operating systems (computers)  security of data  virtual machines   bounded model checking of actl formulae 会议论文 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui 收藏  |  浏览/下载：21/0  |  提交时间：2011/03/20 bounded model checking encoding method  bounded model verification  computation tree logic  error-hunting  encoding  formal logic  formal verification  program debugging  tree data structures   broadcast group-oriented encryption for group communication 期刊论文 Journal of Computational Information Systems, 2007, 卷号: 3, 期号: 1, 页码: 63-71 Ma Chunbo; Mei Qixiang; Li Jianhua 收藏  |  浏览/下载：13/0  |  提交时间：2011/07/01 Broadcasting  Data communication systems  Electronic document identification systems  Gateways (computer networks)  Intrusion detection  Security of data  Verification   computing invariants for parameter abstraction 会议论文 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong 收藏  |  浏览/下载：14/0  |  提交时间：2011/06/29 cache coherence protocols  combining invariants computing  data consistency error  guard strengthening methods  parameter abstraction  parameterized model checking  transition rules  abstract data types  cache storage  data integrity  program verification