| |
|
| |
Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.
|
| |
1997 IEEE Symposium on Security and Privacy In 1997 IEEE Symposium on Security and Privacy (1997), pp. 31-42.
|
| |
Formal Aspects of Computing (2009)
|
| |
Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on In 2008 IEEE Workshop on Policies for Distributed Systems and Networks - POLICY (June 2008), pp. 245-246.
|
| |
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)
|
| |
In 11th High-Assurance Systems Engineering Symposium (HASE '08) (23 December 2008), pp. 165-174.
|
| |
|
| |
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.
|
| |
No. SRI-CSL-93-1. (February 1994)
|
| |
Communications of the ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058.
|
| |
Security Protocols In Security Protocols, Vol. 3364 (2005), pp. 178-182.
|
| |
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.
|
| |
Communications of the ACM, Vol. 32, No. 1. (January 1989), pp. 32-45.
|
| |
In The Theory and Practice of Refinement: Approaches to the Development of Large-Scale Software Systems (1989), pp. 27-36.
|
| |
|
| |
Proceedings of the 2002 IEEE Symposium on Security and Privacy In Proceedings of the 2002 IEEE Symposium on Security and Privacy (2002), pp. 88-101.
|
| |
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 15, No. 1. (January 1993), pp. 73-132.
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. 16, No. 6. (June 1990), pp. 593-607.
|
| |
IEEE Transactions on Software Engineering, Vol. 16, No. 6. (1990), pp. 581-592.
|
| |
|
| |
|
| |
ACM Computer Surveys, Vol. 37, No. 1. (March 2005), pp. 29-41.
|
| |
Formal Aspects of Computing, Vol. 19, No. 4. (November 2007), pp. 475-485.
|
| |
|
| |
In Computer Safety, Reliability, and Security, Vol. 4166 (2006), pp. 142-155.
|
| |
In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 214-227.
|
| |
In Eighth ACM Symposium on Operating System Principles ({SOSP} '81) (December 1981), pp. 12-21.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 14-23.
|
| |
|
| |
No. ESD-TR-76-372. (1977)
|
| |
No. ESD-TR-75-306. (1976)
|
| |
Formal Aspects of Computing, Vol. 15, No. 2-3. (2003), pp. 103-117.
|
| |
In PODC '83: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (1983), pp. 131-142.
|
| |
In Automata, Languages and Programming, Vol. 4052 (2006), pp. 107-118.
|
CiteULike
michaelbanks's CiteULike
Search
Export
