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

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:dai818wei
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自DavidChaum在1981年提出了一个经过多个混淆器(Mix)的数据转发技术以来,匿名技术的研究得到了迅速的发展。研究为进行匿名混淆协议形式化描述而进行的CSP扩展问题,向CSP中引入了混淆操作的概念,提出了匿名混淆导管算子“+〉〉”,该算子能够较好地描述匿名Mix混淆协议,最后给出了Mix混淆协议的CSP描述。
其他文献
总结了糖尿病溃疡患者应用富血小板血浆的临床疗效和护理方法。通过回顾本科2013年5月~2014年5月收治的20例2型糖尿病溃疡患者,观测其患肢疼痛麻木症状改善、皮肤色素沉着减
现代还乡母题小说的故乡想象密切联系着我们这个后现代化国家文化转型的选择性焦虑,隐含着现代知识分子的“现代性寓意”。激进的“现代化”立场和保守的“反现代化”立场,都
<正>魏晋风规恨不传,唯从《阁本》觅真原。凭谁一问解"胡说",弃祖推宗崇《大观》?《淳化阁帖》俗称《阁帖》,宋太宗敕翰林侍书
宗藩体制是传统社会以中国为中心的东亚世界里的一项重要的政治制度,但它却包含着经济、文化方面的内容,其中朝贡贸易就是其中的代表。本文从经济角度出发,对康乾盛世下中琉
《偷甲记》一名《雁翎甲》,作者是明清之际的戏曲家范希哲,它是明清之际广为传播的一部水浒戏,是众多水浒戏中的代表作品。它歌颂了英雄豪杰们的豪杰之气和斗争精神,反映了当时人
以“八荣八耻”为主要内容的社会主义荣辱观,澄清了社会生活中模糊的价值观念,明确了我国经济社会发展中的主流价值导向;抓住了公民道德建设中的核心问题;从树立正确的荣辱观
通过对南宁市水利普查经济社会净用水量、毛用水量和各行业用水量成果的分析,结合南宁市经济社会的现状,总结出南宁市用水量的特点,并根据南宁市用水特点和存在的问题,提出了
本文针对书法课很容易被学生看成写写字而已、单调乏味这一特点,从备活、导活、授活、辅活四个方面论述上活书法课的技法。
虽然近些年有关美德伦理学的研究已经逐渐为国内伦理学界所关注,但从总体来看,国内美德伦理学的当代研究仍处在复苏初期。考虑到美德伦理学曾经长期是以儒家伦理学为主体的中
以木蝴蝶为试材,采用4因子3水平设计,以幼苗株高、茎粗、主根长、主根粗、子叶长、子叶宽、地上部鲜质量、地下部鲜质量、地上部干质量和地下部干质量10个形态指标和根系活力