2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2017
Checking and Enforcing Security through Opacity in Healthcare Applications
Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane
The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT…
cs.CR2013★ 2 cited
Opacity with Orwellian Observers and Intransitive Non-interference
John Mullins, Moez Yeddes
Opacity is a general behavioural security scheme flexible enough to account for several specific properties. Some secret set of behaviors of a system is opaque if a passive attacke…