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

来源 :通讯世界:下半月 | 被引量 : 0次 | 上传用户:wyy_9715072
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着Java应用程序的迅速发展,程序代码安全问题也逐渐引起了人们的重视。虽然各个研究领域都提出很多的安全控制方法,但都存在着非常大的局限性,需要完善。本文主要将扩展下自动机作为核心研究对象,进行了详细分析,希望可以给相关研究人员提供参考。
其他文献
维护工作在楼宇物业管理中的作用不言而喻,如何高效的进行楼宇设备维护工作,如何利用信息管理系统,如何降低运维成本逐渐成为企业思考的问题。
区域经济条件的差异性,决定了经济发展的不平衡性。如何立足区情、结合实际,探索出一条适合本区域经济发展的路子,是各级政府和关注甘肃经济发展的各界人士共同研究和探讨的
●2001年,内蒙古自治区牛奶产量106万吨,占全国的10.3%●羊绒产量占全国的40%,世界的三分之一;●牛、羊肉产量分别占全国第10位、第3位;●2002年第一季度工业增加值快于重工
城市热岛效应的存在对城市的生产生活造成严重危害,促进城市通风可以有效缓解城市高温问题。该文通过对通风道所涉及的区域、城市、街区、建筑四个层次分析的基础上,构建了一
研究学习型网络课程的特点,根据特征研究发现多媒体教学的特点。根据实际情况设计与开发并进行实践研究。
高邮市位于江淮平原南端,自古为泗淮与京扬之咽喉,是历史文化名城。该文从古城历史、自然环境、区位交通等角度研究高邮古城发展演变、选址、空间格局、街巷构架、建筑分布特
古代人们为了观察日、月、五星的运转,把天空划分为了二十八片星空,每个星空都包含了七个星宿,历史上为俗称道教“二十八星宿”。它作为中国优秀传统文化的精髓之一,二十八星
我国已经加入世贸组织,西部大开发战略已经启动两年,值此重要历史时期,国民经济市场化进程就显得非常突出和重要。作为经济体制改革起点的价格市场化改革在甘肃省究竟走过怎样的