切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于规则的安全策略定义语言
基于规则的安全策略定义语言
来源 :计算机工程 | 被引量 : 0次 | 上传用户:qq77880066
【摘 要】
:
基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略.还
【作 者】
:
施军
刘琼波
尤晋元
【机 构】
:
上海交通大学计算机科学与工程系
【出 处】
:
计算机工程
【发表日期】
:
2001年7期
【关键词】
:
信息安全
安全策略定义语言
谓词逻辑
稳定模型
Security policyLogic programStable model
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略.还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题.
其他文献
万能型的VLT2000变频器
期刊
万能型
VLT2000
变频器
汉语国际教育的知识管理研究
当前的汉语国际教育仍停留在信息管理的阶段,不能满足日益增长的全球汉语学习的需求。本文分析了汉语国际教育的现状和问题,指出了实施知识管理的必要性,并结合汉语国际教育
会议
知识管理
汉语国际教育
汉语国际推广
The Effects of Amino Acid Nutritional Deficiency on the Expression of Protein Metabolism-Related Gen
The mammary gland tissue exhibits a series of responses that are different from those of muscle and other peripheral tissues under amino acid deficiency. So, th
期刊
Amino
Acid
NUTRITIONAL
DEFICIENCY
MAMMARY
GLAND
TISSUE
Muscle
TISSUE
Protein
Met
蛋氨酸羟基类似物抗氧化作用及其对小鼠生长的影响
蛋氨酸羟基类似物HMTBA在体内可转化为蛋氨酸MET,为机体提供必需氨基酸,并具有成本低、毒性低的特点,在结构上可能具有清除自由基的作用,但其生物抗氧化作用尚未被认识。本论
学位
蛋氨酸
蛋氨酸羟基类似物
生长
抗氧化
血脂
GSK983数控系统的应用
GSK983数控系统自2006年推出以来,已售出将近300套,主要针对国内机床厂家的机床配套和机床改造。日前,主要用户有沈阳一机、宝鸡机床厂、济南一机、广州机床厂等等。相信随着GSK
期刊
数控系统
应用
机床改造
机床厂
用户
带状态特征的检测规则及其在CIDF框架中的应用
通过对传统检测规则中的if〈条件〉then 〈动作〉的修改,将入侵行为、阶段特征、入侵的后果影响进行量化,并与检测规则相联系,以提高对入侵的检测效率和响应效率,同时在这基
期刊
状态特征
检测规则
CIDF框架
入侵检测系统
信息安全
网络安全
计算机网络
Intrusion detection;Common intrusion det
SINUMERIK 802S常见故障分析及检修
SINUMERIK 802S系列产品为西门子公司针对中国市场开发的经济型步进系统,该系统在性能上优于国内同档次系统,功能较全,最多可控制3个进给轴,可外加一模拟主轴,在运动精度要求不高
期刊
SINUMERIK
故障分析
步进系统
检修
市场开发
系列产品
西门子公司
精度要求
使用环境
升级产品
高效防火墙系统体系结构研究
防火墙技术是保护网络安全的一种重要手段,代理服务器是防火墙的关键技术之一,其效率与其安全防护能力同样不容忽视,文中叙述了一种高效防火墙系统的实现原理。
期刊
网络安全
防火墙
体系结构
INTERNET网
Security of network Firewall Proxy server NAT
二氧化硫体内衍生物对大鼠卵巢功能毒性的初步研究
研究背景:随着工业化的不断发展和城市的不断扩张,大气污染已日趋严重,威胁着人类赖以生存的环境和全球的可持续发展性。二氧化硫(SO2)是主要的大气污染物之一。石油、煤、天然气
学位
二氧化硫衍生物
卵巢
性激素
去行政化后完善地方高校决策机制的对策创新研究
近年来国家推行高等教育改革,扩大教学规模,提高教学质量,使得行政化并未那么严重,据称行政化比较严重的地方高校也在改革。高等教育有自身发展的规律,去行政化能使高校发展上一个
期刊
高校
去行政化
决策模式
创新
与本文相关的学术论文