| |
Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58.
|
| |
|
| |
|
| |
In Proceedings of the Verify'06 Verification Workshop (2006)
|
| |
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 2-10.
|
| |
Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50.
|
| |
Computer Security - ESORICS 2000 In Computer Security -- ESORICS 2000, Vol. 1895 (2000), pp. 238-254.
|
| |
In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 1-62.
|
| |
In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 214-227.
|
| |
No. CSL-92-02. (December 1992)
|
| |
In Computer Security -- ESORICS 2007, Vol. 4734 (2008), pp. 235-250.
|
| |
IEEE Transactions on Software Engineering, Vol. 13, No. 2. (February 1987), pp. 141-150.
|
| |
In Proceedings of the 1984 IEEE Symposium on Security and Privacy (1984), pp. 75-86.
|
| |
Journal of Computer Security, Vol. 1, No. 2. (1992), pp. 159-188.
|
| |
In Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, Vol. 99 (2004), pp. 127-154.
|
| |
In Proceedings of the First International Conference on Software Engineering and Formal Methods (SEFM'03) (2003), pp. 44-53.
|
CiteULike
michaelbanks's CiteULike
Search
Export
