论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
为了解决无线传感器网络在军事、商业等领域上的安全和隐私问题,文中分析了传感器节点通信过程中可能遭受的攻击及其防御措施,提出了一种验证安全通信是否真正安全的方法。该方法是一种混合型的形式化分析方法,先应用模型检测工具AVISPA分析安全通信过程是否会遭到攻击,然后采用形式化验证方法Object-Z建立模型和分析,并证明安全通信过程能否实现其安全目标。文中以基于传感器网络加密协议的安全通信过程为例,证
【机 构】
：
福州大学物理与信息工程学院,
【出 处】
：
信息安全与通信保密
【发表日期】
：
2013年04期
其他文献
仿真系统的数据采集是仿真系统应用的重要环节。体系对抗仿真数据采集面临的主要问题是传统的数据采集方法不区分数据的任务属性,导致后期分析任务的完成情况时难以得到相关数据。针对该问题提出了基于任务的数据采集方法,对采集的数据按任务进行组织,支持后期对仿真结果的分析和其他应用。介绍了该方法的主要内容和实现过程,给出该方法一般流程和总体框架。数据采集实例诠释了该方法的实际应用过程,验证了该方法在体系对抗仿真
新形势下,高校意识形态工作越来越凸显其重要性.在意识形态领域下,大学生党员是我党发展的中坚力量,大学生党员质量的高低关乎到社会主义国家的建设,关乎到党和未来事业的发
在高层建筑发生火灾时,电梯在人员疏散方面有极大的潜在利用价值.除使用消防电梯进行灭火、救援外,还应发挥电梯在竖向交通方面的优势,在最短的时间内疏散尽可能多的人员.从
今年第8号强台风“玛莉亚”正面袭击了我国东部沿海,7月11日上午9时10分在福建连江县黄岐半岛登陆,中心附近最大风力14级(42m/s),登陆前在福建宁德、福鼎等地测到风速达57-59
期刊
“以安全为最高利益”,“让安全成为一种习惯,让习惯变得更安全”。这就是中国铝业中州分公司的企业安全文化特色。中国铝业中州分公司以“崇尚安全技术,追求本质安全”为方
8月27日,由湛江市对虾苗种协会主办的“2018湛江市对虾苗种协会种虾技术交流暨采购洽谈会”在湛江市举行.11家种虾供应商(SIS、KonaBay(科那湾)、API、SyAqua(日夜快)、SPD、
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
针对自适应拥塞控制系统操作特性所出现的低速率拒绝服务攻击(LDoS,Low-rate Denial of Service attacks)是近年来的一类新型DoS攻击。与传统洪范式DoS攻击相比,LDoS具有攻击效率更高、检测难度更大等特点。在对常用攻击模拟分析平台NS2进行缺陷分析的基础上,提出了一种基于有色Petri网(CPN)的LDoS攻击系统建模方法,应用仿真工具CPN Tools实现了对