论文部分内容阅读
本文提出了一种新的有穷自动机理论，分析在电子商务的实际应用中交易协议是否满足支付过程中的公平性。文章证明了ISI支付协议不满足公平性并提出了具体的修改方法。
基于有穷自动机模型的电子商务协议的公平性分析
【摘 要】
：
本文提出了一种新的有穷自动机理论，分析在电子商务的实际应用中交易协议是否满足支付过程中的公平性。文章证明了ISI支付协议不满足公平性并提出了具体的修改方法。
【机 构】
：
贵州工业大学网络技术研究所,中国贵阳,550003武汉大学计算机学院,中国武汉,430072
【出 处】
：
第八届中国密码学学术会议
【发表日期】
：
2004年3期
其他文献
食品乳化剂聚甘油脂肪酸醋通过改进生产工艺，提高产品质量，使其应用领域不断拓宽。目前可以专业生产二聚、三聚、四聚、五聚、六聚、八聚、和十聚甘油的各种脂肪酸醋及以此为主
本文提出了一个安全的门限秘密共享方案。该方案能够发现参与者中是否有欺诈者存在，是一个完备的秘密共享方案，信息率为1/2，满足渐近最优性，欺诈成功的概率不超过1/q(q为大素数)，
叙述了食品烟熏法的缺点和液熏法的优点，提出了烟熏调味品新概念，将烟熏液及其衍生产品统称为烟熏调味品，提供烟熏香味，这对烟熏食品的发展和普及，具有重要意义。
匿名性是信息隐藏的一个重要方面，目前还没有一个准确的数学模型来刻画匿名性，与匿名性相关的研究主要集中在系统节点数N与估算各个节点是发送方的概率，这难以衡量整个系统的匿
本文提出一种基于Petri网的分组密码体制。基本思路是通过Petri网的运行、整数的素因子分解和合成、整数及非负整数向量的排序等确定一个2k元置换，从而实现k位分组密码。这个
密码系统的安全性完全取决于密钥的保密性，安全性高的密码系统应该尽量降低因密钥泄露所造成的损失。
本文概括分析了签名系统中处理密钥泄露问题的相关技术，并基于大整数
本文讨论了关于热流密码体制的一些理论和实际应用问题。首先证明了热流密码体制非线性模型的加、解密问题都是适定的，为进行加、解密模拟提供了理论依据；然后通过将连续信号、
Java大整数类BigInteger是Java安全类库的基础，其中的素数测试方法是基于美国国家标准ANSI中的素数测试标准ANSI X9.80设计的，文献[1]指出它在进行概率素数测试时有Bug;本文分