ion-based failure diagnosis for discrete event systems Klaus Schmidt∗ Chair of Automatic Control, University of Erlangen-Nuremberg, Cauerstrasse 7, 91058 Erlangen, Germany a r t ...
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...