| 应用组合方法设计普适计算网络安全协议* |
| |
| 引用本文： | 杨帆,李彤,曹奇英b.应用组合方法设计普适计算网络安全协议*[J].计算机应用研究,2009,26(3):1073-1075. |
| |
| 作者姓名： | 杨帆 李彤 曹奇英b |
| |
| 作者单位： | 1. 东华大学,信息科学与技术学院,上海,201620
2. 东华大学,计算机科学与技术学院,上海,201620 |
| |
| 基金项目： | 国家教育部科学技术研究重点资助项目(104086) |
| |
| 摘 要： | 给出一种新的安全协议的设计方法——组合设计方法，首先分别实现各个安全目标，然后将它们组合为一个新的安全协议。组合方法设计安全协议具有易于实现、易于验证等优点。给出组合规则，使用组合方法实现了普适计算环境下认证协议及密钥协商协议的设计。
|
| 关 键 词： | 普适计算 安全协议设计 组合方法 |
Security protocol for ubiquitous computing network design by composition method |
| |
| YANG Fan,LI Tong,CAO Qi-yingb.Security protocol for ubiquitous computing network design by composition method[J].Application Research of Computers,2009,26(3):1073-1075. |
| |
| Authors: | YANG Fan LI Tong CAO Qi-yingb |
| |
| Affiliation: | (a. College of Information Science & Technology, b. College of Computer Science & Technology, Donghua University, Shanghai 201620, China) |
| |
| Abstract: | This paper proposed a novel design method-design by composition, constructing a complicated protocol from simple protocol primitived without destroying the security properties established by each independent part. This method made the design and verification of the protocol easier to handle. The regulations of composition had been present. And with these regulations of composition design, this paper implemented an authentication protocol and a key agreement protocol for ubiquitous computing network. |
| |
| Keywords: | ubiquitous computing security protocols design composition method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
