切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种感知情景的存取控制策略的规范和分析方法
一种感知情景的存取控制策略的规范和分析方法
来源 :华东理工大学学报:自然科学版 | 被引量 : 0次 | 上传用户:a226959
【摘 要】
:
对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用Datalog逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整
【作 者】
:
杜丽萍
虞慧群
【机 构】
:
华东理工大学计算机科学与工程系
【出 处】
:
华东理工大学学报:自然科学版
【发表日期】
:
2006年9期
【关键词】
:
存取控制策略
规范
实施
RBAC模型
DATALOG
access control policy
specification
enforcement
【基金项目】
:
国家自然科学基金(60473055,60373075),上海市浦江人才计划(05PJ14030)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用Datalog逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助Datalog实现了一个控制策略自动决策原型系统。
其他文献
葡萄糖供应速率对大肠杆菌表达及分泌人表皮生长因子的影响
采用一株大肠杆菌BL21(DE3)[pBLMVL2EGF]生产人表皮生长因子(hEGF),其中hEGF表达由PL启动子控制并通过phoA信号肽分泌到胞外。实验结果表明:诱导阶段以恒定比供应速率流加葡萄糖时,
期刊
人表皮生长因子
PL启动子
分泌
大肠杆菌
human epidermal growth factor
PL promoter
secretion
Esc
不同有机氮源对肌苷合成的影响
通过研究不同有机氮源对肌苷合成的影响,结合蛋白、核酸及菌体生长的分析测定,结果显示:国产酵母膏A是肌苷发酵的理想氮源。此外,由于国产酵母膏A部分可溶,其水解出的氨基酸的碳骨
期刊
肌苷
发酵
有机氮源
蛋白
核酸
inosine
fermentation
organic nitrogen
protein
nucleic aci
高纯度内部热耦合精馏塔的非线性过程模型优化控制方案
主要讨论和研究了高纯度热耦合精馏塔的优化控制问题。针对一个非线性的对象模型-苯-甲苯物系模型提出了基于非线性过程模型控制(NPMC,Nonlinear Process Model Control)的控制
期刊
内部热耦合精馏塔
非线性
耦合性
离散化
解耦控制
GMC控制
ITCDIC
nonlinear
coupling
discrete
decoup
基于PID神经网络的非线性系统辨识与控制
针对工业控制领域中非线性系统采用传统的控制方法不能达到满意的控制效果,提出一种基于PID神经网络的控制方案,以对其进行辨识和控制。将PID神经网络引入控制系统中,既具有常规
期刊
PID神经网络
神经网络辨识器
神经网络控制器
非线性系统
PID neural network
neural network identification
完全脱乙酰度壳聚糖的制备及表征
采用二甲亚砜-氢氧化钠为反应体系,水为相转移催化剂,研究了相转移催化剂用量、甲壳素与氢氧化钠的质量比(投料比)、反应温度、反应时间、表面活性剂用量等因素对制备完全脱
期刊
壳聚糖
完全脱乙酰度
相转移催化剂
制备
表征
chitosan
complete deacetylation degree
the phase trans
连续串联釜式反应器中苯酚羟化制苯二酚的催化剂活性分布
在连续串联搅拌釜反应器(m-CSTR)中对铁复合氧化物催化剂作用下苯酚过氧化氢羟化制苯二酚体系中催化剂活性及其分布进行实验研究,结果表明:在催化剂使用过程中,催化剂活性衰
期刊
苯酚
羟化
活性及其分布
连续搅拌釜
phenol
hydroxylation
distribution of the catalyst activity
扩环和缩环重排反应的从头算研究
用哈特里-福克(HF)方法、STO-3G*基组,分别对半片呐醇和环庚烷正离子的重排机理进行了从头算研究,计算了半片呐醇和环庚烷正离子重排过程中的各个状态的几何构型、零点能,同
期刊
从头算
重排反应
环和
甲基环己烷
正离子
片呐醇
重排机理
几何构型
反应路径
位置移动
正碳离子
庚烷
零点能
键长
过渡态
两面角
计算
结构
基组
扩环
重组毕赤酵母表达猪胰岛素前体代谢参数分析和动力学模型
采用发酵过程参数相关分析理论,分析了毕赤酵母在不同发酵阶段利用不同碳源时的生理代谢参数变化特征.同时,研究了不同比生长速率下重组毕赤酵母表达猪胰岛素前体补料分批发
期刊
重组毕赤酵母
猪胰岛素前体
代谢参数相关分析
动力学模型
recombinant Pichia pastoris
porcine insulin precur
载体对草酸二甲酯加氢铜基催化剂的影响
以草酸二甲酯加氢反应为基础,研究了二氧化硅载体对铜基催化剂加氢反应性能的影响.催化剂分别以气相硅溶胶、硅胶、二氧化硅为载体,采用沉淀沉积法制备了Cu/SiO2催化剂(wCu
期刊
SiO2栽体
铜基催化剂
草酸二甲酯
加氢
活性组分
SiO_2 supports
copper-based catalyst
dimethyl oxala
LiCl对脂肪族聚氨酯脲结构与性能的影响
通过FT-IR和DSC等研究了LiCl对脂肪族聚氨酯脲溶液粘度以及聚氨酯脲膜的结构和性能的影响。研究结果表明:LiCl的加入使聚氨酯脲溶液的初期粘度降低,后期粘度升高;含LiCl的聚氨酯
期刊
脂肪族聚氨酯脲
LICL
形态结构
力学性能
aliphatic polyurethaneureas
LiCl
morphology and structu
与本文相关的学术论文