CSP的扩展及其在匿名混淆协议形式化中的应用

• 作者: 霍成义
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 通信顺序进程 匿名 混淆协议 形式化描述
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 信息技术与交流
• 页码范围: 275-277,284
• 页数: 4页
• 分类号: TP3
• 字数: 2858字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.05.091

摘要

自David Chaum在1981年提出了一个经过多个混淆器(Mix)的数据转发技术以来,匿名技术的研究得到了迅速的发展.研究为进行匿名混淆协议形式化描述而进行的CSP 扩展问题,向CSP 中引入了混淆操作的概念,提出了匿名混淆导管算子"⊕>>",该算子能够较好地描述匿名Mix混淆协议,最后给出了Mix混淆协议的CSP 描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	霍成义	甘肃工业职业技术学院信息工程系	24	78	4.0	7.0