发新话题

协议分析[ Protocol Analyse ]

    标题 作者 回复/查看 最后发表
  [转载]密码协议的一种基于组合推理的模型验证 附件 EvilOctal 2005-9-16 0 / 787 2005-9-16 18:08 by EvilOctal
  [转载]基于逻辑程序的安全协议验证 附件 EvilOctal 2005-9-16 0 / 722 2005-9-16 18:07 by EvilOctal
  [转载]基于进程代数安全协议验证的研究综述 附件 EvilOctal 2005-9-16 0 / 767 2005-9-16 18:06 by EvilOctal
  [转载]基于证书的移动通信认证模型 附件 EvilOctal 2005-9-16 0 / 836 2005-9-16 18:05 by EvilOctal
  [转载]基于时序逻辑的加密协议分析 附件 EvilOctal 2005-9-16 0 / 832 2005-9-16 18:04 by EvilOctal
  [转载]基于口令认证的密钥交换协议的安全性分析 附件 EvilOctal 2005-9-16 0 / 856 2005-9-16 18:03 by EvilOctal
  [转载]基于Petri网的模型检测研究 附件 EvilOctal 2005-9-16 0 / 830 2005-9-16 18:00 by EvilOctal
  [转载]基于Petri网的安全协议形式化分析 附件 EvilOctal 2005-9-16 0 / 935 2005-9-16 18:00 by EvilOctal
  [转载]使用构造类别代数描述和验证密码协议 附件 EvilOctal 2005-9-16 0 / 787 2005-9-16 17:59 by EvilOctal
  [转载]一种有效的公平电子商务协议 附件 EvilOctal 2005-9-16 0 / 816 2005-9-16 17:58 by EvilOctal
  [转载]一种新的安全协议验证方法 附件 EvilOctal 2005-9-16 0 / 770 2005-9-16 17:58 by EvilOctal
  [转载]一种新的安全协议形式化验证方法 附件 EvilOctal 2005-9-16 0 / 779 2005-9-16 17:57 by EvilOctal
  [转载]一种分析电子商务协议的新方法 附件 EvilOctal 2005-9-16 0 / 757 2005-9-16 17:56 by EvilOctal
  [转载]一种分析Timed-Release公钥协议的扩展逻辑 附件 EvilOctal 2005-9-16 0 / 884 2005-9-16 17:55 by EvilOctal
  [转载]一个非否认协议ZG的形式化分析 附件 EvilOctal 2005-9-16 0 / 823 2005-9-16 17:55 by EvilOctal
  [转载]一个公平不可抵赖协议及其形式化分析 附件 EvilOctal 2005-9-16 0 / 762 2005-9-16 17:55 by EvilOctal
  [转载]Zhou-Gollmann不可否认协议的一种新的改进 附件 EvilOctal 2005-9-16 0 / 766 2005-9-16 17:54 by EvilOctal
  [转载]TMN密码协议的SMV分析 附件 EvilOctal 2005-9-16 0 / 815 2005-9-16 17:53 by EvilOctal
  [转载]SET协议中问题的分析及解决方案 附件 EvilOctal 2005-9-16 0 / 774 2005-9-16 17:52 by EvilOctal
  [转载]手把手教你玩转ARP包 第四部分 EvilOctal 2005-7-25 0 / 1289 2005-8-18 08:59 by ptlyptly
  [转载]Windows交换环境中ARP Sniffer的实现 冰血封情 2005-6-19 4 / 1564 2005-8-11 00:09 by 冰血封情
  [转载]ARP的高速缓存 分组格式和代理等 附件 EvilOctal 2005-8-4 0 / 986 2005-8-4 06:10 by EvilOctal
  [转载]IS-IS三步曲之一 基础篇 附件 EvilOctal 2005-7-25 0 / 957 2005-7-25 20:32 by EvilOctal
  [转载]IS-IS三步曲之三 配置篇 附件 EvilOctal 2005-7-25 0 / 851 2005-7-25 20:15 by EvilOctal
  [转载]IS-IS三步曲之二 提高篇 附件 EvilOctal 2005-7-25 0 / 852 2005-7-25 19:59 by EvilOctal
发新话题

正在浏览此版块的会员

查看 排序方式