| CSP的扩展及其在匿名混淆协议形式化中的应用 |
| |
| 引用本文： | 霍成义.CSP的扩展及其在匿名混淆协议形式化中的应用[J].计算机应用与软件,2009,26(5). |
| |
| 作者姓名： | 霍成义 |
| |
| 作者单位： | 甘肃工业职业技术学院信息工程系,甘肃,天水,741025 |
| |
| 基金项目： | 甘肃国防科工委(办)科研项目 |
| |
| 摘 要： | 自David Chaum在1981年提出了一个经过多个混淆器(Mix)的数据转发技术以来,匿名技术的研究得到了迅速的发展.研究为进行匿名混淆协议形式化描述而进行的CSP 扩展问题,向CSP 中引入了混淆操作的概念,提出了匿名混淆导管算子"⊕>>",该算子能够较好地描述匿名Mix混淆协议,最后给出了Mix混淆协议的CSP 描述.
|
| 关 键 词： | 通信顺序进程 匿名 混淆协议 形式化描述 |
EXTENSION OF CSP AND ITS APPLICATION IN FORMALIZATION OF ANONYMITY MIX PROTOCOL |
| |
| Huo Chengyi.EXTENSION OF CSP AND ITS APPLICATION IN FORMALIZATION OF ANONYMITY MIX PROTOCOL[J].Computer Applications and Software,2009,26(5). |
| |
| Authors: | Huo Chengyi |
| |
| Affiliation: | Department of Information Engineering;Gansu Industry Polytechnic College;Tianshui 741025;Gansu;China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
