Location:
Search - scyther
Search list
Description: An overview of the EAP-based handover
procedures of the IEEE 802.16e standard is introduced and their
security vulnerabilities are analyzed. Possible solutions for secure
handover in IEEE 802.16e networks that guarantee a backward
and forward secrecy are described and formally verified using
Scyther, a specialized model checker for security protocols. These
solutions showed a few drawbacks in the verified procedure and
some modifications are proposed for a more secure and efficient
handover protocol.
Platform: |
Size: 626688 |
Author: serag |
Hits:
Description: Python配套使用资料，更直观的看到协议分析图，更好地学习。-Python supporting the use of data, see the protocol analysis more intuitive, better learning.
Platform: |
Size: 910336 |
Author: venessa |
Hits: