| |
Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676.
|
| |
Formal Aspects of Computing (2009)
|
| |
Computer Networks, Vol. 33, No. 1-6. (June 2000), pp. 77-93.
|
| |
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In 20th IEEE Computer Security Foundations Symposium (CSF'07) (July 2007), pp. 3-15.
|
| |
In POLICY '01: Proceedings of the International Workshop on Policies for Distributed Systems and Networks, Vol. 1995 (2001), pp. 18-38.
|
| |
Imperial College Research Report DoC 2000/1 (2000)
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22.
|
| |
Communications of the ACM, Vol. 21, No. 7. (July 1978), pp. 558-565.
|
| |
In EATCS Bulletin, No. 53. (June 1994), pp. 268-272.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 236 (2009), pp. 65-84.
|
| |
ACM Transactions on Computer Systems, Vol. 7, No. 3. (1989), pp. 247-280.
|
| |
Science, Vol. 314, No. 5799. (27 October 2006), pp. 610-613.
|
| |
|
| |
Journal of the ACM, Vol. 37, No. 3. (1990), pp. 549-587.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 7, No. 3. (July 1985), pp. 404-425.
|
CiteULike
michaelbanks's CiteULike
Search
Export
