搜索筛选:
搜索耗时2.8285秒,为你在为你在102,285,761篇论文里面共找到 24 篇相符的论文内容
发布年度:
[学位论文] 作者：华保健,,
来源：中国科学技术大学 年份：2008
在社会逐渐走入信息时代的今天,社会的各个层面,包括工业界、政府机关、学校、商业部门等,都和计算机软件等信息系统结合越来越紧密。信息系统中的任何一个环节工作失败或是...
[期刊论文] 作者：华保健,
来源：计算机教育 年份：2014
面向对象编程语言和技术日益流行,已经成为最重要的编程框架,这一趋势对编译原理课程建设和教学改革实践提出新的挑战.文章根据最新研究趋势和教学需求,对编译原理课程改革和...
[期刊论文] 作者：华保健, 高鹰,,
来源：计算机科学 年份：2013
面向对象语言在软件工程实践中有着广泛的应用。为面向对象语言定义严格的语义有助于理解面向对象语言的本质特征,对验证软件、提高软件系统可靠性等也具有重要意义。给出了...
[期刊论文] 作者：李威杰,华保健,李曦,,
来源：计算机应用与软件 年份：2017
随着云计算的发展,越来越多的敏感数据被存储在云服务器上。为了保护隐私数据,通常对隐私数据进行加密。由于数据加密,很多对明文字符串的操作方案变得不可用,尤其是在密文状态下,如何使用正则表达式进行字符串的匹配,没有一种切实有效的方案。对在密文状态下正......
[期刊论文] 作者：高鹰,陈意云,华保健,
来源：小型微型计算机系统 年份：2008
目前代码迷惑技术已经成为构造恶意软件变体的主要方式，大量出现的病毒变体使得传统基于程序文本特征的病毒排查工具的防护作用大大降低.本文提出一种新的基于语义的恶意软件......
[期刊论文] 作者：赵迪,华保健,朱洪军,
来源：计算机应用 年份：2016
函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法。为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计...
[期刊论文] 作者：华保健, 周艾亭, 朱洪军,,
来源：计算机应用 年份：2014
针对Android平台上内核级钩子检测的研究,提出了一种结合基于特征模式的静态检测技术和基于行为分析的动态检测技术的Android内核钩子检测技术,这两种技术的结合能够检测基于...
[期刊论文] 作者：刘伟, 华保健, 吴文彦, 宋超,,
来源：金融电子化 年份：2018
金融机构转型是当今的热点课题，其中探寻转型发展突破点被讨论得最多。此次，就和大家一起聊聊，银行转型那些事儿。目前商业银行在渠道、产品服务方面的移动化、数字化转型，在战略......
[期刊论文] 作者：朱洪军,韩洋,华保健,陈灏,
来源：计算机工程与应用 年份：2016
Android开发已经成为移动开发热门领域，Android应用程序中内存使用的问题却经常容易被忽视，部分开发者对Java垃圾回收机制认识模糊，使得内存泄漏成为Android应用开发中十分隐秘...
[期刊论文] 作者：刘诚,陈意云,葛琳,华保健,
来源：计算机工程与应用 年份：2007
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的...
[期刊论文] 作者：李威杰，华保健，李曦，LiWeijie，HuaBaojian，LiXi,
来源：计算机应用与软件 年份：2017
...
[期刊论文] 作者：徐志军,旷欢,王如龙,华保健,,
来源：计算机工程与应用 年份：2015
经验模态分解能有效处理非平稳、非线性信号,但在多次采用三次样条插值获取信号上、下包络的过程中容易产生影响分解精度的端点问题。为了抑制经验模态分解中存在的端点效应...
[期刊论文] 作者：王嘉捷,朱克雷,陈美坤,华保健,,
来源：中国信息安全 年份：2017
移动互联网是互联网的扩展与延伸,现已深刻影响了社会发展的方方面面。2016年,随着移动互联网应用程序（以下简称移动应用或APP）的进一步广泛使用,移动应用相关的恶意代码、仿冒......
[期刊论文] 作者：朱洪军, 陈耀光, 华保健, 陈灏,,
来源：计算机应用与软件 年份：2016
A n d r o i d应用安全问题日益突出,大量Android应用遭受逆向、非法复制及恶意代码注入等攻击.对A n d r o i d应用安全机制进行研究,在分析静态逆向和动态逆向攻击原理的基...
[期刊论文] 作者：郭宇,陈意云,华保健,李兆鹏,
来源：小型微型计算机系统 年份：2008
编程语言类型系统的类型安全性可以保证程序运行时满足基本安全属性，包括控制流安全，内存安全等．类型化编程语言都需要一个类型检查器来检查程序的良类型性，因此编程语言的具体实......
[期刊论文] 作者：李兆鹏,陈意云,葛琳,华保健,
来源：计算机研究与发展 年份：2008
在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所...
[期刊论文] 作者：陈意云,华保健,葛琳,王志芳,
来源：计算机学报 年份：2008
在高可信软件的各种性质中，安全性是被关注的重点，其中软件满足安全策略的证明方法是研究的热点之一．文中根据作者所设想的安全程序的设计和证明框架，为类C语言的一个子集设计了......
[期刊论文] 作者：朱洪军,陈灏,华保健,刘业,郭宇,
来源：计算机应用与软件 年份：2016
基于安卓平台应用极易被病毒或恶意软件攻击,除了其平台开源开放等原因外,移动应用自身代码保护强度较弱也是主要因素。针对该问题,以安卓平台应用为研究对象,分析移动应用安...
[期刊论文] 作者：陈意云,李兆鹏,王志芳,华保健,
来源：软件学报 年份：2010
本文改进并扩展先前为验证指针程序提出的指针逻辑，主要贡献是提出了合法访问路径集合的概念，极大地简化了访问路径上的基本运算，并使得指针逻辑推理规则变得易理解．另外，增加了局......
[期刊论文] 作者：葛琳,陈意云,华保健,李兆鹏,刘诚,
来源：小型微型计算机系统 年份：2008
与传统的高级语言程序验证相比，汇编代码验证中所需要的形式规范往往比较复杂，通常的做法是要求程序员手写形式规范，或是牺牲形式规范的表达能力以期能够自动生成规范．本文提出一......
相关搜索：
