Formalizing the design, evaluation, and analysis of quality of protection in wireless networks | KICS Journals & Magazine | IEEE Xplore