- 1、本文档共7页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
信息降密的鲁棒性模型检测.pdf
第14卷第2期 南通大学学报(自然科学版) V01.14No.2
2015年6月 of
Journal Science
Nantong Edition) Jun.2015
University(Natural
信息降密的鲁棒性模型检测
金 丽1.朱 浩妒
(1.南通大学电子信息学院,江苏南通226019;
2.南通大学计算机科学与技术学院.江苏南通226019)
摘要:鲁棒性降密策略限制攻击者不能通过向程序注入攻击代码而获取超出允许释放范围的敏感信息.但是该降
密策略缺乏对超额释放的敏感信息的定量分析,限制性过强.为此,基于转移系统,建立了程序的形式化模型;
基于信息格.提出了信息降密的鲁棒率定义.对程序中信息降密的鲁棒性进行度量;基于等价类,提出了信息降
密鲁棒性的定量分析方法:基于有界模型检测方法,实现了信息降密鲁棒性的自动化定量分析.实践证明,该方
法从量的角度对信息降密的鲁棒性进行了放松.实现了富有弹性的信息降密鲁棒性的控制.
关键词:信息;降密;鲁棒性;模型检测;信息格
中图分类号:TP31l 文献标志码:A
Model forRobustInformationDeclassification
Checking
JIN Hao’
Lil,ZHU
ofElectronicsand
(1.School 226019,China;
Information,NantongUniversity,Nantong
2.Schoolof Scienceand 226019,China)
Computer Technology,NantongUniversity,Nantong
Abstract:Robustdeclassification attackersfrom codeintothe SOthat
strategyprevents injectingattacking programs
thesensitive beobtained of ofextrareleasedsen—
informationcannot bythem.However,lackingquantitativeanalysis
for tOOrestrictive.Intosolvethis formalmodelsof
sitiveinformationitiscriticized order problem,the pro—
being
rateof was tomeasure
basedontransition were forward.Therobustnessdeclas
您可能关注的文档
- 以卓越工程师培养目标为导向的材料化学课程改革实践.pdf
- 以小见大+见微知著——从学习评价标准的多元有度观点例谈课堂教学实施.pdf
- 以护士核心能力为基础的儿科护理岗位职责评价标准的构建-.pdf
- 以杉木树皮为填充剂的PF胶制造胶合板的工艺研究.pdf
- 以杨梅单宁为模板制备介孔二氧化锆的研究.pdf
- 以烟草花叶病毒为半抗原载体的活体免疫反应.pdf
- 以甲基化-β-环糊精为功能单体制备的L-色氨酸印迹聚合物及其性能研究.pdf
- 以艺术之名尽环保之责.pdf
- 初中语文教师教学论文 中学语文阅读教学现状的反思与对策.doc
- 仪器分析虚拟实验室的构建与应用研究.pdf
- 《GB/Z 44363-2024致热性 医疗器械热原试验的原理和方法》.pdf
- GB/T 16716.6-2024包装与环境 第6部分:有机循环.pdf
- 中国国家标准 GB/T 44376.1-2024微细气泡技术 水处理应用 第1 部分:亚甲基蓝脱色法评价臭氧微细气泡水发生系统.pdf
- 《GB/T 44376.1-2024微细气泡技术 水处理应用 第1 部分:亚甲基蓝脱色法评价臭氧微细气泡水发生系统》.pdf
- GB/T 44376.1-2024微细气泡技术 水处理应用 第1 部分:亚甲基蓝脱色法评价臭氧微细气泡水发生系统.pdf
- 中国国家标准 GB/T 44315-2024科技馆展品设计通用要求.pdf
- GB/T 44305.2-2024塑料 增塑聚氯乙烯(PVC-P)模塑和挤塑材料 第2部分:试样制备和性能测定.pdf
- 《GB/T 44315-2024科技馆展品设计通用要求》.pdf
- GB/T 44315-2024科技馆展品设计通用要求.pdf
- GB/T 39560.9-2024电子电气产品中某些物质的测定 第9 部分:气相色谱-质谱法(GC-MS)测定聚合物中的六溴环十二烷.pdf
文档评论(0)