暂无评论
提出了一种适用于带有时间戳的安全协议的有色Petri(CPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPNTools,采用CPNML语言编写查询函数
LEACH(LowEnergyAdaptiveClusteringHierarchy)路由协议是无线传感器网络拓扑控制中最具代表性和重要性的算法之一。针对LEACH路由协议簇头分布不均匀,节点死亡率高
无线射频识别的安全协议研究,黄朝,,随着无线射频识别(RFID)技术研究的深入和不断走向实用,安全隐私问题的出现却逐渐限制了使用的范围,射频识别安全的研究已经成��
一种基于MPEG-DASH协议的自适应流媒体传输策略研究,丁雪瑶,唐碧华,随着3G网络的普及,多媒体业务在移动互联网流量中的比重呈爆炸式增长,与之相应的流媒体传输技术引起了国内外的高度重视和积极探�
一种混合式Adhoc网络路由协议研究与仿真分析,邹巍,,移动自组织网络为计算机网络提供了一种新的组网方式,在这种网络中无需管理网络的中心基础设施。这种灵活性使网络在某些不能依靠
针对面向方面的PIM到面向方面的PSM的转换,提出了一种面向方面的模型转换语言AOMTL。首先建立方面模型的转换框架;然后根据此框架建立AOMTL的元模型,设计AOMTL的具体语法;最后使用AOMTL
传统的访问控制方式已不能满足多域环境下的资源共享和跨域访问的安全需求,建立安全互操作模型是进行安全互操作的有效途径。针对现有域间安全互操作模型未考虑用户平台的问题,提出了一种基于可信等级的域间安全互操
为提高安全性,一般利用密码技术,但系统运行过程的安全尚显不足,为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性,构造安全行为,使得系统在运行过程中的每次转移都满足安全属性,从而提高
以DataLog逻辑描述语言的Herbrand模型为基础定义策略语言,实现访问控制与授权控制逻辑,提出了积极协商策略,以解决信任协商中的多方协商问题。
SIP-T协议研究及对OSIP协议栈的改进,杜中华,徐塞虹,本文介绍了SIP-T协议的规范和基本概念,对OSIP协议栈作了简要描述和分析。并以中继网关上基于OSIP协议栈的SIP-T的实现为依据,提出
暂无评论