【摘 要】
：
随着计算机与网络通信技术的高速发展,分布式技术已经深入了我们生活中的很多重要活动,在银行、医院、政府机关和电子商务行业中都得到了广泛应用。Web服务即Web Service是新
论文部分内容阅读
随着计算机与网络通信技术的高速发展,分布式技术已经深入了我们生活中的很多重要活动,在银行、医院、政府机关和电子商务行业中都得到了广泛应用。Web服务即Web Service是新一代分布式计算技术,在Web服务系统中,数据分布于高度异构的网络节点,这些分散的资源通过计算机网络实现信息交换。由于Web服务系统中的各个服务之间并不互相信任,所以无论是将数据与不可信的服务共享或是接受来自不可信服务的数据都有可能造成隐私的泄露。保护各个服务的机密性和完整性是目前Web服务系统最主要的挑战。现有的Web服务系统隐私保护方法主要源自访问控制技术,但是访问控制技术无法提供端到端的安全,即无法控制消息如何传播。而信息流控制方法能够提供端到端的安全。分布式标签模型是一个信息流控制模型,它能够在不完全可信的系统中控制信息流,并且不需要一个权限中心来协调。分布式标签模型允许这些互不信任的主体描述自身的机密性策略和完整性策略。在本文中,我们将分布式标签模型引入Web服务系统,提出一个基于分布式标签模型的Web服务模型LWSM,其允许两个不可信服务间的消息传输而不造成隐私泄露。并且在LWSM的基础上,给出一种解决WS‐BPEL信息流安全问题的静态检查方案。最后本文根据这些研究成果,设计并实现了一个LWSM服务开发工具和一个WS‐BPEL信息流静态检查工具。
其他文献
我国绿色食品行业发展迅速,但在食品行业中所占比例还较小。通过SWOT框架分析,可以看出我国绿色食品行业的优势、劣势、机遇及威胁并存,根据SWOT分析的结果对绿色食品的发展
“学习困难”现象一直是包括学校、教师、家长和“学困生”自己在内感到不解而又无时不想加以解决的问题。遗憾的是,这一问题却广泛存在于各个知识层次学习的过程中,其中,中
随着对微小器件需求的增加和MEMS技术的发展,对微细电火花加工也提出更高的要求,提高微细电火花加工的微细化能力成为不少研究者的追求目标。放电凹坑的大小是决定微细电火花
在信息化战争条件下,防空作战面临高强度、高精度、立体化和全方位空袭的挑战。作为防空作战的重要一环,防空导弹武器系统越来越强调发挥整体作战能力,各能力指标间呈现紧密
正当法律程序是一个老生常谈的课题,它不仅仅是一个具有可操作性的法律使用原则,更重要的应该是一种理念,本文通过研究国内外的审判管理现状,以正当程序视域下的审判管理问题
“十一五”期间我国铁路以“高速重载”为发展方向,加快路网建设和推进铁路装备现代化。为了加快提升我国干线铁路运力装备水平,按照铁道部“引进先进技术、联合设计生产、打
1989年,美国参议院召开有关中国膳食营养调查的听证会,报告了美国康乃尔大学、英国牛津大学和中国预防医学科学院在中国6年的合作研究结果。调查认为:20世纪80年代,中国人各
木质素磺酸盐减水剂原材料采用纸浆废液,生产工艺简单,属于环境友好型产品。由于木质素磺酸盐减水剂基本性质的局限性,限制了木质素磺酸盐减水剂在高性能混凝土中的应用。本
针对航班的离场排序问题,给出了问题的具体描述,建立了相应的离场排序优化模型,在此基础上设计了求解模型的双码自适应遗传算法,给出了相应的实现技术描述和具体的算法步骤,
目的探讨一种大鼠脑组织石蜡切片免疫组化切实可行的技术方案,并得到满意的实验结果。方法改进石蜡切片制作过程,以大鼠海马神经元caspase-3染色为例,按SABC法进行免疫组化染