收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于扩展下推自动机的Java程序安全相关行为模型自动生成

高彩凤  
【摘要】:随着Java应用程序的迅速发展,程序代码安全问题也逐渐引起了人们的重视。虽然各个研究领域都提出很多的安全控制方法,但都存在着非常大的局限性,需要完善。本文主要将扩展下自动机作为核心研究对象,进行了详细分析,希望可以给相关研究人员提供参考。

知网文化
【相似文献】
中国期刊全文数据库 前18条
1 ;确定的下推自动机[J];电子计算机参考资料;1977年Z2期
2 唐守文;陈良;;下推自动机的逻辑计算类型[J];计算机研究与发展;1987年06期
3 徐建良,孙剑,陈勇,孟庆春;有无1墨水点亚对数空间限定交替式下推自动机之间的关系[J];青岛海洋大学学报(自然科学版);2003年03期
4 麻勇军;刘耀军;;下推自动机的半环方法[J];太原师范学院学报(自然科学版);2009年02期
5 王建良;徐建良;;亚对数空间限定的多墨水点交替式下推自动机的闭包属性[J];中国海洋大学学报(自然科学版);2010年10期
6 付杰;梁意文;;人工免疫系统中淋巴细胞的下推自动机模型[J];计算机工程;2005年23期
7 韩召伟;李永明;;基于量子逻辑的下推自动机的代数刻画[J];计算机工程与科学;2008年11期
8 高永建;;自上而下分析与下推自动机[J];辽宁师范大学学报(自然科学版);1989年04期
9 韩召伟;李永明;;基于量子逻辑的下推自动机与上下文无关文法[J];软件学报;2010年09期
10 方敏;王宝树;邱素蓉;;基于下推自动机的仿真模型形式化描述[J];计算机科学;2003年06期
11 李佳静;王铁磊;韦韬;凤旺森;邹维;;一种多项式时间的路径敏感的污点分析方法[J];计算机学报;2009年09期
12 张征;刘洁;石晓龙;;基于DNA计算的分子下推自动机(英文)[J];计算机学报;2008年12期
13 张诗静;舒兰;;最大乘积型Fuzzy上下无关文法与下推自动机[J];模糊系统与数学;2006年06期
14 程珍;黄玉芳;周康;;基于DNA下推自动机二进制减法和乘法的实现[J];计算机学报;2009年12期
15 晏立;鞠时光;王昌达;;安全信息流的实时监控机制[J];通信学报;2008年10期
16 彭家寅;;格值下推自动机与格值上下文无关文法[J];计算机工程与应用;2011年25期
17 舒兰;识别Fuzzy上下文无关语言的下推自动机(英文)[J];电子科技大学学报;1992年02期
18 ;[J];;年期
中国博士学位论文全文数据库 前2条
1 王建良;亚对数空间限定多墨水点交替式下推自动机的研究[D];中国海洋大学;2010年
2 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
中国硕士学位论文全文数据库 前2条
1 刘运霞;多墨水点两方向交替式下推自动机的研究[D];中国海洋大学;2006年
2 谭兴龙;Well-Structured下推自动机可达性判定算法研究[D];上海交通大学;2014年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978