首页> 外文OA文献 >Modeling and verifying physical properties of security protocols for wireless networks

【2h】

Modeling and verifying physical properties of security protocols for wireless networks

机译：建模和验证无线网络安全协议的物理属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

AI期刊论文写作 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Patrick Schaller; Benedikt Schmidt; David Basin; Srdjan Capkun;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT [J] . Chen Tieming, Yu Zhenbo, Li Shijian, Journal of Sensors . 2016,第Pta1期

机译：从无线传感器网络到无线人体局域网：使用PAT进行安全性的正式建模和验证
2. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT [J] . TiemingChen, ZhenboYu, ShijianLi, Journal of Sensors . 2016,第2期

机译：从无线传感器网络到无线人体局域网：使用PAT进行安全性的正式建模和验证
3. Verifying Security Protocols Modelled by Networks of Automata [J] . Miroslaw Kurkowski, Wojciech Penczek Fundamenta Informaticae . 2007,第3a4期

机译：验证由自动机网络建模的安全协议
4. Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks [C] . IEEE Computer Security Foundations Symposium . 2009

机译：用于无线网络安全协议的建模和验证物理性质
5. Data dissemination protocols in wireless sensor networks: Design, modeling and security [D] . De, Pradip 2008

机译：无线传感器网络中的数据分发协议：设计，建模和安全性
6. A Security Analysis of the 802.11s Wireless Mesh Network Routing Protocol and Its Secure Routing Protocols [O] . Whye Kit Tan, Sang-Gon Lee, Jun Huy Lam, 2013

机译：802.11s无线网状网络路由协议及其安全路由协议的安全性分析
7. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT [O] . Tieming Chen, Zhenbo Yu, Shijian Li, 2016

机译：从无线传感器网络到无线体积网络：使用PAT的正式建模和验证安全

Modeling and verifying physical properties of security protocols for wireless networks

著录项

引文网络

相似文献

相关主题

期刊订阅