14 citations · 37 across the 13 of their papers we have counts for
1 paper · 2 filters
Gilles Benattar, Franck Cassez, Didier Lime +1
In this paper, we focus on the synthesis of secure timed systems which are modelled as timed automata. The security property that the system must satisfy is a non-interference prop…