A Provably-Secure Cross-Domain Handshake Scheme with Symptoms-Matching for Mobile Healthcare Social Network | IEEE Journals & Magazine | IEEE Xplore