1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CR2013★ 1 cited
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…
cs.FL2009
Adaptive Scheduling of Data Paths using Uppaal Tiga
Israa AlAttili, Fred Houben, Georgeta Igna +3
We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As…