论文部分内容阅读
基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略.还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题.
基于规则的安全策略定义语言
【摘 要】
：
基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不同的系统中定义各种特定应用的安全策略.还
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2001年7期
其他文献
当前的汉语国际教育仍停留在信息管理的阶段,不能满足日益增长的全球汉语学习的需求。本文分析了汉语国际教育的现状和问题,指出了实施知识管理的必要性,并结合汉语国际教育
蛋氨酸羟基类似物HMTBA在体内可转化为蛋氨酸MET,为机体提供必需氨基酸,并具有成本低、毒性低的特点,在结构上可能具有清除自由基的作用,但其生物抗氧化作用尚未被认识。本论
GSK983数控系统自2006年推出以来，已售出将近300套，主要针对国内机床厂家的机床配套和机床改造。日前，主要用户有沈阳一机、宝鸡机床厂、济南一机、广州机床厂等等。相信随着GSK
通过对传统检测规则中的if〈条件〉then 〈动作〉的修改,将入侵行为、阶段特征、入侵的后果影响进行量化,并与检测规则相联系,以提高对入侵的检测效率和响应效率,同时在这基
SINUMERIK 802S系列产品为西门子公司针对中国市场开发的经济型步进系统，该系统在性能上优于国内同档次系统，功能较全，最多可控制3个进给轴，可外加一模拟主轴，在运动精度要求不高
研究背景：随着工业化的不断发展和城市的不断扩张，大气污染已日趋严重，威胁着人类赖以生存的环境和全球的可持续发展性。二氧化硫（SO2）是主要的大气污染物之一。石油、煤、天然气
近年来国家推行高等教育改革，扩大教学规模，提高教学质量，使得行政化并未那么严重，据称行政化比较严重的地方高校也在改革。高等教育有自身发展的规律，去行政化能使高校发展上一个