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

限定检索结果

文献类型

  • 24 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 23 篇 工学
    • 19 篇 计算机科学与技术...
    • 8 篇 网络空间安全
    • 3 篇 软件工程
    • 1 篇 仪器科学与技术
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 理学
    • 1 篇 数学

主题

  • 25 篇 行为时序逻辑
  • 9 篇 模型检测
  • 4 篇 入侵取证
  • 3 篇 形式化方法
  • 3 篇 安全性
  • 3 篇 活性
  • 2 篇 语法
  • 2 篇 自反性
  • 2 篇 业务流程
  • 2 篇 系统描述
  • 2 篇 公平性
  • 2 篇 磁盘技术
  • 2 篇 语义
  • 2 篇 toolbox
  • 2 篇 系统验证
  • 2 篇 安全行为
  • 1 篇 形式化分析与验证
  • 1 篇 停止等待协议
  • 1 篇 多方协作取证
  • 1 篇 tlc,tla+

机构

  • 12 篇 贵州大学
  • 7 篇 贵州财经大学
  • 3 篇 福建工程学院
  • 2 篇 广东医学院
  • 2 篇 山西大学
  • 1 篇 铜仁学院
  • 1 篇 贵州职业技术学院
  • 1 篇 北方民族大学
  • 1 篇 贵州师范大学
  • 1 篇 同济大学
  • 1 篇 中国人民大学
  • 1 篇 武汉大学
  • 1 篇 贵州广播电视大学
  • 1 篇 南开大学
  • 1 篇 贵州交通职业技术...

作者

  • 7 篇 李均涛
  • 5 篇 唐郑熠
  • 5 篇 李祥
  • 3 篇 万良
  • 3 篇 龙士工
  • 3 篇 吴勇
  • 2 篇 丘文峰
  • 2 篇 吴应江
  • 2 篇 赵梦龙
  • 2 篇 冯天亮
  • 2 篇 刘晴晴
  • 2 篇 白金山
  • 2 篇 王梦
  • 1 篇 库恒
  • 1 篇 王小平
  • 1 篇 韦立
  • 1 篇 梁盟磊
  • 1 篇 李样
  • 1 篇 李刚
  • 1 篇 王金水

语言

  • 25 篇 中文
检索条件"主题词=行为时序逻辑"
共 25 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
行为时序逻辑中公平性的研究与完善
收藏
分享
引用
计算机应用研究 2010年 第5期27卷 1788-1790页
作者： 唐郑熠 李均涛 李祥 贵州大学计算机软件与理论研究所 贵阳550025
基于行为时序逻辑(TLA)的并发系统描述,就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性,无法准确地描述某些系统的行为,从而限制了TLA的描述能力。通过研究TLA中公平性的推导过程,分析公平性... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
行为时序逻辑中四级公平性下的活性推理规则
收藏
分享
引用
计算机应用研究 2016年 第10期33卷 3045-3048页
作者： 唐郑熠 薛醒思 王金水 王晓峰 福建工程学院信息科学与工程学院 福州350118 贵州大学计算机科学与技术学院 贵阳550025 北方民族大学计算机科学与工程学院 银川750021
公平性是行为时序逻辑用于表达系统活性的形式,直接影响到系统描述的正确性与完整性,对其进行细化与完善能有效提高行为时序逻辑的系统描述能力。然而在对公平性进行细化的同时,却缺乏相应的、运用于性质验证的推理规则。针对这一问题,... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于行为时序逻辑的入侵取证研究
收藏
分享
引用
计算机应用研究 2011年 第7期28卷 2742-2745页
作者： 李均涛 唐郑熠 李祥 贵州大学计算机科学与信息学院 贵阳550025
提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失的情况下进行非确定性推理的能力;其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
并发系统中谓词行为图的行为时序逻辑表达
收藏
分享
引用
计算机应用研究 2013年 第9期30卷 2752-2754页
作者： 黄贻望 袁科 铜仁学院数学与计算机科学系 贵州铜仁550025 武汉大学计算机学院软件工程国家重点实验室 武汉430072 南开大学信息技术科学学院 天津300071
行为时序逻辑(TLA)组合时序逻辑与行为逻辑,可以对并发系统进行描述与验证,它引入动作和行为的概念,使得系统和属性可用它的规约公式表示,但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图,对于并发转移可以用... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
行为时序逻辑与自反线性时序逻辑的关系
收藏
分享
引用
现代计算机 2014年 第2期 3-7页
作者： 白金山 冯天亮 吴应江 丘文峰 王梦 广东医学院信息工程学院
为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中,对行为时序逻辑公式的语义进行形式化定义,从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系,提出并证明行为时序逻辑公式转换... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
行为时序逻辑与自反线性时序逻辑的关系
收藏
分享
引用
现代计算机（中旬刊） 2014年 第1期 3-7页
作者： 白金山 冯天亮 吴应江 丘文峰 王梦 广东医学院信息工程学院 东莞523808
为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中,对行为时序逻辑公式的语义进行形式化定义,从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系,提出并证明行为时序逻辑公式转换... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
基于行为时序逻辑TLA的时钟系统分析与检测
收藏
分享
引用
电力学报 2011年 第4期26卷 310-312,321页
作者： 吴勇 李祥 山西大学工程学院 贵州大学计算机软件与理论研究所
对基于行为时序逻辑TLA的模型检测技术进行了研究,指明了TLA的语义和语法并对行为时序逻辑中的公平性问题进行了定义。用基于TLA的系统描述语言TLA+对时钟系统进行描述并用其模型检测工具TLC对其进行了验证。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于行为时序逻辑的磁盘入侵取证研究
收藏
分享
引用
电脑知识与技术（过刊） 2013年 第9X期19卷 5820-5821,5832页
作者： 李均涛 贵州财经大学信息学院 贵州贵阳550025
运用假设行为时序逻辑理论体系对磁盘的文件系统进行描述,建立入侵系统模型,使用模型检测工具予以取证。该方法的目标是在反侦察攻击环境下,即在证据缺失的情况下,也能顺利地进行取证调查。
来源： 维普期刊数据库 维普期刊数据库 评论
基于行为时序逻辑的磁盘入侵取证研究
收藏
分享
引用
电脑知识与技术 2013年 第26期 5820-5821+5832页
作者： 李均涛 贵州财经大学信息学院
运用假设行为时序逻辑理论体系对磁盘的文件系统进行描述,建立入侵系统模型,使用模型检测工具予以取证。该方法的目标是在反侦察攻击环境下,即在证据缺失的情况下,也能顺利地进行取证调查。
来源： 同方期刊数据库 同方期刊数据库 评论
基于行为时序逻辑的多方协作取证研究
收藏
分享
引用
网络空间安全 2016年 第11期7卷 82-86页
作者： 李均涛 唐郑熠 张金磊 贵州财经大学信息学院 贵州贵阳550025 福建工程学院信息科学与工程学院 福建福州350108
论文提出了一种基于行为时序逻辑和片面性理论的多方协作取证的形式化方法,有望在多方参与的调查取证中验证不可观察的行为证据,并将其应用到一个取证实例中。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共3页 <<  < 1 2 3 >  >> 跳转到页 
回到顶部
执行限定条件