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