2005 | ||
---|---|---|
1 | EE | Benjamin Schwarz, Hao Chen, David Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West: Model Checking An Entire Linux Distribution for Security Violations. ACSAC 2005: 13-22 |
1 | Hao Chen | [1] |
2 | Jeremy Lin | [1] |
3 | Geoff Morrison | [1] |
4 | Benjamin Schwarz | [1] |
5 | Wei Tu | [1] |
6 | David Wagner | [1] |