Secure and Anonymous Communication Technique: Formal Model and Its Prototype Implementation | IEEE Journals & Magazine | IEEE Xplore