咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
    • 1 篇 网络空间安全

主题

  • 2 篇 interval tempora...
  • 1 篇 intrusion detect...
  • 1 篇 misuse detection
  • 1 篇 completeness.
  • 1 篇 model checking
  • 1 篇 accumulation cal...
  • 1 篇 network security
  • 1 篇 real-time system

机构

  • 1 篇 school of inform...
  • 1 篇 department of co...
  • 1 篇 school of comput...
  • 1 篇 department of co...

作者

  • 1 篇 孙永强
  • 1 篇 朱维军
  • 1 篇 宋国新
  • 1 篇 王忠勇
  • 1 篇 张海宾
  • 1 篇 虞慧群

语言

  • 1 篇 英文
  • 1 篇 中文
检索条件"主题词=interval temporal logic"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Intrusion Detection Algorithm Based on Model Checking interval temporal logic
收藏
分享
引用
China Communications 2011年 第3期8卷 66-72页
作者： 朱维军 王忠勇 张海宾 School of Computer Science Xidian University School of Information Engineering Zhengzhou University
Model checking based on linear temporal logic reduces the false negative rate of misuse ***,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise *** there is still a high rate of ... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Completeness of the Accumulation Calculus
收藏
分享
引用
Journal of Computer Science & Technology 1998年 第1期13卷 25-31页
作者： 虞慧群 宋国新 孙永强 Department of Computer Science and Engineering East China University of Science and Technology Shanghai P.R. China Department of Computer Science and Engineering Shanghai Jiaotong University Shanghai P.R. China
The accumulation calculus (AC for short) is an interval based temporal logic to specify and reason about hybrid real-time systems. This paper presents a formal proof system for AC, and proves that the system is comple... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件