| |
Functional Programming Languages and Computer Architecture, Vol. 201 (1985), pp. 113-128.
|
| |
|
| |
|
| |
|
| |
In Computer Security -- ESORICS 2007, Vol. 4734 (2008), pp. 235-250.
|
| |
|
| |
No. YCS-2002-347. (December 2002)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 197, No. 2. (22 February 2008), pp. 31-43.
|
| |
|
| |
In SOSP '75: Proceedings of the Fifth ACM Symposium on Operating Systems Principles (1975), pp. 197-206.
|
| |
In Proceedings of the 5th Princeton Symposium on Information Sciences and Systems (March 1971), pp. 437-443.
|
| |
No. TR-08-06. (September 2008)
|
| |
In Proceedings of the 1990 IEEE Symposium on Security and Privacy (1990), pp. 144-161.
|
| |
In Proceedings of the 9th National Computer Security Conference (1986), pp. 175-183.
|
| |
Bell System Technical Journal, Vol. 27, No. 3. (July 1948), pp. 379-423.
|
| |
Information and Computation, Vol. 206, No. 2-4. (February 2008), pp. 213-249.
|
| |
In Computer Security -- ESORICS 2006, Vol. 4189 (2006), pp. 225-242.
|
| |
|
| |
In Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Vol. 168 (February 2007), pp. 61-75.
|
| |
|
| |
Theoretical Computer Science, Vol. 315, No. 1. (May 2004), pp. 209-256.
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 36-60.
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 61-74.
|
| |
In Security Protocols: 16th International Workshop (2008)
|
| |
In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 331-396.
|
| |
IEEE Transactions on Information Theory, Vol. 29, No. 2. (March 1983), pp. 198-208.
|
| |
Communications of the ACM, Vol. 20, No. 7. (1977), pp. 504-513.
|
| |
Formal Aspects of Computing, Vol. 15, No. 2-3. (November 2003), pp. 146-181.
|
| |
No. ESD-TR-75-306. (1976)
|
| |
Formal Aspects of Computing, Vol. 12, No. 5. (2000), pp. 313-349.
|
| |
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on In Sixth IEEE International Conference on Software Engineering and Formal Methods (14 November 2008), pp. 281-290.
|
| |
Formal Aspects of Computing (2007)
|
| |
|
| |
In Model Driven Engineering Languages and Systems, Vol. 5301 (2009), pp. 537-552.
|
| |
In ECOOP'97 — Object-Oriented Programming, Vol. 1241 (1997), pp. 220-242.
|
| |
|
| |
|
| |
Formal Methods for Open Object-Based Distributed Systems In Formal Methods for Open Object-Based Distributed Systems, Vol. 4037 (2006), pp. 138-155.
|
| |
In High Noon on the Electronic Frontier Conceptual Issues in Cyberspace (1996), pp. 137-161.
|
| |
No. UCAM-CL-TR-754. (August 2009)
|
| |
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 239-257.
|
| |
In Proceedings of the New Security Paradigms Workshop 2009 (2010)
|
| |
In Monographs in Theoretical Computer Science. An EATCS Series (2006)
|
| |
|
| |
|
| |
|
| |
|
| |
Computer In Computer, Vol. 38, No. 12. (2005), pp. 128-127.
|
Search
