| |
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.
|
| |
In 1st IEEE Computer Security Foundations Workshop (CSFW '88) (1988), pp. 98-111.
|
| |
Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50.
|
| |
25th IEEE International Conference on Distributed Computing Systems Workshops In 25th IEEE International Conference on Distributed Computing Systems Workshops (2005), pp. 114-120.
|
| |
In The Theory and Practice of Refinement: Approaches to the Development of Large-Scale Software Systems (1989), pp. 27-36.
|
| |
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (2008), pp. 5-19.
|
| |
Journal of Computer Security, Vol. 1, No. 4. (1992), pp. 385-411.
|
| |
In Proceedings of the 4th BCS-FACS Refinement Workshop (1991), pp. 441-455.
|
| |
In 4th IEEE Computer Security Foundations Workshop (CSFW '91) (1991), pp. 89-97.
|
| |
IEEE Transactions on Software Engineering, Vol. 17, No. 11. (1991), pp. 1186-1194.
|
| |
|
| |
Information Processing Letters, Vol. 34, No. 1. (1990), pp. 27-29.
|
| |
In Developments in Concurrency and Communication (1990), pp. 221-237.
|
| |
In Proceedings of the 1989 IEEE Symposium on Security and Privacy (1989), pp. 242-247.
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 14-23.
|
| |
In Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004), Vol. 125, No. 1. (2005), pp. 25-41.
|
| |
No. YCS-2004-376. (May 2004)
|
| |
Computational Intelligence, Vol. 20, No. 3. (2004), pp. 503-516.
|
| |
In Proceedings of the 2003 Congress on Evolutionary Computation, Vol. 3 (2003), pp. 2181-2188.
|
| |
In 8th IEEE Computer Security Foundations Workshop (CSFW '95) (1995), pp. 136-145.
|
| |
Information and Software Technology, Vol. 43, No. 14. (2001), pp. 891-904.
|
| |
In Proceedings of the 2000 IEEE Symposium on Security and Privacy (2000), pp. 82-95.
|
| |
|
| |
High Integrity Systems, Vol. 1, No. 5. (1996), pp. 465-473.
|
| |
Information Processing Letters, Vol. 56, No. 3. (1995), pp. 151-155.
|
Search
Export
Sort
