| |
Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220.
|
| |
In Sicherheit, Vol. 62 (2005), pp. 113-124.
|
| |
|
| |
In Programming Methodology (2003), pp. 441-460.
|
| |
ACM Transactions on Information and System Security, Vol. 12, No. 1. (2008), pp. 1-47.
|
| |
IEEE Computer Society Symposium on Research in Security and Privacy In IEEE Computer Society Symposium on Research in Security and Privacy (1992), pp. 164-176.
|
| |
Proceedings of the 1992 IEEE Symposium on Security and Privacy In Proceedings of the 1992 IEEE Symposium on Security and Privacy (1992), pp. 137-147.
|
| |
In Encyclopedia of Software Engineering, Vol. 2 (1994), pp. 1136-1145.
|
| |
Formal Aspects of Computing, Vol. 8, No. 6. (1 November 1996), pp. 617-647.
|
| |
In Proceedings of the 1990 IEEE Symposium on Security and Privacy (1990), pp. 144-161.
|
| |
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 Computer Safety, Reliability, and Security, Vol. 4166 (2006), pp. 142-155.
|
| |
In Computer Security -- ESORICS 2002, Vol. 2502 (2002), pp. 194-211.
|
| |
In Proceedings of the 1990 IEEE Symposium on Security and Privacy (1990), pp. 180-187.
|
| |
|
| |
IEEE Transactions on Software Engineering, Vol. 17, No. 11. (1991), pp. 1186-1194.
|
| |
In Proceedings of the 1991 IEEE Symposium on Security and Privacy (1991), pp. 21-34.
|
| |
Journal of Automated Reasoning, Vol. 36, No. 1. (January 2006), pp. 85-124.
|
Search
Export
Sort
