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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback