首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   11篇
  免费   5篇
  国内免费   1篇
无线电   4篇
自动化技术   13篇
  2023年   1篇
  2022年   1篇
  2020年   2篇
  2015年   1篇
  2014年   1篇
  2013年   1篇
  2012年   1篇
  2009年   2篇
  2008年   2篇
  2006年   5篇
排序方式: 共有17条查询结果,搜索用时 15 毫秒
1.
NP防火墙协议栈驱动模块的设计与实现   总被引:1,自引:0,他引:1       下载免费PDF全文
韩志耕  罗军舟 《计算机工程》2006,32(21):136-138
彻底打通网络处理器光口到本地协议栈间通路需要协议栈驱动提供支持。针对协议栈驱动基本组成和内在驱动机制,同时确保遵循Intel IXA软件架构分层设计原则,该文提出了在Linux平台上的实现方案并进行了分析,指出了实现过程中牵涉的关键技术。Enp2611评估板上硬件光口打通测试表明设计达到了预先要求。  相似文献   
2.
不可否认协议分析的增广CSP方法   总被引:4,自引:1,他引:3  
提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法.检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性.结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性.最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势.  相似文献   
3.
不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.  相似文献   
4.
一个公平的多方不可否认协议   总被引:4,自引:0,他引:4  
实用的多方不可否认协议必须具备存活性、公平性、时限性、无排斥性和保密性.文中指出现有典型协议,如KM,OZCL和OZL均无法提供时限性和无排斥性,而且易遭受服务失效等攻击,致使它们不能成为实用的协议.为此,给出一个新协议NKM,其基于无需全局时钟同步机制支持的时间段概念实现时限性,借助双重群加密技术确保具备保密性的同时不丢失无排斥性,利用证据链技术既可高效维护协议证据,又能避开服务失效和重放攻击;同时还形式化验证了该协议的安全性,并对协议部署时将牵涉到的安全问题进行了考虑.与现有协议相比,NKM在安全性和性能方面均存在优势,可成为实用的协议.  相似文献   
5.
为降低信任评估固有时滞性对信度结果可靠性的负面影响,以二阶导数为数学工具,通过量化目标实体的信度变化态势并将其纳入到信任评估过程,提出了用于增强信任评估可靠性的时滞性弱化策略。为检验该策略的有效性,基于逆向工程的思想使用它扩展了由Srivatsa提出的著名的信任重估模型。实验结果显示,扩展后的新模型较原有模型在部分评估结果上更逼近于目标实体的真实行为,同时也更能抑制恶意实体的策略波动行为。这表明时滞性弱化策略能够用于增强信任评估的可靠性。  相似文献   
6.
为提高信度评估的可靠性,从改善信度评估时效性角度出发,提出一种改进的通用信度重估模型GMRR。该模型借助原始信度、历史信度、信度波动率和信度波动趋势4种基础数据,实现了信度评估时效性机制与现有信度重估机制的有效集成,从多个维度对原始信度展开重估。给出信度评估时效性机制采用的时滞弱化策略、GMRR模型描述及分量计算算法,对模型的信度重估效果进行实验评估,结果表明,与现有信度重估模型相比,该模型获得的重估信度接近于目标实体的真实行为,同时能抑制恶意实体的策略波动行为。  相似文献   
7.
如何对计算机网络课程进行有效组织是摆在计算机网络二元化教学面前的棘手问题。为解决该问题,文章提出一种面向知识链构建的网络课程组织模式,模式将网络知识链的构建作为网络课程组织的依据,涉及理论教学与实践教学两个层面;实现两次转变,即静态知识向动态知识转变、理论知识向实践知识转变;经历三个阶段,即知识链框架建立阶段、知识点有机关联阶段和知识链强化阶段。  相似文献   
8.
多方不可否认协议时限性分析与改进   总被引:3,自引:0,他引:3       下载免费PDF全文
韩志耕  罗军舟 《电子学报》2009,37(2):377-381
 时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协议交互步骤的办法对该缺陷进行了改进.  相似文献   
9.
审计全覆盖的实施依赖于既懂审计实践又懂大数据技术的大数据审计人才。比对工程教育认证标准中的实践教学体系要求,当前大数据审计人才的培养存在课程体系缺失、数据资源缺失和实验平台缺失等棘手问题。针对上述问题,提出了面向工程教育认证的大数据审计实践课程体系建设思路,包括基于模块化的实践课程体系构建、面向审计案例的数据资源库建设,以及基于定制化的实验教学平台建设。  相似文献   
10.
对于视频处理而言,预测编码涉及到运动估计和运动补偿。本文通过事先排除inter4v模式提高PMVFAST算法运动估计效率,主要思想是采用了条件概率下随机变量SAD所具有的统计特性。文中给出了一些相关实验结果并将其与传统方法所得数据进行了比较。结果表明,优化后算法的时间节省突出且PSNR无可觉察变化。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号