您的位置： 专家智库 > >

李样

作品数：1 被引量：4H指数：1
供职机构：贵州大学计算机科学与信息学院计算机软件与理论研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇行为时序逻辑
  • 1篇时序逻辑
  • 1篇角色
  • 1篇符号化
  • 1篇KERBER...

机构

  • 1篇贵州大学

作者

  • 1篇万良
  • 1篇李样

传媒

  • 1篇贵州大学学报...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于TLA的Kerberos协议符号化与检测被引量：4
2007年
Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVISPA工具对HLPSL编码进行检测,结果表明用基于TLA的检测工具是宜于使用且有效的。
万良李样
关键词：行为时序逻辑角色
全选 清除 导出
共1页<1>
聚类工具0