...
机译:在不确定环境中验证安全网络协议
Applied Physics Laboratory, The Johns Hopkins University, Laurel, MD, USA;
protocol verification; discrete event control; pushdown machine;
机译:针对流氓基站/中继站的移动多跳中继WiMAX网络的安全相互认证协议的设计和验证
机译:关于自动执行安全自组织网络路由协议的验证
机译:使用洋葱协议实现安全的跃点间验证,以实现无线网络中的可靠路由
机译:SecureDAV:用于传感器网络的安全数据聚合和验证协议
机译:跨层技术可确保对等协议的安全,以进行位置,邻接和身份验证。
机译:考虑安全数据聚合的无线传感器网络安全路由协议
机译:SecureDAV:用于传感器网络的安全数据聚合和验证协议