期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于SDL语言的移动Ad-hoc网路由协议的设计和验证 被引量:1
1
作者 潘红艳 于全 《计算机科学》 CSCD 北大核心 2004年第3期31-33,共3页
论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法。
关键词 移动ad-hoc网路 路由协议 设计 验证 通信协议软件 sdl语言 计算机网络
下载PDF
An Efficient Trusted Computing Base for MANET Security 被引量:1
2
作者 Somya D. Mohanty Vinay Thotakura Mahalingam Ramkumar 《Journal of Information Security》 2014年第4期192-206,共15页
Devices participating in mobile ad hoc networks (MANET) are expected to strictly adhere to a uniform routing protocol to route data packets among themselves. Unfortunately, MANET devices, composed of untrustworthy sof... Devices participating in mobile ad hoc networks (MANET) are expected to strictly adhere to a uniform routing protocol to route data packets among themselves. Unfortunately, MANET devices, composed of untrustworthy software and hardware components, expose a large attack surface. This can be exploited by attackers to gain control over one or more devices, and wreak havoc on the MANET subnet. The approach presented in this paper to secure MANETs restricts the attack surface to a?single module?in MANET devices a trusted MANET module (TMM). TMMs are deliberately constrained to demand only modest memory and computational resources in the interest of further reducing the attack surface. The specific contribution of this paper is a precise characterization of simple TMM functionality suitable for any distance vector based routing protocol, to realize the broad assurance that “any node that fails to abide by the routing protocol will not be able to participate in the MANET”. 展开更多
关键词 Algorithm/Protocol design and Analysis network Protocols CRYPTOGRAPHIC CONTROLS mobile ad-hoc networks (MANET) Distance Vector (DV) Protocols Authenticated Data Structures (ADS)
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部