...
机译:模型检查无线传感器网络安全协议:TinySec + LEAP + TinyPK
Instituto de Investigación en Informática Universidad de Castilla-La Mancha Albacete Spain;
Instituto de Investigación en Informática Universidad de Castilla-La Mancha Albacete Spain;
Instituto de Investigación en Informática Universidad de Castilla-La Mancha Albacete Spain;
Instituto de Investigación en Informática Universidad de Castilla-La Mancha Albacete Spain;
Instituto de Investigación en Informática Universidad de Castilla-La Mancha Albacete Spain;
Wireless sensor; Model checking; Security protocols; AVISPA toolbox;
机译:模型检查无线传感器网络安全协议:TinySec + LEAP + TinyPK
机译:无线传感器网络的安全性-改进LEAP协议
机译:无线传感器网络中基于QoS的路由协议的模型检验驱动设计
机译:模型检查无线传感器网络安全协议:TinySec + LEAP
机译:无线传感器网络中的数据分发协议:设计,建模和安全性
机译:低功耗侦听MAC协议中检查间隔的跨层适应以延长无线传感器网络的使用寿命
机译:无线传感器网络中的安全 - 改进LEap协议