25 citations · 50 across the 16 of their papers we have counts for
1 paper · 1 filter
David A. Naumann
Many high-level security requirements are about the allowed flow of information in programs and are difficult to make precise because they involve selective downgrading. Notions fr…