Abstract: Introducing formal methods in the automatic resolution of network security management problems can guarantee solution correctness, so also boosting human confidence in using automatic ...
Abstract: To improve the reliability and efficiency of underwater acoustic sensor networks (UASNs) under limited node energy and network attacks, a joint scheme of enhancing robustness and extending ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback