原创力文档- 1、本文档共14页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
计算机研究与发展 ISSN
1000—12391CN
11—1777／TP
!!!!呈!!!!』圣竺些!!曼!!!!些!丝呈!型!!竺!坠! 坚些!!!：!!!：!!!!
基于加权下推系统优化可达性分析的Java安全信息流研究
孙 聪1’2 唐礼勇2 陈 钟2 马建峰1
1(计算机网络与信息安全教育部重点实验室(西安电子科技大学)西安710071)
2(高可信软件技术教育部重点实验室(北京大学)北京 100871)
(suncong．pku@grnail．corn)
SecureInformationFlow
in
Java of
byOptimizedReachability
Analysis
Pushdown
System
Sun Ma
Con91”，TangLiyon92。ChenZhon92．and
Jianfen91
1(Key Netrs)orksand
Laborat07，ofComputer InformationSecurity(Xidian Ed甜c口tiD挖，Xia咒
UnitJP!sity)，Ministryof
71007I)
2(K。YLaboratory。fHighConfidence
Softr¨arPTechnologies(Peking
UnivPr5ity)．Mini5trYof
100871)
AbstractA semanticbased is consideredmore sethan
approachcommonly the
preci type—based
tO secure
approachenforcinginformationflowforthe a standardcriteriontoformalize
program。As
secureinformationflow，noninterferencehasnotbeen withsemantic—based at
analyzed approaches
level．We a
bytecode semantic—basedto
propose approach
modelcheckingweightedpushdownsystenl
fornoninterference．Inordertoovercomethelimitations the featureand
broughtby language
文档评论（0）