您的位置： 专家智库 > >

库恒

作品数：2 被引量：1H指数：1
供职机构：贵州大学理学院更多>>
发文基金：贵州大学自然科学青年科研基金国家自然科学基金贵州省科学技术基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇行为时序逻辑
  • 1篇语言
  • 1篇时序逻辑
  • 1篇理想化
  • 1篇理想化方法
  • 1篇逻辑
  • 1篇逻辑缺陷
  • 1篇AFDX
  • 1篇BAN
  • 1篇BAN逻辑

机构

  • 2篇贵州大学

作者

  • 2篇库恒
  • 1篇罗昊
  • 1篇龙士工

传媒

  • 1篇计算机工程与...
  • 1篇科技信息

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
类BAN逻辑缺陷的进一步分析
2012年
类BAN逻辑是一种用于分析密码协议安全性的逻辑。文章分析了各种类BAN逻辑的缺陷,并对其进行了详细的分类描述,最后指出进一步发展类BAN逻辑需要解决的问题。
库恒
关键词：理想化方法
基于TLA+的AFDX冗余管理算法的改进被引量：1
2013年
为了在航空应用中得到更加安全可靠的通讯系统,就目前普遍应用的标准以太网可能会出现的问题,提出了用行为时序逻辑TLA对AFDX冗余管理算法进行形式化分析。在适当的环境中,根据安全性、活性、可用性3个性质,得到两个冗余管理的推论,根据这些性质和推论,提出了3个冗余管理算法,并用TLA+语言进行详细的描述。通过模型检测,表明出RMA13为最优算法。
库恒龙士工罗昊
关键词：行为时序逻辑
全选 清除 导出
共1页<1>
聚类工具0