Anomaly detection; behavior tree; formal verification; mobile agent; wireless sensor networks (WSNs);
机译:基于模糊逻辑的智能家居传感器网络中基于移动代理的跨层异常检测
机译:无线传感器网络中基于不完整β分布的移动代理信誉检测
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:正式验证无线传感器网络中基于移动代理的异常检测
机译:在无线传感器网络中集成移动代理和分布式传感器
机译:基于多协议移动代理的无线传感器网络数据融合方案设计与分析
机译:无线传感器网络中基于移动代理的异常检测的形式验证