搜索筛选:
搜索耗时1.8703秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：易晓东,,
来源：国防科学技术大学 年份：2006
随着计算机系统的广泛应用,计算机软件的高可信性质受到了越来越多的关注。面向软件源程序的形式验证是保障软件高可信性质的一种有效方法,受到了大量的关注和广泛的研究。但...
[期刊论文] 作者：易晓东, 杨学军,,
来源：计算机科学 年份：2006
在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证的完备性。本文提出了一种可以保证完备性的...
[期刊论文] 作者：易晓东, 杨学军,,
来源：计算机科学 年份：2006
当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求。传统的安全框架,如 FLASK...
[期刊论文] 作者：所光,易晓东,廖湘科,
来源：计算机工程与科学 年份：2006
本文研究了Linux操作系统中文件系统日志服务的体系结构和关键技术，分析了Linux操作系统中已有日志服务器JBD的结构，提出了一种新日志服务器—JoumalFS的模型，证明了使用Journal...
相关搜索：
