身份认证是保障合法实体间信息传输安全、保证用户享受可靠网络服务的关键技术,也是信息安全研究的重要方向。本文对基于切比雪夫......

窄带物联网(Narrow bandwidth Internet of Things,NB-IoT)是即将到来的第五代(fifth Generation,5G)移动网络的关键业务驱动力,5G......

安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的。安全协议分析工具是指一套建立和分析安全协......

形式化方法是分析和验证安全协议的有效手段.AVISPA工具集是一套建立和分析安全协议模型的形式化自动分析工具,结合SPAN可以对安全......

AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协......