Follow
Michael J. Banks
Michael J. Banks
Department of Computer Science, University of York, UK
Verified email at banksie.co.uk - Homepage
Title
Cited by
Cited by
Year
Unifying theories of confidentiality
MJ Banks, JL Jacob
Unifying Theories of Programming: Third International Symposium, UTP 2010 …, 2010
172010
On modelling user observations in the UTP
MJ Banks, JL Jacob
Unifying Theories of Programming: Third International Symposium, UTP 2010 …, 2010
82010
On integrating confidentiality and functionality in a formal method
MJ Banks, JL Jacob
Formal Aspects of Computing 26, 963-992, 2014
52014
Specifying confidentiality in Circus
MJ Banks, JL Jacob
International Symposium on Formal Methods, 215-230, 2011
42011
On confidentiality and formal methods
MJ Banks
University of York, 2012
22012
Calculated secure processes
MJ Banks, JL Jacob
Proceedings of the Third York Doctoral Symposium on Computing (YDS 2010 …, 2010
12010
Confidentiality Annotations for Circus
MJ Banks, JL Jacob
Sponsoring Institutions, 15, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–7