【摘 要】
：
为提高网上支付系统的安全性，提出一种面向服务架构的松耦合的安全体系。该安全体系利用企业服务总线，灵活集成公钥基础设施、安全令牌、加密、签名、身份认证、角色访问控制等
【机 构】
：
北京航空航天大学计算机学院,北京市网络技术重点实验室
论文部分内容阅读
为提高网上支付系统的安全性，提出一种面向服务架构的松耦合的安全体系。该安全体系利用企业服务总线，灵活集成公钥基础设施、安全令牌、加密、签名、身份认证、角色访问控制等安全服务，增强了网上支付的安全。利用π演算对USBKey双因素认证服务建模，用形式化的方法验证了细粒度安全服务组合成粗粒度安全服务的正确性。经过某商业银行网上支付系统的实践，表明这种基于企业服务总线的Web服务系统，是一种具有安全性和便利性的安全解决方案。
其他文献
[目的]评估医务人员职业紧张水平及其影响因素。[方法]整群随机抽取1200名医务人员,填写工作内容问卷与付出-回报失衡问卷,有效问卷1128份。[结果]被调查医务人员分别以工作
在理论分析的基础上，先后在试验轧机上和现场工业轧机上对四辊热、冷轧机进行了综合测试，对四辊轧机轧辊不同交叉形式以及不同交叉角情况下的轴向力进行了测试分析，获得了轧机的
<正>经典故事往往因其扎实的核心冲突或坚实的精神力量反复登上舞台。对当下观众来说,这些故事的主要情节是观剧前就熟知的,而且以目前艺术载体的多样性和获取的便利性来说,
延安是陕北地区政治、经济、文化和军事中心,也是资源性缺水极其严重的城市。本文运用主成分分析法选取13个指标建立指标体系,得到影响延安水资源承载力的2个主成分,从而对延
2017年,随着新一轮更加激烈的国际产业竞争,我国医药贸易遭遇的贸易摩擦数量明显上升,达到15起。新兴医药市场对我国发起调查呈明显增长态势,案件跟风示范效应明显,高附加值
简述了超大型单栋大棚的丝瓜高效栽培技术,主要介绍了超大型单栋大棚的基本结构和优点,丝瓜品种选择、育苗、定植、田间管理及采收等关键技术;为充分利用土地资源,建议中央过
目前在不断创新的教育制度改革的推动下,我国高等院校获得前所未有的发展机遇。笔者在对中外大学校园空间形态演变进行分析总结的基础上,提出了大学空间形态构成要素及组织类
目的探讨维吾尔族超重/肥胖儿童青少年的血尿酸(SUA)水平与代谢综合征(MS)之间的关系。方法研究对象为维吾尔族儿童青少年超重/肥胖患者(n=173)和体重正常者(n=200)。测量其
针对传统气体检测仪器测量精度低、稳定性差以及可测组分单一等问题,设计出一种用于工业气体分析的多通道在线检测仪。系统部分采用数字式传感器S-Module作为独立的检测模块,
随着我国经济水平的不断发展,企业发展速度越来越快,加强企业管理创新发展是企业深化改革的一项重要任务,在新形势下企业必须要注重企业管理过程中的企业文化建设,将文化建设