【摘 要】
:
针对动态安全策略在策略表达、判决和验证等方面具有的重要意义,提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML.首先,给出了SSML逻辑系统的语法和语义,并且证明了
【机 构】
:
中国科学院计算技术研究所信息智能与信息安全研究中心,解放军信息工程大学电子技术学院
【基金项目】
:
国家自然科学基金项目(61070186,61100181),国家“九七三”重点基础研究发展计划前期研究专项(2011CB311801),河南省科技创新人才计划支持项目(114200510001)
论文部分内容阅读
针对动态安全策略在策略表达、判决和验证等方面具有的重要意义,提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML.首先,给出了SSML逻辑系统的语法和语义,并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的,从而表明不存在通用的SSML安全策略语义查询评估算法.其次,研究SSML子语言特性,发现两类语法受限的SSML动态安全策略——NDel型安全策略和TDPZ型安全策略.虽然前者不允许在安全策略中出现删除规则,后者只允许完全信任的管理人员执行删除规则,但它们的查询评估问题是可判定的,
其他文献
主要介绍利用Excel数据库管理及宏语言建立控制点数据库查询系统以及数据库查询的使用方法
粮食作物产量受很多因素的影响,种植方法、育苗方法、田间管理、施肥技术等等都会对作物产量产生较大影响,其中种植方法是影响产量的一个重要因素。本文主要对玉米种植过程中
利用具有保护边缘的中值滤波消除图像的噪声 ,再用二阶微分算子 ( Laplace算子 )提取图像边缘点 ,后经 Hough变换 ,准确地检测出建筑物的平行直线。
道真县春季种植青梗松花椰菜,选择青梗松花80,于3月14日播种,种植密度栽31333.5株/hm2,施肥量为45000kg/hm2腐熟优质农家肥加氮磷钾复混肥(N-P2O5-K2O:15-15-15)1500kg、硫酸钾
紫花苜蓿属豆科植物,粗蛋白含量高、适应性强、抗逆性强、适口性好、高产量等特点深受养殖户的大面积推广种植,然而,有些地区种植户对苜蓿栽培技术要点不是很了解,栽种后产量和品
ArcInfo具有强大的GIS功能 ,但对于不同行业来说 ,希望增加一些功能以满足各自的特殊需求。在ArcInfo 8基础上 ,采用VisualC+ + 6.0语言 ,利用COM技术 ,VBA ,ArcInfo二次开发工具ArcObjects,增加测量数据计算 ,专题图符号和图廓设计等功能 ,可为ArcInfo 8的二次开发提供参考
本文对适宜在平塘县种植的优质高产牧草产品多年生黑麦草、苇状羊茅、白三叶、红三叶、多花黑麦草、鸭茅、甜高粱、皇竹草等的种植技术做了相对详细的说明,为种植户的种植产
汇源大厦主体位于湘江大道改扩建工程拆迁范围之内 ,其托换工程影响巨大 ,由立柱拆除引起的沉降监测是托换工程实施的重要保障。结合对托换梁、柱的结构受力分析 ,分 3层布设点监测 ,及时反馈了梁柱变形动态 ,指导拆除及托换工程进程 ,保证了工程的顺利进行
描述了同时用 GPS技术和边角网方法对一个监控网实施的多次重复观测。结果表明 ,该监控网中各点的相对位置在观测期间并未发生变化。以此为前提重点分析了 GPS网的平面位置和大地高的精度 ,并与边角网进行了比较。并以 GPS弦距与测距仪弦距进行直接比较以验证 GPS的观测质量
1998年人民银行管理体制改革,在总结过去经验教训,借鉴国内有关部门和国外一些中央银行内部管理经验的基础上,针对人民银行内部管理中存在的薄弱环节,设立了内审部门.这是人