| |
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.
|
| |
Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.
|
| |
Automata, Languages and Programming In Automata, Languages and Programming, Vol. 5126 (2008), pp. 1-13.
|
| |
|
| |
Journal of Cryptology, Vol. 13, No. 1. (24 September 2000), pp. 143-202.
|
| |
|
| |
Journal of Systems and Software, Vol. 82, No. 1. (January 2009), pp. 101-111.
|
| |
Eighth Annual Computer Security Applications Conference In Eighth Annual Computer Security Applications Conference (1992), pp. 112-122.
|
| |
In FM 2009: Formal Methods, Vol. 5850 (2009), pp. 289-304.
edited by David Hutchison, Takeo Kanade, Josef Kittler, et al.Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ana Cavalcanti, Dennis R. Dams
|
| |
Logic-Based Program Synthesis and Transformation In Logic-Based Program Synthesis and Transformation, Vol. 4407 (2007), pp. 94-110.
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 5423 (2009), pp. 20-38.
|
| |
Software and Systems Modeling, Vol. 4, No. 4. (17 November 2005), pp. 355-357.
|
| |
IEEE Symposium on Security and Privacy In IEEE Symposium on Security and Privacy (1996), pp. 12-21.
|
| |
In NSPW '97: Proceedings of the 1997 workshop on New security paradigms (1997), pp. 83-93.
|
| |
IET Information Security, Vol. 3, No. 1. (2009), pp. 9-33.
|
| |
|
| |
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. 23, No. 9. (1997), pp. 550-571.
|
| |
Proceedings of the 2002 IEEE Symposium on Security and Privacy In Proceedings of the 2002 IEEE Symposium on Security and Privacy (2002), pp. 88-101.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 15, No. 1. (January 1993), pp. 73-132.
|
| |
9th IEEE Computer Security Foundations Workshop (CSFW '96) In 9th IEEE Computer Security Foundations Workshop (CSFW '96) (1996), pp. 82-94.
|
| |
Information Assurance in Computer Networks In Information Assurance in Computer Networks, Vol. 2052 (2001), pp. 28-38.
|
| |
In {Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)} (2007)
|
| |
IEEE Transactions in Software Engineering, Vol. 22, No. 1. (1996), pp. 53-67.
|
| |
In MFCSIT 2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Vol. 40 (2001), pp. 361-391.
|
| |
In Computer Security -- ESORICS 2002, Vol. 2502 (2002), pp. 194-211.
|
| |
In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 214-227.
|
| |
In Proceedings of the 1994 IEEE Symposium on Security and Privacy (1994), pp. 79-93.
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 177-186.
|
| |
IEEE Transactions on Software Engineering, Vol. 17, No. 11. (1991), pp. 1186-1194.
|
| |
No. UCAM-CL-TR-657. (2006)
|
| |
Formal Aspects of Computing, Vol. 15, No. 2-3. (2003), pp. 103-117.
|
CiteULike
michaelbanks's CiteULike
Search
Export
