| |
Computer Security - ESORICS 2000 (2000), pp. 17-36.
|
| |
In SACMAT '07: Proceedings of the 12th ACM symposium on Access control models and technologies (2007), pp. 215-224.
|
| |
In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204.
|
| |
1997 IEEE Symposium on Security and Privacy In 1997 IEEE Symposium on Security and Privacy (1997), pp. 31-42.
|
| |
Formal Aspects of Computing (2009)
|
| |
|
| |
Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 352-367.
|
| |
In NSPW '97: Proceedings of the 1997 workshop on New security paradigms (1997), pp. 83-93.
|
| |
Foundations of Security Analysis and Design In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 137-196.
|
| |
In Proceedings of the 5th Princeton Symposium on Information Sciences and Systems (March 1971), pp. 437-443.
|
| |
Advances in Computers, Vol. 55 (2001), pp. 186-237.
|
| |
Computer, Vol. 26, No. 11. (1993), pp. 9-19.
|
| |
ACM Computer Surveys, Vol. 37, No. 1. (March 2005), pp. 29-41.
|
| |
ACM Transactions on Information and System Security, Vol. 7, No. 1. (2004), pp. 128-174.
|
| |
IEEE Computer, Vol. 29, No. 2. (February 1996), pp. 38-47.
|
| |
In Computer Security -- ESORICS 2007, Vol. 4734 (2008), pp. 235-250.
|
| |
In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 331-396.
|
| |
In Proceedings of the 15th National Computer Security Conference (1992), pp. 554-563.
|
CiteULike
michaelbanks's CiteULike
Search
Export
