24 citations · 79 across the 22 of their papers we have counts for
3 papers · 1 filter
Security policies for distributed systems
Jean Quilbeuf, Georgeta Igna, Denis Bytschkow +1
A security policy specifies a security property as the maximal information flow. A distributed system composed of interacting processes implicitly defines an intransitive security…
On Behavioral Types for OSGi: From Theory to Implementation
Jan Olaf Blech, Harald Rueß, Bernhard Schätz
This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been publishe…
EFSMT: A Logical Framework for Cyber-Physical Systems
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess +1
The design of cyber-physical systems is challenging in that it includes the analysis and synthesis of distributed and embedded real-time systems for controlling, often in a nonline…