Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems.
Hussam M. N. Al HamadiAmjad GawanmehMahmoud Al-QutayriPublished in: ICECS (2013)
Keyphrases
- extended abstract
- theorem proving
- healthcare systems
- first order logic
- privacy preserving
- automated deduction
- automated reasoning
- theorem prover
- term rewriting
- inference rules
- personal information
- parallel search
- model checking
- decision procedures
- geometry theorem proving
- consequence finding
- privacy protection
- electronic health records
- proof procedure
- automated theorem proving
- private information
- proof planning
- artificial intelligence
- sensitive information
- healthcare professionals
- privacy concerns
- monitoring system
- health care
- knowledge representation
- knowledge base