Close Menu

Dr. Phillipa Bennett

Department: 
Computing
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. 
Research Areas: 
Software Modeling
Formal Methods
Top of Page Dr. Phillipa Bennett | The Faculty of Science and Technology

Temporarily Offline

The website encountered an unexpected error. Please try again later.