论文部分内容阅读
提出一个基于混合密码体制的抗否认密码协议：可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性；在通常情况下只需通信双方进行3次信息的交互，且保证传递数据的机密性与收发方交易的隐私权；避免了可信第三方可能成为系统瓶颈的问题．最后给出该协议的形式化分析，证明了它的公平性、安全性与可行性．
一种基于混合密码体制的不可否认协议及其形式化分析
【摘 要】
：
提出一个基于混合密码体制的抗否认密码协议：可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性；在通常情况下只需通信双方进行3次信息的交互，且保证传递数据的机
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金 ( 10 2 710 69),,陕西省自然科学基础研究计划项目 ( 2 0 0 2A0 3 )资助
其他文献
以扩展的生产函数作为分析的框架,构建了区域外向型经济发展与增长的分析模型.利用中国25个省市区1981～2000年的GDP及其构成数据、劳动力投入数据、商品出口以及它们的派生数
使用秘密分享的方法来构造多拍卖物的电子拍卖协议,并按照电子拍卖协议应该满足的各种性质对提出的协议进行了分析.相对于适用于单拍卖物的电子拍卖协议,适用于多拍卖物的电
针对不同温度脉冲进口条件对非傅立叶导热问题的影响进行了模拟，数值预示了不同脉冲形式，以及不同脉冲频率产生的不同的非傅立叶导热特征；同时也数值预示了同一种脉冲作用下，热波
以青海湖地区围栏封育20年的高寒草原群落个体植株作为对照，比较研究了紫花针茅、冰草、早熟禾、猪毛蒿四种优良牧草个体和异叶青兰、披针叶黄华、狼毒三种杂毒草个体在放牧压
讨论应用线性和非线性涡粘性湍流模式计算跨声速湍流．用于比较的3个线性湍流模式是Shih和Lumley的κ-ε模式，CMOTY模式和SST模式．2个非线性模式是Shih，Zhu和Lumleyd的二阶模式，以