Static Analysis of HIPPA Security Requirements in Electronic Health Record Applications | IEEE Conference Publication | IEEE Xplore