33 citations · 116 across the 22 of their papers we have counts for
1 paper · 1 filter
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
In the literature, two powerful temporal logic formalisms have been proposed for expressing information flow security requirements, that in general, go beyond regular properties. O…