Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems

Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri. Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems. In 20th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2013, Abu Dhabi, December 8-11, 2013. pages 100-101, IEEE, 2013. [doi]

Abstract

Abstract is missing.