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

Hussam M.N. Al Hamadi, Amjad Gawanmeh, M. A. Al-Qutayri

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

14 Scopus citations

Fingerprint

Dive into the research topics of 'Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems'. Together they form a unique fingerprint.

Computer Science