论文部分内容阅读
对访问控制的评测是信息系统和产品安全评估中的一项重要内容。该文从安全标准中对访问控制的需求出发，研究了访问控制的自动测试方法，扩展了GFAC测试接口，并且使用该方法实现了在Linux＋RSBAC的环境下对自主访问控制的自动测试。
访问控制的验证测试方法研究
【摘 要】
：
对访问控制的评测是信息系统和产品安全评估中的一项重要内容。该文从安全标准中对访问控制的需求出发，研究了访问控制的自动测试方法，扩展了GFAC测试接口，并且使用该方法实现了
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
【出 处】
：
计算机工程
【发表日期】
：
2007年1期
【基金项目】
：
国家自然科学基金资助项目（60473053）,国家“863”计划基金资助项目（2004AA147070）,江苏省自然科学基金资助项目（BK2005074）
其他文献
近年来,随着国家财政科研投入的大幅增加,制约科技进步的突出现象和问题已经不再是科研经费缺乏,而是变为诸如项目重立项、轻研究,为结题而杜撰,立项结题两头热,研究过程中间
传统的播音主持教学有很多不足:如教学内容陈旧、教学方法单一、教学平台不丰富、教学与单位需求严重脱节等。融媒体背景下, 应创新播音主持教学路径,转变教学思维,创新教学
目的:制备、鉴定抗弓形虫伴侣蛋白60(TgCpn60)特异性多克隆抗体。方法:以弓形虫RH株cDNA为模板,PCR扩增编码TgCpn60的C末端168个氨基酸(TgCpn60C168AA)的507 bp序列片段,构建
提出一种H.264去块滤波系统的优化设计方法。通过合理设计流水线级数提高并行性,适当增加内部SRAM来提高系统速度和总线利用率,使用一种层次化的有限状态机设计方法,实现对数
关系对象映射框架为消除对象和关系数据库之间的阻抗提供了有效的解决方案，目前虽有很多优秀的ORM框架已得到广泛的应用，但ORM的一些固有缺陷，如繁琐的配置文件和关联域模型、过
随着GML规范的不断完善及GIS软件厂商的广泛支持,GML已经成为事实上的空间数据编码、传输、存储、发布的国际标准,越来越多的空间数据开始以GML格式存储。如何有效地存储管理GML空间数据,已经成为GIS研究的热点问题。结合XML文档编码和传统的空间数据索引,对GML空间数据的索引进行了深入的研究,提出了基于空间索引的GML一体化索引机制以及相应的查询处理策略与相关算法,并以R树索引为例,对一体化
2013年3月18日，由呼和浩特众环集团和温岭华驰机械有限公司共同注资成立的众环集团国家重大专项数控刀库ATC系统产业基地暨温岭浩驰科技有限公司成立启动仪式隆重举行。这是中
JD36—400闭式单动双点机械压力机,离合器传动系统出现故障,离合器轴右端支承座14个M10紧固螺钉经常发生松动。经过现场诊断分析,找出引起离合器轴承座振动的直接原因,并对离
姬东耀等改进了微支付（NMP）方案PayWord,提出了具有较好安全性和公平性的NMP方案。该文在此基础上,给出一种基于自更新哈希链机制的微支付方案。新方案不仅有效解决了恶意透支
写意风景油画经历启蒙、发展、创新,已逐渐找到自身定位。写意风景油画,是一种用笔不苛求工细只注重意境的表现手法和抒发作者思想情趣的一种绘画形式,是一种形简而意丰的绘