Adobe Illustrator CS5 enables the user to create drawings using layers. Layers separate the drawing into sections that can be edited independently of one another. For example, you can have the same ...

Abstract: Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the presence of ...

Abstract: In this article, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is modeled ...