Semantic Description and Verification of Security Policy Based on Ontology

来源 :武汉大学自然科学学报(英文版) | 被引量 : 0次 | 上传用户:gaobaobao127
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
目的:  1.为了研究血管生成,我们建立了Ⅰ型糖尿病大鼠模型作为对象;  2.检测bFGF是否对高糖抑制的血管内皮细胞增殖和迁移具有缓解作用,及bFGF是否对高糖诱导的凋亡炎症具
矿产资源是发展生产力的重要物质基础,矿产资源的开发利用推动着社会生产力的发展和社会文明的进步。但矿产的发现和查明又是一个科学的、艰苦的系统工程。根据湖南省地勘产业
文章全面罗列了近几年来在俄罗斯各金属矿山和非金属矿山中所发生的工伤死亡事故事例,并逐一分析了事故原因。 The article gives a comprehensive list of the accidental d
2006年6月9日,世界杯开幕庆典将在富有历史意义的柏林奥林匹克体育场举行。次日,世界杯将在慕尼黑开球。150余支参加资格赛的球队中将有32支在德国奋战。待64场比赛结束后世
写下这个有点招眼的题目,毫无矫情、伪饰可言,因为这是我——名基层公安交警,一个业余文学爱好者内心真实而强烈的自然流露,切合我的心境——结识《文化博览》是我的荣幸,是
德国东普鲁士有一个地方,叫腊斯登堡.这里林木茂密,鸟语花香.然而,就在这片怡人的茂林深处,竟隐藏着一颗罪恶的心脏,它是第二次世界大战中纳粹德国指挥战争的大本营,被称为希
汉代飞将军李广,驰骋疆场40多年,身经70余战,一日忽见草丛中卧有一头斑斓猛虎,急忙引弓飞箭.但临近一看,只见这枝箭深深插在一块巨石上.在感叹自己年老眼花的同时,也为自己仍
期刊
期刊
目的:  1.考察成纤维细胞生长因子21缺失对糖尿病小鼠血管损伤的影响。  2.考察成纤维细胞生长因子21给药对糖尿病血管损伤的改善作用。  方法:  1.用多次小剂量链脲