【摘 要】
：
鲁棒性降密策略限制攻击者不能通过向程序注入攻击代码而获取超出允许释放范围的敏感信息,但是该降密策略缺乏对超额释放的敏感信息的定量分析,限制性过强.为此,基于转移系统
【机 构】
：
南通大学电子信息学院,南通大学计算机科学与技术学院
【基金项目】
：
江苏省博士后科研资助计划项目（1401022C）,南通大学博士科研启动基金项目（14822）
论文部分内容阅读
鲁棒性降密策略限制攻击者不能通过向程序注入攻击代码而获取超出允许释放范围的敏感信息,但是该降密策略缺乏对超额释放的敏感信息的定量分析,限制性过强.为此,基于转移系统,建立了程序的形式化模型;基于信息格,提出了信息降密的鲁棒率定义,对程序中信息降密的鲁棒性进行度量;基于等价类,提出了信息降密鲁棒性的定量分析方法;基于有界模型检测方法,实现了信息降密鲁棒性的自动化定量分析.实践证明,该方法从量的角度对信息降密的鲁棒性进行了放松,实现了富有弹性的信息降密鲁棒性的控制.
其他文献
＂别现代＂理论创构是新时代学术话语创新的一次重要实践和尝试,是在国内外学术对话和论争中生成的,是当代学人对社会、文化艺术发展批判和反思的产物。它的创构凝结着强烈的文化
脐带绕颈是产程中造成胎儿宫内窘迫的重要原因之一，严重者可引起新生儿窒息甚至围产儿死亡。为了减少脐带绕颈所致的不良预后，不仅产前要诊断出脐带绕颈，还应综合考虑脐带绕颈者
目的：探讨耳压及微创保胆内镜取石术对胆石症的治疗效果。
方法：采用微创手段于右肋下胆囊区建立取石通道，利用纤维胆道镜取尽胆囊结石，术后进行耳穴按压治疗。
结果：48例
表面等离子体增强光催化纳米技术近年来引起了人们的极大关注,许多研究者开展了相关研究,在物理、化学、材料等多个领域均取得了重要进展。文章综述了近年来以贵金属为代表的
磁表面等离激元（MSPs）可利用光子和半导体材料里的电子在纳米尺度的相互作用,将光场分布限制在远小于光波长的尺度之内,解决了因波长造成的光子器件与电子器件之间的尺寸差别问