17 citations · 26 across the 12 of their papers we have counts for
1 paper · 2 filters
Roberto Gorrieri
Information flow security properties were defined some years ago (see, e.g., the surveys \cite{FG01,Ry01}) in terms of suitable equivalence checking problems. These definitions wer…