Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing
| العنوان: | Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing |
|---|---|
| المؤلفون: | Manu Drijvers, Bernard van Gastel, Sjaak Smetsers, Marko van Eekelen, Rody Kersten |
| المصدر: | Lecture Notes in Computer Science ISBN: 9783642380877 NASA Formal Methods |
| بيانات النشر: | Springer Berlin Heidelberg, 2013. |
| سنة النشر: | 2013 |
| مصطلحات موضوعية: | Model checking, Operations research, Computer science, Pairing, Distributed computing, Wi-Fi Protected Setup, Spin-½, Vulnerability (computing) |
| الوصف: | Wi-Fi Protected Setup is an attempt to simplify configuration of security settings for Wi-Fi networks. It offers, among other methods, Push-Button Configuration (PBC) for devices with a limited user-interface. There are however some security issues in PBC. A solution to these issues was proposed in the form of Tamper-Evident Pairing (TEP). |
| ردمك: | 978-3-642-38087-7 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::2ff38ad4008a6b0d9ba22470efa0d6d3 https://doi.org/10.1007/978-3-642-38088-4_5 |
| حقوق: | OPEN |
| رقم الأكسشن: | edsair.doi...........2ff38ad4008a6b0d9ba22470efa0d6d3 |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783642380877 |
|---|