Security specification and implementation for mobile e-health services | IEEE Conference Publication | IEEE Xplore