基于良基语义的安全策略表达与验证方法

来源 :软件学报 | 被引量 : 0次 | 上传用户:zhongxinghai
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种基于一阶逻辑的安全策略管理框架.首先,研究安全策略的语法和语义,给出将安全策略转换成扩展型逻辑程序的算法,进而构造出安全策略基本查询算法;其次,给出将安全策略复杂查询转换成基本查询的算法,进而构造出安全策略验证算法.在良基语义下,上述算法是可终止的、可靠的和完备的,且计算复杂度都是多项式级的.该框架可以在统一的良基语义下实现安全策略表达、语义查询和验证,保证安全策略验证的有效性.此外,该框架不仅兼容现有主流的安全策略语言,还能够管理具有非单调和递归等高级特性的安全策略.
其他文献
表现性评价是满足新课改要求的一种新的教学评价方式。文章以银川市小学语文教学为例,探讨了表现性评价在小学语文教学中的应用价值,并提出表现性评价的应用程序,旨在将小学
永磁同步电机直接转矩控制(DTC)技术虽然具有控制结构简单、动态响应速度快、依赖参数少、鲁棒性强等优点,但也存在着磁链和转矩脉动大、开关频率不恒定等缺陷。本文以永磁同步电机直接转矩控制为研究对象,将super-twisting滑模控制理论引入到永磁同步电机直接转矩控制中,以降低转矩和磁链脉动、抑制转速超调、提高转速动态响应速度、获取高精度的转子位置和转速信息为目的,对永磁同步电机DTC进行理论和仿
参苓白术散具有益气健脾、渗湿止泻的功效,主治脾虚湿盛证。临床应用于治疗婴幼儿的咳嗽、泄泻、哮喘、厌食、汗证、紫癜等辨证属于肺脾气虚、脾虚湿盛的病症,临床疗效显著。
为了实现对空间碎片探测,提出了一种空间碎片多光谱探测相机光学系统,由可见光相机、长波红外相机、中波红外相机光学系统组成,三个相机共用主、次镜,在三路相机光学系统中同
目的构建E2F-1基因重组过表达慢病毒载体并感染人胃癌SGC-7901细胞,探讨其对细胞增殖、生长和细胞周期的影响及其分子机制。方法将对数期生长的人胃癌SGC-7901细胞接种于培养
在大量实测的城市地物光谱数据的基础上,对3种有代表性的光谱匹配模型,即最小距离、光谱角度匹配(SAM),光谱相似度匹配进行了深入计算和分析,在这3种模型中,以SAM表现程度较
研究背景近年来的研究表明,炎症与多种神经退行性疾病的发生和发展密切相关。小胶质细胞属于脑固有免疫细胞,一旦被激活,通过释放致炎因子和活性氧自由基等分子介导神经炎症
结合文献,从炮制、品种、产地、现代药理、临床应用等方面对白术进行研究。认为白术炮制相对简单,药物资源丰富,现代研究具有多种药理作用,除有补气健脾、燥湿利水、止汗、安
近年来,随着信息技术的飞速发展,人们对于网络上各种不同类型服务比如文本、音频、图像、视频等需求也在日益增多,互联网已经成了人们日常生活中不可缺少的重要组成部分。然而,由于网络本身存在的一些漏洞和监管不善,互联网中的信息安全问题频发,网络传输中的一些机密、敏感信息经常被泄露和非法盗取。此外,随着用户和服务类型的不断丰富以及不同业务系统之间的互通,附加在用户身上的维度属性信息也在不断增多,导致传统的服