普适计算的安全检测模型.pdf

第27卷 第7期 计算机工程与设计 21306年4月 V01．27 NO．7 ComputerEngineeringandDesign Apr．2006 普适计算的安全检测模型 陶 莉， 郭承霞， 曹奇英 (东华大学计算机科学与技术学院，上海200051) 摘 要：普适计算 自20世纪90年代提 出以来，已经成为极具活力和影响力的研究领域之一，它的安全性 问题更是受到 了研 究人员极大的关注。首先概括介绍 了普适计算安全检测领域常用的几种方法和模型，以及它们存在的问题和不足之处；然 后提出了一种新的综合检测模型，并详细阐述了它的实现方法和特点 关键词：普适计算；构件；构件组合；信息流；安全检测 中图法分类号：TP309．2 文献标识码：A 文章编号：1000—7024(2006)07-1151—04 Securitydetectivemodelofubiquitouscomputing TAOLi，GUOCheng-xia， CAOQi-ying (CollegeofComputerScienceandTechnology,DonghuaUniversity,Shanghai200051，China) Abstract：Ubiquitouscomputinghasbecomeoneofthemostattractivedomainssinceithasbeendefinedin1990．Thesecurityof itisattractedmoreattention．Firstly,somemethodsofthesecuriytdetectioninubiquitouscomputingandtheirexistingproblemsare introduced．Thenanewomnibussecuriyt detectivemodelispresented．Themethodoftherealizationnaditschraacteristicraede— monstratedindetail． Keywords：ubiquitouscomputing；component；componentcomposition；informationflow；securiytdetect 近几年来研究人员在普适计算的安全性方面进行了大量尝试， 0 引 言 他们将网络安全和软件测试中的一些理论和方法应用到了这 1991年MarkWeiser在 “TheComputerforthe21stCentury”… 个领域。其中，McLeanJ在 1996年提出的基于信息流检测的 中提出了普适计算的思想，强调把计算机嵌入到人们 日常生活 方法脚，1999年WingJM等提出的直接语句分析的方法 ，2000 和工作环境中，使用户能方便地访问信息和得到计算服务。他 年PfitzmnanB和WaidnerM提出的基于加密协议的模型 “， 的思想在2O世纪9O年代后期开始在国际上得到广泛关注和 同年SewellP和 VitekJ提出的基于Wrapper技术的模型 … 接受 ，越来越多的人员投入了这方面的研究。 等，对普适计算安全检测的发展起到了重要的作用。2004年 普适计算是信息空间与物理空问的融合，在这个融合的 DavidLlewellyn—Jones等又提出了普适计算环境下一种构件 空间中人们可以随时随地、透明地获得数字化的服务。其中 组合的安全模型 “。下面将简要介绍这些模型，并且提出新 “随时随地”是指人们可以在工作和生活的任何现场获得服 的解决方案 。 务，而不用离开现场端坐在计算机前。“透明”是指获得这种