机构

• 软件研究所 [6]

采集方式

• OAI收割 [6]

内容类型

• 期刊论文 [4]
• 会议论文 [2]

发表日期

• 2007 [1]
• 2006 [2]
• 2005 [1]
• 2003 [1]
• 2002 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 认证测试的一个扩展 期刊论文  OAI收割 中国科学院研究生院学报, 2007, 卷号: 24, 期号: 4, 页码: 488-493 卢凤清; 林东岱   |  收藏  |  浏览/下载：13/0  |  提交时间：2010/08/19 串空间  认证测试  变换实施边  变换路径  strand space  authentication test  transforming edge  transformation path   generalized unsolicited tests for authentication protocol analysis 会议论文  OAI收割 7th International Conference on Parallel and Distrubuted Computing, Applications and Technologies, Taipei, TAIWAN, DEC 04-07, Li Yongjian; Pang Jun   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 strand space  authentication  cryptographic protocols  the Otway-Rees protocol   generalized unsolicited tests for authentication protocol analysis 会议论文  OAI收割 7th International Conference on Parallel and Distrubuted Computing, Applications and Technologies, Taipei, TAIWAN, DEC 04-07, Li Yongjian; Pang Jun   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 strand space  authentication  cryptographic protocols  the Otway-Rees protocol   基于理想的协议安全性分析 期刊论文  OAI收割 软件学报, 2005, 卷号: 16, 期号: 12, 页码: 2150-2156 孙海波; 林东岱; 李莉   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/08/19 串空间  密码协议  理想  strand space  cryptographic protocol  ideal   study on strand space model theory 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 卷号: 18, 期号: 5, 页码: 553-570 Ji QG; Qing SH; Zhou YB; Feng DG   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/29 constructing attack  formalizing method  network security protocol  generalized strand space model   基于单向陷门函数的TMN协议的改进 期刊论文  OAI收割 中国科学院研究生院学报, 2002, 卷号: 19, 期号: 3, 页码: 254-262 孙海波; 林东岱   |  收藏  |  浏览/下载：14/0  |  提交时间：2010/08/19 串空间  单向陷门函数  安全协议  strand space  trap-door one-may function  secure protocols  cryptographic protocols