A General Framework for Secrecy Performance Analysis via Quantifier Elimination | IEEE Journals & Magazine | IEEE Xplore