文档介绍：摘要
普适计算环境下基于代理服务的信任计算
计算机技术的高速发展必然引领与之相应的计算方式的革新。目前，计算机
已在桌面计算这一计算方式上发展了几十年，普适计算正日渐兴起。
普适计算模式扩展了计算边界，人们能够随时随地的获得透明的服务，计算
机将从人们的视线中消失，物理空间和信息空间融为一体，人们的注意力只需集
中在所要完成的任务上。普适计算方式下环境变得不可见，这种计算方式在给人
们带来方便的同时，也使人们无法控制计算方式和资源流向。普适计算环境在这
方面给传统的安全机制提出了艰巨的挑战，传统的安全认证方式不能直接应用于
普适环境，随着普适计算研究的深入，安全问题也成为一个亟待解决的重要问题。
在国内外有许多研究人员致力于从各方面解决这个问题。从信任和认证的角
度来讲，有针对已经成熟的传统安全认证方式的改进方案，也有利用较新的动态
信任管理模型来解决普适计算的动态性问题。传统的安全认证已经经过实践检
验，技术成熟，但只有是或否的二元结果，应用起来不够灵活。而动态信任管理
模型能够满足普适环境的需求，但还没有成熟的相关建模和评价标准。
本文采用传统的安全认证技术和信任管理模型相结合的方式，在普适环境的
访问实体和服务实体之间引入了代理实体，提出了本文的普适计算环境下基于代
理服务的信任计算模型。模型中代理实体的作用是完成对不同类用户选择不同的
认证方式，同时为用户请求的服务选择服务实体这样的功能。
本文提出了普适环境下基于代理服务的信任计算模型整体框架，根据框架的
需求，提出了认证协议和动态信任模型，并对安全协议进行了形式化分析，对信
任模型进行了仿真实现。在协议的设计中，通过改进 Otway-Rees 三方认证的密
钥交换协议来实现认证。利用认证测试方法证明了协议能够满足认证要求和保密
性需求。在信任模型仿真中，本文将应用于开放式环境中的信任管理模型 PTM 模
型进行改进，并通过代理实体增加了对服务实体的信任管理，最后用 netlogo 对
模型进行仿真，结果表明，与原 PTM 模型和非代理模型相比，本文提出的信任模
型在交互成功率上有一定提高。

关键词：
普适计算，认证，协议，信任计算

I
Abstract
Trust Computation Based On Agent Service
In Pervasive Computing environment
The rapid development of computing technology leads the corresponding
innovation of computing method. At present, the computing technology has been in
desktop computing for several decades, and pervasive computing technology is
becoming the development direction of future computing.
Pervasive computing extends the boundary of computing. People can access
transparently services at anytime and anywhere. The computer itself will disappear
from people’s sight, and physical space and information space will emerge into a
whole one. People will just focus on the tasks to be completed. In the case of
pervasive computing, environment will be invisible. This kind of mode brings