Output details
11 - Computer Science and Informatics
University of Aberdeen
A Logical and Computational Theory of Located Resource
<11>A new theory of computational and discrete dynamical systems featuring state of a particular form is presented. This was inspired by practical experience of systems modelling and simulation in industry. Published in the leading journal for logic and its applications in computing, the theory now informs ongoing applied modelling work, particularly on information security. This on-going research includes work within the RCUK/TSB-funded Trust Domains project 2011-2014 (TS/I002502/1) and the EPSRC Algebra and Logic for Policy and Utility in Information Security project 2013-2017 (EP/K033042/1), in which we are working with Hewlett-Packard and National Grid.