【作者】 姬东耀；

【导师】 王育民；

【作者基本信息】 西安电子科技大学 ， 密码学， 2001， 博士

【摘要】 随着因特网技术的发展，许多传统的信息服务现在可以通过联机方式得到，因特网上出现了许多新的信息服务项目，而且人们还在不断构想新的服务方式。但是，大多数信息服务只有在提供者的劳动得到补偿的情况下才能实现。通过远程登录从一个远方的信息系统中获取一个版权保护的信息在技术上已经实现，因此，缺乏安全高效的支付协议成为因特网发展的一个瓶颈。随着网上有价值的信息产品与服务不断增多，如何保障网上信息商品安全的生产、分配和管理成了我们必须面对的一个课题。信息安全和小额电子支付协议在网上信息商品交易中起着十分重要的作用，设计各种环境下的信息安全与小额电子支付协议，并对其安全性进行形式化验证具有很高的理论价值和实际意义。本文从设计和分析两个方面对信息安全与小额电子支付协议进行了研究，所取得的主要研究结果如下： (1) 在分析现有小额支付协议的基础上，提出了小额支付协议的设计原则。 (2) 在克服一种小额电子支付协议的缺陷的基础上，提出一种新的小额电子支付协议，并对其安全性与效率进行了比较与分析。 (3) 研究了信息安全与小额支付协议的分析方法，引进一些新的公式与规则对AUTLOG逻辑进行扩充，并用扩展后的逻辑分析与证明文中协议。 (4) 研究了把小额电子支付协议结合在认证协议中的方法，提出了一种适用于移动计算网络环境的认证与小领支付协议，并用扩展的AUTLOG逻辑分析与证明这一协议。 (5) 作为小额支付协议的应用，提出了一种公平有效的网上视频服务即付即看协议，并用扩展的AUTLOG逻辑分析与证明这一协议。 (6) 设计了一种适于网上信息产品大规模拍卖的分布式安全电子拍卖协议。 (7) 研究了因特网上信息保护的访问控制方法，提出了一种认证与访问控制相结合的新方案。 (8) 针对多级安全系统中的信息保护需求，提出了一种基于密钥分配的访问控制新方案。更多还原

【Abstract】 With the development of the Internet, many conventional services have now on-lineversion and many new services are envisioned. But most of the services will be realizedonly if providers can be compensated for their efforts. Access to material protected bycopyright in remote information systems is technologically feasible. Thus, lacking secureand efficient payment protocol become a bottleneck for the development of the Internet.With the increasing of the value-added information services on the Internet, we mustcreate mechanisms to secure the generation, storage, distribution, and management of theinformation goods. Information security and Micropayment protocol play a key role inthe transaction of information goods on the Internet. So. the study of how to design suchprotocols in various environments and verify their securities using appropriate formalmethods has a significant theoretical value and practical applications. The two aspects ofdesigning and analyzing of Information security and Micropayment protocol are studiedand main research results are as follows:1..Arialvze and summarize the existing Micropayment protocols on Internet, andpropose nine crireria for designing Micro payment protocols.2.A new Micropayment protocol for the selling and buying of low-valueinformation goods on Internet is presented based on Payword.3.Some new formulaes and rules for extending the AUTLOO logic are introduced,then. the extended AUTLOG logic is used to analyze the protocol in the papaer and provetheir correctness.4.An efficient protocol for mutual authentication and Micropayment for mobilecomputing network is proposed. Its formal analysis is presented using the extendedAUTLOG logic.5.A pay-per view service model for web-based video service is proposed. On thebasis of this model. a set of fair and efficient pay-per view protocols for web-based videoservice is presented.6.A new distributed secure electronic auction protocol suitable for the auction ofinformation goods over the Internet is proposed.7.An access control scheme with user authentication is proposed.8. A dynamic access control scheme in multilevel security system is presented.更多还原