| |
In Proceedings of the 13th {USENIX} Security Symposium (August 2004)
|
| |
|
| |
System Sciences, 2005. HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on (2005), pp. 186b-186b.
|
| |
Imperial College Research Report DoC 2000/1 (2000)
|
| |
In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 31-44.
|
| |
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In CSF '07: Proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 3-15.
|
| |
ACM Comput. Surv., Vol. 37, No. 1. (March 2005), pp. 29-41.
|
| |
In Trusted Computing, 2nd International Conference, Trust 2009, Vol. 5471 (2009)
|
| |
Information Security Technical Report, Vol. 13, No. 1. (2008), pp. 17-24.
|
| |
In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52.
|
| |
ACM Computing Surveys (2009)
|
| |
Computer Security - ESORICS 2000 (2000), pp. 17-36.
|
| |
In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 335-350.
|
| |
|
| |
In CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations (2006), pp. 98-111.
|
| |
Proceedings of the IEEE, Vol. 63, No. 9. (28 June 2005), pp. 1278-1308.
|
| |
ACM Trans. Comput. Syst., Vol. 1, No. 3. (August 1983), pp. 239-248.
|
| |
Advances in Information and Computer Security (2007), pp. 262-277.
|
| |
Advances in Information and Computer Security (2007), pp. 169-184.
|
| |
Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual In Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual (2007), pp. 40-51.
|
| |
Advances in Information and Computer Security (2007), pp. 214-229.
|
| |
Advances in Information and Computer Security (2007), pp. 230-245.
|
Search
