Access Control; Authentication; Behavior tree; Formal Verification; Heterogeneous Networks; Linear Temporal Logict; Symbolic Analysis Laboratory; Wireless Networks;
机译:无线传感器网络的Ad Hoc路由协议的自动形式验证的综述
机译:用于安全网络身份验证的ZigBee协议验证的正式模型
机译:用于保护无线医疗保健传感器网络的强大认证和访问控制协议
机译:无线网络协同鲁棒认证协议的形式验证
机译:分支网络上参数化协议的形式验证。
机译:无线传感器网络中各种认证协议的比较研究
机译:无线网络协同鲁棒认证协议的形式验证
机译:无线认证协议实现:用于在地面和机载移动网络上进行测试的零知识证明(ZKp)协议实现的描述。