Systems and Security Modelling: From Theory to Practice (Really) by Professor David J. Pym

Abstract: I describe a mathematical systems modelling framework that is motivated by a desire to represent and reason about properties of (large-scale) systems situated in dynamic environments. Motivated by the concepts of distributed systems theory, the framework has at its core mathematical treatments of environment, location, resource, and process, and comes along with a separating modal logic. Extensions to analyze questions in computer security are also considered. The mathematical structures provide a semantics for a modelling tool, called (Core) Gnosis, that, together with some elementary utility theory, has been deployed in a range of commercial projects undertaken with Hewlett-Packard’s information security business and its customers. I conclude by discussing the rôle of economics in the context of modelling questions in information security.




Biography:

Professor David J. Pym, 6th Century Chair in Logic, and SICSA Professor of Computing Science, Head of School of Natural and Computing Sciences, University of Aberdeen. Previously Principal Scientist at HP Labs, Bristol and Professor of Logic & Computation at Bath, Professor of Logic at QMUL. PhD Edinburgh; MA, ScD Cambridge; FIMA, FBCS.

Led the ‘Security Analytics’ project at HP Labs, now deployed commercially by Hewlett-Packard in its information security business. One of the designers of the Core Gnosis tool for systems and security modelling which is used to deliver the modelling part of Security Analytics. See this recent news piece about my colleagues at HP: http://www.hpl.hp.com/news/2011/oct-dec/security_analytics.html


David is currently interested in the following areas:


  • Mathematical systems modelling, using algebraic, logical, and stochastic methods, with applications in information security;
  • Topics related to the economics of information security;
  • Topics related to the economics of systems thinking;
  • Topics connecting logic (substructural, modal; process algebra) and utility theory;
  • Topics in logic related to information flow and trust domains;
  • Topics related to information security, information stewardship, and cloud computing;
  • Topics in logic related to the theory of search spaces.

Event details

  • When: 24th October 2011 14:00 - 15:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium