| |
Computer Security - ESORICS 2000 (2000), pp. 17-36.
|
| |
Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220.
|
| |
|
| |
Abstract State Machines, B and Z In Abstract State Machines, B and Z, Vol. 5238 (2008), pp. 181-194.
|
| |
Logics of Specification Languages In Logics of Specification Languages (2008), pp. 47-152.
|
| |
|
| |
Computer, Vol. 42, No. 9. (September 2009), pp. 30-36.
|
| |
|
| |
B’98: Recent Advances in the Development and Use of the B Method In B’98: Recent Advances in the Development and Use of the B Method, Vol. 1393 (1998), pp. 46-65.
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 5423 (2009), pp. 151-166.
|
| |
Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17.
|
| |
In Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (2009), pp. 437-440.
|
| |
|
| |
Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676.
|
| |
Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58.
|
| |
Automata, Languages and Programming In Automata, Languages and Programming, Vol. 5126 (2008), pp. 1-13.
|
| |
|
| |
Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248.
|
| |
Journal of Computer Security, Vol. 3, No. 1. (1995), pp. 5-34.
|
| |
|
| |
In Sicherheit, Vol. 62 (2005), pp. 113-124.
|
| |
Information Processing Letters, Vol. 25, No. 2. (06 May 1987), pp. 71-76.
|
| |
L'Enseignement Mathématique, Vol. 16 (1970), pp. 123-152.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-8.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-56.
|
| |
Mechanizing Mathematical Reasoning In Mechanizing Mathematical Reasoning, Vol. 2605 (2005), pp. 452-475.
|
| |
|
| |
|
| |
Elementary Set Theory with a Universal Set (1998)
|
| |
In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992)
|
| |
|
| |
Mathematical Foundations of Computer Science 1993 In Mathematical Foundations of Computer Science 1993, Vol. 711 (1993), pp. 301-310.
|
| |
Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87.
|
| |
In Workshop on Foundations of Computer Security (FCS'09). Affiliated with Logic in Computer Science (LICS) (August 2009)
|
| |
Journal of the ACM, Vol. 16, No. 1. (January 1969), pp. 3-12.
|
| |
Journal of Computer Security (2009)
|
| |
Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153.
|
| |
Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62.
|
| |
Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
Mathematical Foundations of Computer Science 1998 In Mathematical Foundations of Computer Science 1998, Vol. 1450 (1998), pp. 142-151.
|
| |
|
| |
|
| |
|
| |
|
| |
Journal of Cryptology, Vol. 13, No. 1. (24 September 2000), pp. 143-202.
|
| |
|
| |
Journal of the American Institute of Elecrical Engineers, Vol. 45 (February 1926), pp. 109-115.
|
| |
Social Science Research Network Working Paper Series (17 August 2009)
|
CiteULike
michaelbanks's CiteULike
Search
