期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一个改进的可动态调节的机密性策略模型
被引量：
33
1
作者
季庆光
卿斯汉
贺也平
《软件学报》
EI
CSCD
北大核心
2004年第10期1547-1557,共11页
试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用级的原子操作需要伴随的附加量的操作和存储减少,提高模型在系统中的实用性.通过把当前安全级变成敏感标...
试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用级的原子操作需要伴随的附加量的操作和存储减少,提高模型在系统中的实用性.通过把当前安全级变成敏感标签范围而增加模型在系统实现中的灵活性,能有效控制IPC对象.为此,把Amon ott动态地调整当前敏感标签的规则推广为动态地调整敏感标签范围的规则,这把Bell为处理网络情况而把主体的当前安全级变成敏感标签范围的工作与Amon ott的工作有机地结合起来,同时,参考实际中使用的系统GEMSOS和DG/UX及安全原型微内核系统Fluke,引入了单级实体、多级实体以及专用于进程的访问模式,并给出了它们应满足的不变量及限制性条件.另外,在参考原型系统TMach对IPC对象的某些处理方式的基础上,提出了使动态特征非常明显的IPC对象得到合理、有效管理的机制,同时还分析了ABLP实施方法中存在的一些不当之处.提出了一个新的机密性策略模型DBLP的模型不变量,限制性条件及变量类型和常量,并分析了一些限制性条件的合理性,它可以有效应用于系统设计.
展开更多
关键词
机密性策略
形式模型
安全级范围
多级
实体
IPC对象
下载PDF
职称材料
自然资源综合化“一查”体系构建技术研究
2
作者
马克委
王胜利
+4 位作者
朱益虎
罗方权
王云凯
闫昶
李安民
《地理空间信息》
2024年第4期76-79,共4页
长期以来,受自然资源调查监测实施部门分散的影响,自然资源调查业务中概念不统一、内容有交叉、指标相矛盾等问题比较突出,尚未形成统一的技术标准和方法,且成果难以共享。针对江苏省自然资源调查监测工作推进和业务管理的实际需求,以...
长期以来,受自然资源调查监测实施部门分散的影响,自然资源调查业务中概念不统一、内容有交叉、指标相矛盾等问题比较突出,尚未形成统一的技术标准和方法,且成果难以共享。针对江苏省自然资源调查监测工作推进和业务管理的实际需求,以自然资源综合调查监测国家试点项目为依托,按照“一查”试点的工作任务与要求,开展了调查标准体系构建与技术方法研究。完成了表达资源禀赋与利用的自然资源分类标准、指标体系和数据库标准的制定,提出了“一底两分多码”的自然资源多级实体定界与多重属性表达方法,构建了服务“多用”的“一查”技术体系,能够为自然资源调查和“两统一”管理、国土空间规划编制等业务提供支撑和依据。
展开更多
关键词
自然资源调查监测
体系构建
多级
实体
定界
多重属性表达
实践方法优化
下载PDF
职称材料
题名
一个改进的可动态调节的机密性策略模型
被引量：
33
1
作者
季庆光
卿斯汉
贺也平
机构
中国科学院软件研究所
出处
《软件学报》
EI
CSCD
北大核心
2004年第10期1547-1557,共11页
基金
国家自然科学基金
国家重点基础研究发展规划(973)~~
文摘
试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用级的原子操作需要伴随的附加量的操作和存储减少,提高模型在系统中的实用性.通过把当前安全级变成敏感标签范围而增加模型在系统实现中的灵活性,能有效控制IPC对象.为此,把Amon ott动态地调整当前敏感标签的规则推广为动态地调整敏感标签范围的规则,这把Bell为处理网络情况而把主体的当前安全级变成敏感标签范围的工作与Amon ott的工作有机地结合起来,同时,参考实际中使用的系统GEMSOS和DG/UX及安全原型微内核系统Fluke,引入了单级实体、多级实体以及专用于进程的访问模式,并给出了它们应满足的不变量及限制性条件.另外,在参考原型系统TMach对IPC对象的某些处理方式的基础上,提出了使动态特征非常明显的IPC对象得到合理、有效管理的机制,同时还分析了ABLP实施方法中存在的一些不当之处.提出了一个新的机密性策略模型DBLP的模型不变量,限制性条件及变量类型和常量,并分析了一些限制性条件的合理性,它可以有效应用于系统设计.
关键词
机密性策略
形式模型
安全级范围
多级
实体
IPC对象
Keywords
confidentiality policy
formal model
sensitivity level range
multiple level entity
IPC objects
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
自然资源综合化“一查”体系构建技术研究
2
作者
马克委
王胜利
朱益虎
罗方权
王云凯
闫昶
李安民
机构
江苏省地质测绘院
出处
《地理空间信息》
2024年第4期76-79,共4页
基金
江苏省地质矿产勘查局科研资助项目(2021KY17)
江苏省自然资源科技计划资助项目(2021058)
自然资源部试点资助项目(自然资调查函[2021]3号)。
文摘
长期以来,受自然资源调查监测实施部门分散的影响,自然资源调查业务中概念不统一、内容有交叉、指标相矛盾等问题比较突出,尚未形成统一的技术标准和方法,且成果难以共享。针对江苏省自然资源调查监测工作推进和业务管理的实际需求,以自然资源综合调查监测国家试点项目为依托,按照“一查”试点的工作任务与要求,开展了调查标准体系构建与技术方法研究。完成了表达资源禀赋与利用的自然资源分类标准、指标体系和数据库标准的制定,提出了“一底两分多码”的自然资源多级实体定界与多重属性表达方法,构建了服务“多用”的“一查”技术体系,能够为自然资源调查和“两统一”管理、国土空间规划编制等业务提供支撑和依据。
关键词
自然资源调查监测
体系构建
多级
实体
定界
多重属性表达
实践方法优化
Keywords
natural resources survey and monitoring
system construction
multi-level entity delimitation
multi-attribute representation
optimization of practice method
分类号
P208 [天文地球—地图制图学与地理信息工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一个改进的可动态调节的机密性策略模型
季庆光
卿斯汉
贺也平
《软件学报》
EI
CSCD
北大核心
2004
33
下载PDF
职称材料
2
自然资源综合化“一查”体系构建技术研究
马克委
王胜利
朱益虎
罗方权
王云凯
闫昶
李安民
《地理空间信息》
2024
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
