A Per Model of Secure Information Flow i
β
Andrei Sabelfeld; David Sands
π
Article
π
2001
π
Springer
π
English
β 166 KB