【摘 要】
：
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安
【机 构】
：
南京理工大学计算机科学与工程学院,OxfordBrookes大学工程、计算和数学学院
【基金项目】
：
国家自然科学基金(61502233,61402229),江苏高校“青蓝工程”,中央高校基本科研业务费专项资金(30916011328),欧盟移动云计算FP7项目MONICA(PIRSES-GA-2011-295222)
论文部分内容阅读
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后
其他文献
在我国东部高潜水位地区,长期的地下煤炭开采造成地表形成大面积的沉陷水域,受周围人类活动的影响,沉陷水域水环境污染风险逐渐增大。以淮南潘集采煤沉陷水域为研究对象,根据
【正】 各区、县人民政府,市政府有关委、办、局,有关市属机构:建立国家土地督察制度,是落实科学发展观、加强和改善宏观调控的重大举措,是实行最严格土地管理制度的重要内容
目的探讨口服阿奇霉素治疗小儿呼吸道感染的疗效.方法将2001年6月～2002年6月我院门诊年龄1～14岁的呼吸道感染患儿150例.给予阿奇霉素口服,每日10～15mg/(kg·d),每日1次口服,
论述了采用冷挤压工艺代替传统的切削加工生产直齿圆柱齿轮的优点，并且对直齿圆柱齿轮零件进行了冷挤压工艺过程分析，拟制了新的工艺方案，对模具结构进行了合理的设计，提高了金属
本文利用传统的摆线轮方程推出了各种摆线轮齿形修正方程,并使之同利用转化轮系得到的摆线轮方程进行了对比。同时又对二齿差摆线轮方程的建立进行了论述。
【正】京政办发[2008]47号各区、县人民政府,市政府各委、办、局,各市属机构:市老龄工作委员会办公室《关于加强老年人优待工作的办法》已经市政府同意,现转发给你们,请认真
CCSDS 123.0-B-1算法是空间数据系统咨询委员会为多/高光谱图像提出的自适应三维预测无损压缩标准,针对CCSDS 123.0-B-1算法中存在的未充分利用像素位置信息及谱间相关性、压缩率有待提高的问题,对该算法的预测器进行了优化,提出了RMPR算法。RMPR算法根据当前像元具体位置对预测点进行自适应选择,采用双向线性预测去除高光谱图像的谱间相关性,并使用优化的残差映射器提高预测精度、缩短
渗流场是反映地下水位与运移时空动态特征的有效形式,水位红线是对地下水开采严格管控的重要指标。从地下水渗流的流线绘制、流速计算、流场种子点与终止点选择、流线追踪4个
第一条为了实施《北京经济技术开发区条例》(以下简称《条例》),加快北京经济技术开发区的建设和发展,制定本办法。第二条本办法适用于国务院批准的北京经济技术开发区(以下
土地作为生产和生活的载体,因其 自然和社会属性成为经济增长和社会进步的支撑和支持条件,土地整理对土地资源的合理配置和可持续利用有重要意义。本文从土地整理的现状和存