Sciweavers

Share
72 search results - page 15 / 15
» Algebraic Intruder Deductions
Sort
View
KI
2010
Springer
9 years 11 days ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
CSFW
2008
IEEE
10 years 2 days ago
Information Flow in Systems with Schedulers
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
Ron van der Meyden, Chenyi Zhang
books