component; Wireless Networks; Authentication; Access Control; Heterogeneous Networks; Behavior tree; Formal Verification; Symbolic Analysis Laboratory; Linear Temporal Logict;
机译:无线传感器网络的Ad Hoc路由协议的自动形式验证的综述
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:用于无线网络协调的强大身份验证协议的正式验证
机译:分支网络上参数化协议的形式验证。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:无线网络协同鲁棒认证协议的形式验证