考虑位置失效的移动系统安全模型

Security Model for Mobile Systems with Location Failures

下载PDF

导出

摘要以带位置扩展的移动进程π演算模型为形式化工具,在考虑位置失效的基础上,将移动系统的安全性质转换为系统进程在给定计算环境中的位置互模拟关系,提出了考虑位置失效的一种新安全模型。针对实际安全需求,该模型可以方便地描述不同的非干扰安全性质;该模型提供了一个统一的安全分析架构,可广泛用于移动计算系统的安全性分析。 This paper gives an extended IT calculus with localities, and establishes a model for enforcing security properties analyzing in mobile systems. In this model, various noninterference security properties can be easily encoded and evaluated. Moreover, the method proposed a uniform security framework for mobile distributed systems.

作者余万涛胡光锐

机构地区上海交通大学电子信息学院

出处《计算机应用研究》 CSCD 北大核心 2006年第10期128-129,132,共3页 Application Research of Computers

基金国防武器预研项目(417010602-2)

关键词安全模型 Π演算不干扰安全性质位置 Security Model IT Calculus Noninterference Location

分类号 TP393.08 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

参考文献10

1Goguen J A,Meseguer J.Security Policies and Security Models[C].Proceedings of IEEE Symposium on Research in Security and Privacy,IEEE,1982.11-20.
2Denning D,Denning P.Certification of Programs for Secure Information Flow[J].Communication of ACM,ACM,1997,20(7):504-513.
3Andrei Sabelfeld,Andrew C Myers.Language-based Information-Flow Security[J].IEEE Journal on Selected Areas in Communications,2003,21(1):5-19.
4Forcadi R,Gorrieri R.A Classification of Security Properties for Process Algebra[J].Journal of Computer Security,1995,3(1):5-33.
5Ryan P Y,Schneider S A.Process Algebra and Non-interference[C].Proc.of IEEE Computer Security Foundations Workshop,1999.214-227.
6Honda K,Vasconcelos V,et al.Secure Information Flow as Typed Process Behavior[C].ESOP'00,LNCS 1782,2000.180-199.
7Francois Pottier.A Simple View of Type-secure Information Flow in the π Calculus[C].Cape Breton,Nova Scotia:Proc.of the 15th IEEE Computer Security Foundations Workshop,2002.320-330.
8Roberto M Amadio,Sanjiva Prasad.Localities and Failures[C].FST-TCS,volume 880 of LNCS,1994.
9Riely J,et al.Distributed Processes and Location Failures[C].Theo-retical Computer Science Archive,2001,266(1-2):693-735.
10Sangiorgi D,Walkker D.A Theory of Mobile Processes[M].Cambridge University Press,2001.

1黄贤明,李长云,梁爱南.基于π演算的工作流建模方法研究[J].湖南工业大学学报,2009,23(4):45-48.
2王志勃,毕艳茹.基于分布式架构的煤矿企业日志数据分析设计与实现[J].煤炭技术,2014,33(3):275-277.
3通信短波[J].中国电子商情（通信市场）,2012(5):18-20.
4金晶,孙东来,陈秀真.基于攻击图及蚁群算法的安全评估[J].信息安全与通信保密,2009,31(4):79-81. 被引量：9
5周宇光.视频智能大数据分析架构[J].中国多媒体通信,2014(7):24-25. 被引量：2
6孙梁.如何建立可支撑组织目标实现的测量分析架构[J].质量春秋,2015,0(5):36-40.
7王伟.保证服务质量下的自动化存储管理[J].科技信息,2009(27):61-61.
8Teradata分析架构服务整合所有类型的数据[J].电信技术,2012(11):77-77.
9王中生,马明吉,李峰.基于IDA技术的Honeynet日志挖掘研究[J].科学技术与工程,2009,9(20):6067-6071.
10冷家锋,张晓春,陈中育.基于Pi演算的软件过程形式化描述[J].计算机与现代化,2007(10):83-85.

计算机应用研究

2006年第10期

浏览历史

内容加载中请稍等...

考虑位置失效的移动系统安全模型

参考文献10

相关作者

相关机构

相关主题

浏览历史