论文部分内容阅读
提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率。
基于模型检测的服务链信息流安全可组合验证方法
【摘 要】
：
提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方
【机 构】
：
西安电子科技大学计算机学院
【出 处】
：
通信学报
【发表日期】
：
2014年11期
【基金项目】
：
国家自然科学基金资助项目(U1135002,61303033);国家科技部重大专项基金资助项目(2011ZX03005-002);航空科学基金资助项目(2013ZC31003);陕西省自然科学基础研究计划基金资助项目(2013JQ8036)~~
其他文献
<正> 神经性皮炎,又称慢性单纯性苔鲜,是一种常见的以阵发性剧烈瘙痒和皮肤苔藓样变为特征的慢性炎症性皮肤病,较为顽固难治。临证所见,患者多有风湿热瘀错杂,加之患者不自觉
我国著名的民间音乐家阿炳以其悲歌式的一生创作了二胡曲——《二泉映月》,半个多世纪以来,此曲以其撼人心弦的艺术魅力流传至今,该曲是作者一生坎坷、悲惨生活的写照,《二泉
<正> 2002年10月底,为配合辽宁大学"国际交流大楼"工程建设,沈阳市文物考古研究所勘探队对工程用地进行了为期一个多月的文物勘探工作,于勘探过程中发现该工程用地范围内存在
肾之精、气、阴、阳,代表肾的物质基础和功能活动,是人体正气的根本,只宜封藏,不宜耗泄,故肾病多虚,临床关于肾虚证治分型,多有肾精不足、肾气不固、肾不纳气、肾虚水泛、肾
<正> 骨髓纤维化(myelofibrosis)按病因可分原发性和继发性,原发性骨髓纤维化(idiopathic myelofibrosis)是临床比较少见的慢性骨髓增殖性疾病,在人群中总的发病率为0.2～2/10
期刊
<正>现代舞发源于西方,但这并不意味着现代舞的魂魄肢体都源自西方。在欧美现代舞史上,著名的现代舞者几乎都曾把目光投向深沉而富有传奇色彩的东方。如,格雷姆在圣丹尼斯老
将粒度很细的含锌铅高炉粉尘和不含锌铅的转炉粉尘混合造球，实验表明，球团的最佳条件为造球时间２０ｍｉｎ，水分为２１％；球团性能湿球和干球抗压强度分别为１５和２５Ｎ／个，爆裂温度为２１０℃。
目的:探讨针药结合对去势大鼠血清雌二醇（E2）、卵泡刺激素（FSH）、黄体生成素（LH）及外周血淋巴细胞内雌激素受体（ER）水平的影响。方法:以雌性成年未孕SD大鼠为对象,设更年Ⅱ号组、针刺
<正> 答:高脂血症目前发病率逐年上升,是动脉粥样硬化、冠心病及糖尿病等疾病发生的促进因素。中医认为本病是因痰湿、湿浊及痰瘀所致,主要与肝、脾、肾三脏功能失调密切相关