Browsing Department of Computer Science by Title "Hybrid model checking approach to analysing rule conformance applied to HIPAA privacy rules, A"
Now showing items 1-1 of 1
Many of today's computing systems must show evidence of conformance to rules. The rules may come from business protocol choices or from multi-jurisdictional sources. Some examples are the rules that come from the regulations ...