Unifying theories of confidentiality MJ Banks, JL Jacob Unifying Theories of Programming: Third International Symposium, UTP 2010 …, 2010 | 17 | 2010 |
On modelling user observations in the UTP MJ Banks, JL Jacob Unifying Theories of Programming: Third International Symposium, UTP 2010 …, 2010 | 8 | 2010 |
On integrating confidentiality and functionality in a formal method MJ Banks, JL Jacob Formal Aspects of Computing 26, 963-992, 2014 | 5 | 2014 |
Specifying confidentiality in Circus MJ Banks, JL Jacob International Symposium on Formal Methods, 215-230, 2011 | 4 | 2011 |
On confidentiality and formal methods MJ Banks University of York, 2012 | 2 | 2012 |
Calculated secure processes MJ Banks, JL Jacob Proceedings of the Third York Doctoral Symposium on Computing (YDS 2010 …, 2010 | 1 | 2010 |
Confidentiality Annotations for Circus MJ Banks, JL Jacob Sponsoring Institutions, 15, 2011 | | 2011 |