【摘 要】
：
安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特点,而现有的授权语言不能很好地适应这一特点,并不能对
【基金项目】
：
澳门科学技术发展基金（013/2010/A）,中国博士后科学基金（20100480806）资助
论文部分内容阅读
安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特点,而现有的授权语言不能很好地适应这一特点,并不能对多种访问控制策略提供足够的支持。提出了一种基于属性和主体、操作和客体分层描述的逻辑授权语言（SOOSAL）。SOOSAL以一阶逻辑为基础,通过谓词对主体、客体和操作进行刻画,并以分层的方式通过规则对主体、操作和客体之间的关系进行描述。此外,SOOSAL从逻辑语义世界假设的角度对现实世界中的策略进行了分类：封闭性世界策略和开放性世界策略,并对这两
其他文献
自20世纪三四十年代至今,中国学术界对赛珍珠及其作品的态度和评价发生了多次转变。通过对中国知网(CNKI)相关数据的分析,可较好地把握半个世纪以来中国学术界对赛珍珠及其作
隐马尔科夫模型[1]作为一种统计分析模型,能够通过观测向量序列计算其隐含状态的概率分布密度。提出一种智能空间中基于HMM的场景识别方法,该方法指定系统相关情境信息,确定
摘 要：本文从IPV6的作用出发即解决IPV4地址枯竭问题，讲述了基于IPV6的两种动态路由协议RIPng和OSPFV3，结合思科的网络模拟软件Packet Tracer完成三个教学实例，在设备有限的条件下达到了良好的教学效果，同时为今后的教学实例提出一些新的思路。 关键词：IPV6动态路由； Packet Tracer 中图分类号：TP391.9 文献标识码：A 文章编号：1006-3315
目的探讨白藜芦醇(resveratrol,Res)对H2O2处理的类风湿性关节炎成纤维样滑膜细胞(rheumatoid arthritis fibroblast-like synoviocytes,RA-FLS)影响及自噬相关蛋白的表达。
近年来,随着人们环保意识的增强和环保法规力度的加大,逆向物流逐渐受到人们的关注与重视。废弃物处理站的选址问题（end-of-life items disposal facilities’location proble
构皮滩发电厂10 kV开关柜内三相组合式过电压保护器主要作用是防止10 kV系统产生过电压对电气设备绝缘的破坏。自该厂2009年投运以来,三相组合式过电压保护器未开展任何维护
从业务逻辑的一般性变更与演化需求出发,研究了服务组合中服务集合不变条件下的服务演化行为,提出了组合服务的合理演化行为集SEBS（Sound Evolution Behavior Set）,定义了一组
近日，保监会寿险部召集六险企的闭门会议，讨论了《关于召开人身险网销业务监管制度起草工作启动会的通知》。据有关人士透露，参加会议的6家公司包括太保寿险、平安人寿、泰康人
超节点网络采用超节点作为普通节点服务器,负责管理和查询处理的机制,提高了搜索效率。但是,如果超节点失效,将会严重影响网络的稳定性和查询效率。提出一种高效的容错机制。
随着信息与网络技术的不断发展,＂网络空间＂已成为传统的陆、海、空、天等领域之外的＂第五空间＂,是国家主权延伸的新疆域,其重要性和战略地位日趋明显。信息与网络的安全问题,影响