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

EXTENSION OF CSP AND ITS APPLICATION IN FORMALIZATION OF ANONYMITY MIX PROTOCOL

作　　者：霍成义[1] 

机构地区：[1]甘肃工业职业技术学院信息工程系,甘肃天水741025

出　　处：《计算机应用与软件》2009年第5期275-277,284,共4页Computer Applications and Software

基　　金：甘肃国防科工委(办)科研项目(Gb2007-3)

摘　　要：自DavidChaum在1981年提出了一个经过多个混淆器(Mix)的数据转发技术以来,匿名技术的研究得到了迅速的发展。研究为进行匿名混淆协议形式化描述而进行的CSP扩展问题,向CSP中引入了混淆操作的概念,提出了匿名混淆导管算子"┃>>",该算子能够较好地描述匿名Mix混淆协议,最后给出了Mix混淆协议的CSP描述。Since David Chaum put forward a data forwarding technology which passes through many Mixes in 1981, the study of anonymity got a quick development. In this paper the issue of expanding CSP for formalized description of anonymity mix protocols is studied. The paper introduces a concept of mix operation, and then puts forward anonymity mix pipe operator ＂＋ 〉〉 ＂ , which can describe anonymous Mix protocols well. At last, the formalized description of anonymous Mix protocol is given.

关 键 词：通信顺序进程 匿名 混淆协议 形式化描述 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TF777.7[自动化与计算机技术—计算机科学与技术]