基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

集成安全分析的模型驱动软件开发方法研究

提出了一种集成安全分析的软件设计与开发新方法,该方法以MDA为基础框架,使用VMLsec建立软件安全属性的平台无关模型,使得在软件设计的早期就能够囊括更多的安全需求,从而降低后期开发的风险与成本,提高软件的复用性.     

Java标识符重命名混淆算法及其实现

针对控制流混淆和数据混淆会引入额外开销的问题,提出4种标识符重命名算法,包括滥用标识符算法、重载无关联方法算法、非法标识符代替合法标识符算法以及重写静态方法算法,以这4种算法为核心技术构造Java混淆器JIRO,对JIRO的性能进行初步分析,结果表明,JIRO具有较好的混淆效果,不会引入额外的字节码执行开销。     

基于缓存偏移量的P2P流媒体调度策略

现有P2P流媒体调度策略在确定数据块调度优先级时,未能综合考虑数据块稀缺度和紧迫度因素,导致了较差的播放连续度和启动延迟性能。提出的基于缓存偏移量的数据调度策略通过统计数据块在供求节点上的播放偏移量并对其加以处理,可有效懈决该问题,使播放连续度、启动延迟性能得到明显提高。     

多水印技术在软件版权管理中的应用研究

为增强软件水印的鲁棒性,将图像“多水印”思想引入到软件中,并给出软件多水印定义,分析联合方式,给出 模型及优化方法。在此基础上,提出一种基于多水印的软件版权保护模型,并对原有的算法进行改进,解决有意义软 件水印的预处理问题、指纹的动态混淆嵌入及交互防篡改检测问题,提高软件水印的鲁棒性。实验表明,该模型在防 止静态分析、动态跟踪、反逆向工程以及保护水印和软件的完整性方面具有较好的性能。     

基于多属性特征胎记的软件盗版检测

针对传统单属性特征在抗攻击性和检测率方面的不足,提出了基于分类多属性特征的软件盗版检测算法。通过对等价语义变换后的软件集合进行静态分析、提取过滤、分割和度量,最后按相似度构造分类器,在低开销下综合判别未知软件版本信息。给出了算法的描述,刻画了算法的实现过程,实验结果表明,该算法在提高判别的鲁棒性、可信度和抗攻击方面具有适用性,与同类方法比较也具有明显优势。     

基于多常量编码的动态图软件水印保护技术

提出了一种利用多常量编码伪水印来对动态图水印进行保护的方法，设计了针对IPPCT结构动态图水印的保护算法。该算法通过创建多个IPPCT结构的伪水印对宿主程序功能性的依赖关系，对真实水印起到了防篡改的作用，增加了攻击者的攻击难度，从而可对该类水印进行有效的保护。     

一个基于构件的分布式软件构架开发环境

针对分布式软件和软件构架日益复杂的特点，本文首先提出并建立了一个基于构件的分布式软件构架描述语言DSADL，然后介绍了基于DSADL的分布式软件构架开发集成环境EDAD．实践证明，EDAD能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计，从而提高系统的开发效率．     

一个分布式拒绝服务攻击检测系统的设计

根据拒绝服务武攻击与分布式拒绝服务攻击的特点，该文设汁并实现了一个针对这种攻击的检测响应系统，详细讨论了拒绝服务攻击的特征，通用的攻击检测算法以及攻击响应策略。实际应用表明，系统检测准确率高、结构清晰、配置灵活、运行开销小，能有效地检测和防御常见的拒绝服务式攻击。     

Web文本内容过滤方法的研究

文章研究了Web文本内容过滤的方法，分析了向量空间模型、关键词匹配算法等关键技术．并详细讨论了Web网页中文本内容过滤方法的实现过程。重点分析了该方法中的修正值选取、关键词权重函数以及过虑策略等方面的不足，提出了一个改进的Web文本内容过滤方法，能够有效降低算法的复杂性，提高性能。