您的位置： 专家智库 > >

杨克

作品数：4 被引量：9H指数：2
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

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

主题

  • 3篇安全协议
  • 2篇形式化
  • 2篇形式化验证
  • 2篇网络
  • 2篇网络安全
  • 1篇形式化验证方...
  • 1篇异或
  • 1篇异或运算
  • 1篇身份验证
  • 1篇身份验证协议
  • 1篇人工智能
  • 1篇立方体
  • 1篇密码
  • 1篇密码协议
  • 1篇极小值
  • 1篇攻击者
  • 1篇N

机构

  • 4篇清华大学

作者

  • 4篇杨克
  • 3篇黄连生
  • 3篇王新兵
  • 2篇谢峰
  • 1篇林行良
  • 1篇戴一奇

传媒

  • 2篇清华大学学报...
  • 2篇计算机工程与...

年份

  • 3篇2001
  • 1篇1998
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
安全协议形式化验证方法的比较与分析被引量：1
2001年
网络的飞速发展，使得安全问题日益突出，而身份认证协议则是安全性的基础。目前国际上的热点是安全协议的形式化验证。文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。对其各自特点进行比较与分析。
黄连生王新兵谢峰杨克
关键词：形式化验证
基于攻击者的“角色冒充”的协议验证方法被引量：2
2001年
网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。
黄连生王新兵谢峰杨克
关键词：网络安全身份验证协议密码协议安全协议形式化验证攻击者
一种安全协议的机器证明算法被引量：1
2001年
安全协议的形式化验证是网络安全的一个重要领域。文章介绍了一种机器的自动证明算法。与传统算法不同，文章的算法是证伪的从“攻击者”的角度出发，避免了“有限状态机”方法的复杂“状态空间”的搜索。
黄连生王新兵谢锋杨克
关键词：安全协议网络安全人工智能
异或运算下(2,n)分存规模的极小值被引量：5
1998年
信息分存引起的数据规模膨胀在实际应用中成为一个十分值得重视的问题。但问题本身的复杂性使得在一般情况下计算（ｋ，ｎ）分存的极小规模变得十分困难，即使是在实际应用中比较常用的异或运算下的（２，ｎ）分存，其最小规模问题至今也尚未解决。因此提出了一个“三值立方体”模型及相应的“顶点”，“象限”，“覆盖”和“覆盖集”等概念，讨论了它们的性质和特点，并利用该模型求出异或运算下（２，ｎ）分存的极小值为ｎｌｏｇ２ｎ＋ｎ－２ｌｏｇ２ｎ，同时也给出了具体的实现方案。
杨克林行良潘平戴一奇
全选 清除 导出
共1页<1>
聚类工具0