| |
In Model Driven Engineering Languages and Systems, Vol. 5301 (2009), pp. 537-552.
|
| |
|
| |
In PLAS '09: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009), pp. 125-131.
|
| |
1997 IEEE Symposium on Security and Privacy In 1997 IEEE Symposium on Security and Privacy (1997), pp. 31-42.
|
| |
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.
|
| |
Journal of Systems and Software, Vol. 82, No. 1. (January 2009), pp. 101-111.
|
| |
No. CSE-98-3. (30 Sep 1998)
|
| |
|
| |
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 21st ACM SIGOPS symposium on Operating Systems Principles (SOSP '07) (2007), pp. 31-44.
|
| |
In 16th USENIX Security Symposium on USENIX Security Symposium (SS'07) (2007), pp. 1-16.
|
| |
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)
|
| |
ACM Transactions on Computer Systems, Vol. 10, No. 3. (1992), pp. 226-264.
|
| |
6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) In 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) (November 2008), pp. 107-116.
|
| |
|
| |
Security Protocols In Security Protocols, Vol. 3364 (2005), pp. 178-182.
|
| |
In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52.
|
| |
Foundations of Security Analysis and Design In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 137-196.
|
| |
In SOSP '75: Proceedings of the Fifth ACM Symposium on Operating Systems Principles (1975), pp. 197-206.
|
| |
Advances in Computers, Vol. 55 (2001), pp. 186-237.
|
| |
Security and Privacy, 1989. Proceedings., 1989 IEEE Symposium on In Proceedings of the 1989 IEEE Symposium on Security and Privacy (1989), pp. 206-214.
|
| |
ACM Transactions on Information and System Security (TISSEC), Vol. 3, No. 1. (2000), pp. 30-50.
|
| |
No. CSL-92-02. (December 1992)
|
| |
In Computer Security -- ESORICS 2007, Vol. 4734 (2008), pp. 235-250.
|
| |
Computer, Vol. 23, No. 1. (January 1990), pp. 9-16.
|
| |
In Proceedings of the 4th ACM Conference on Computer and Communications Security (1997), pp. 125-134.
|
| |
In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 150-160.
|
| |
Journal of Computer Security, Vol. 1, No. 2. (1992), pp. 159-188.
|
| |
In Proceedings of the 1987 IEEE Symposium on Security and Privacy (1987), pp. 184-194.
|
Search
Export
