- Information Stewardship in the Cloud: A Model-based Approach
- Semantics for Structured Systems Modelling and Simulation
- Decision Support for Systems Security Investment Yolanta Beresnevichiene, David Pym, Simon Shiu
- Economics of Identity and Access Management: Providing Decision Support for Investments
- Information Security Trade-offs and Optimal Patching Policies
- Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security
- Bunching for Regions and Locations Matthew Collinson 1,2
- A games semantics for reductive logic and proof-search , Eike Ritter2
- On Categorical Models of Classical Logic and the Geometry of Interaction
- Proofsearch in Typetheoretic Languages: An Introduction
- Under consideration for publication in Math. Struct. in Comp. Science Algebra and Logic for Resource-based
- On the intuitionistic force of classical search Eike Ritter David Pym Lincoln Wallen
- ESRCThe economics of information security ESRC Seminar Series
- Kripke resource models of a dependently-typed, bunched -calculus
- Bunched Logic Programming (Extended Abstract)
- Resourcedistribution via Boolean constraints James Harland David Pym y
- Under consideration for publication in Math. Struct. in Comp. Science Bunched Polymorphism
- Kripke resource models of a dependentlytyped, bunched lcalculus (extended abstract)
- Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach
- A Relevant Analysis of Natural Deduction S.S. Ishtiaq and D.J. Pym
- Proofterms for classical and intuitionistic resolution \Lambda
- Investments and Trade-offs in the Economics of Information Security
- 1 A Denotational Semantics for BLP We have provided an operational semantics for BLP, based on the construction of
- Corrections and Remarks Samin Ishtiaq and David Pym
- Under consideration for publication in Math. Struct. in Comp. Science The Semantics of BI and Resource Tableaux
- Under consideration for publication in Formal Aspects of Computing A Calculus and Logic of Resources
- DOI 10.1007/s00165-007-0047-2 Formal Aspects of Computing (2007) 19: 551554
- The -calculus is a dependent type theory with both linear and intuitionistic dependent function spaces. It can be seen to arise in two ways. Firstly, in logical frameworks, where it
- Resource Tableaux (Extended Abstract) Didier Galmiche Daniel Mry David Pym
- THE STRUCTURE AND DYNAMICS OF SYSTEMS SECURITY ECONOMICS ADAM BEAUTEMENT AND DAVID PYM
- On the semantics of classical disjunction David Pym Eike Ritter
- On Categorical Models of Classical Logic and the Geometry of Interaction
- A Logical and Computational Theory of Located Resource
- Errata and Remarks for The Semantics and Proof Theory of the
- Information Stewardship in Cloud Ecosystems: Towards Models, Economics, and Delivery
- Enterprise information risk management: Dealing with cloud computing
- Information Stewardship in Cloud Ecosystems: Towards Models, Economics, and Delivery
- A Proof-theoretic Analysis of the Classical Propositional Matrix Method
- 6 Enterprise information risk management: Dealing with cloud computing
- CONTAGION IN CYBERSECURITY ATTACKS ADRIAN BALDWIN, IFFAT GHEYAS, CHRISTOS IOANNIDIS, DAVID PYM, AND JULIAN WILLIAMS