1. AVISPA, Automated Validation of Internet Security Protocols and Applications. http://www.avispa-project.org/ (accessed March 2018).
2. Using the timing information of heartbeats as an entity identifier to secure body sensor network;Bao;IEEE Trans. Inf. Technol. Biomed.,2008
3. Automatic verification of security protocols in the symbolic model: the verifier proverif;Blanchet,2014
4. Biometric methods for secure communications in body sensor networks: resource efficient key management and signal-level data scrambling;Bui;EURASIP J. Adv. Signal Process.,2008
5. A novel biometrics method to secure wireless body area sensor networks for telemedicine and M-health;Carmen,2006