Close Menu

Dr. Phillipa Bennett

Department: 
Computing
Research Areas: 
Software Modeling
Formal Methods
Description:
Developed a  A Hybrid Model Checking Approach (HMCA) to Analysing Rule Conformance applied to HIPAA Privacy Rules. Current work on making the method repeatable in other domains by developing/expanding the details of the method. 

CONTACT US

123 Cross Way,
Kingston 7
Tel: (876) 999-9999
Fax: (876) 888-8888
department@uwimona.edu.jm
Top of Page