排序方式: 共有116条查询结果,搜索用时 15 毫秒
1.
构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法. 相似文献
2.
3.
4.
5.
针对传统单属性特征在抗攻击性和检测率方面的不足,提出了基于分类多属性特征的软件盗版检测算法。通过对等价语义变换后的软件集合进行静态分析、提取过滤、分割和度量,最后按相似度构造分类器,在低开销下综合判别未知软件版本信息。给出了算法的描述,刻画了算法的实现过程,实验结果表明,该算法在提高判别的鲁棒性、可信度和抗攻击方面具有适用性,与同类方法比较也具有明显优势。 相似文献
6.
一个基于构件的分布式软件构架开发环境 总被引:1,自引:0,他引:1
针对分布式软件和软件构架日益复杂的特点,本文首先提出并建立了一个基于构件的分布式软件构架描述语言DSADL,然后介绍了基于DSADL的分布式软件构架开发集成环境EDAD.实践证明,EDAD能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计,从而提高系统的开发效率. 相似文献
7.
为了消除攻击者动态调试JavaScript代码给HTML5应用程序带来的安全威胁,提出一种基于反调试的代码保护方法.在深入分析Firefox及Chrome浏览器中调试器工作原理的基础上,探索了主流浏览器平台中调试器运行时的特征.基于调试器特征构造检测调试行为的JavaScript代码片,并结合针对调试行为的响应策略达到反动态调试目的.通过攻击实例验证了该方法的有效性,在不影响程序性能的前提下提升了Web应用程序的安全性. 相似文献
8.
为提高分布式入侵检测系统的效率,提出了一个基于协作Agent的分布式入侵检测模型(CADIDs),设计并实现了一个基于该模型的入侵检测系统。本文详细讨论了系统的体系结构、通信及实现技术等。 相似文献
9.
无线传感器网络节点中的廉价晶振极易受到温度、电压、湿度等工作环境因素的影响.节点晶振的这一特性,为室外大规模无线传感器网络时间同步技术带来了两方面的挑战:(1) 过高的通信开销;(2) 精度与能耗之间的不平衡.针对以上问题,提出了一种基于温度感知的、自适应的无线传感器网络时间同步算法.该算法能够依赖本地温度信息对节点时间频偏进行估计及补偿,在保证算法同步精度的同时,降低了网络通信开销.除此之外,提出一种动态同步周期调节机制,使得算法能够根据当前环境温度变化情况对节点同步周期进行动态调节,从而达到了能耗与精度之间的平衡.大量仿真实验结果表明:所提出的时间同步算法可将通信能耗降低至传统同步算法的10%;且在环境温度不断变化的情况下,80%的频偏估计值其误差小于0.5ppm.故,所提出的时间同步方法能够有效地适用于室外环境下部署的大规模无线传感器网络. 相似文献
10.
网络通信协议的属性文法规格说明 总被引:4,自引:0,他引:4
本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时(时序)等特性的有关问题;然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算(即语义分析)算法. 相似文献