D. Pym

发表

The Logic of Bunched Implications

Peter W. O'Hearn, David J. Pym, P. O'Hearn, 1999, Bulletin of Symbolic Logic.

Enterprise Information Risk Management: Dealing with Cloud Computing

S. Shiu, A. Baldwin, D. Pym, 2013 .

Functorial Kripke-Beth-Joyal models of the lambda Pi-calculus I: type theory and internal logic

D. Pym, 2001 .

Functorial Kripke-Beth-Joyal models of the λΠ-calculus II: the LF logical framework

M. A. Price, D. Pym, 2007 .

You've Left Me No Choices: Security Economics to Inform Behaviour Intervention Support in Organizations

S. Parkin, D. Pym, A. Demjaha, 2019, STAST.

RN / 17 / 06 A Stone-Type Duality Theorem for Separation Logic via its Underlying Bunched Logics 12 June , 2017

D. Pym, Simon Docherty, 2017 .

SECOND INTERNATIONAL WORKSHOP ON AGENTS AND CYBERSECURITY ACySE2015

Gilbert L. Peterson, Emil C. Lupu, Munindar P. Singh, 2015 .

The Need for Public Policy Interventions in Information Security

David J. Pym, Joseph Swierzbinski, Julian Williams, 2013 .

Practicing a Science of Security

Tyler Moore, Jonathan M. Spring, David Pym, 2017 .

SUSTAINABILITY IN INFORMATION STEWARDSHIP:

Christos Ioannidis, David Pym, Julian Williams, 2013 .

Resilience in Information Stewardship 11 December 2014

D. Pym, I. Gheyas, Julian M. Williams, 2015 .

Towards Scienti c Incident Response

Jonathan M. Spring, D. Pym, 2018 .

Substructural modal logic for optimal resource allocation

D. Pym, Gabrielle Anderson, 2015 .

Substructural modal logic for optimal resource allocation 8 th December 2015

D. Pym, Gabrielle Anderson, 2015 .

Deposited in DRO : 07 July 2015 Version of attached le : Accepted Version Peer-review status of attached

T. Caulfield, D. Pym, Julian M. Williams, 2015 .

A Substructural Epistemic Resource Logic ( Extended Version ) 17 October , 2016

D. Pym, D. Galmiche, P. Kimmel, 2016 .

EPSRCGrantGR / L 54639 / 01 Logic Programming , ImperativeProgammingand CategoricalSemantics Final Report

P. O'Hearn, D. Pym, E. Robinson, 2013 .

Processes for plan-executionLouise

Pryor, D. Pym, David MurphyDept, 1995 .

A Linear Meta-interpreter for the Situation Calculus

W. Hodges, P. O'Hearn, D. Pym, 2008 .

The 6th Workshop on the Economics of Information Security (WEIS 2007), CMU, Pittsburgh PA, USA

David J. Pym, Brian Monahan, M Yearworth, 2007 .

The boundedly rational employee: Security economics for behaviour intervention support in organizations

S. Parkin, D. Pym, A. Demjaha, 2022, Journal of Computer Security.

THE STRUCTURE AND DYNAMICS OF SYSTEMS SECURITY ECONOMICS

D. Pym, A. Beautement, 2011 .

Editorial

Tyler Moore, David J. Pym, D. Pym, 2016, Journal of Cybersecurity.

Introduction

Tyler Moore, David J. Pym, Michel van Eeten, 2016, J. Cybersecur..

Computing Science Trust Economics Feasibility Study Trust Economics Feasibility Study Bibliographical Details about the Author Suggested Keywords Trust Economics Feasibility Study

S. Parkin, B. Monahan, H. Johnson, 2008 .

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic

D. Pym, A. Gheorghiu, 2022, ArXiv.

Semantical Analysis of the Logic of Bunched Implications

D. Pym, A. Gheorghiu, 2022, ArXiv.

Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic

D. Pym, A. Gheorghiu, 2023, Bulletin of the Section of Logic.

Provability in BI's Sequent Calculus is Decidable

D. Pym, Simon Docherty, A. Gheorghiu, 2021, ArXiv.

Towards a Semantics for Proof-search

D. Pym, 2011 .

INTUITIONISTIC AND CLASSICAL PROOF-SEARCH AND THEIR SEMANTICS

David J. Pym, Eike Ritter, D. Pym, 2004 .

A Discipline of Mathematical Systems Modelling

David J. Pym, Brian Monahan, Matthew Collinson, 2012 .

Found in Translation: Co-design for Security Modelling

T. Caulfield, D. Pym, A. Demjaha, 2021, STAST.

A Substructural Epistemic Resource Logic ( Extended Version ) ( Updating RN 16 / 08 ) 11 April , 2018

D. Pym, D. Galmiche, P. Kimmel, 2018 .

A Substructural Epistemic Resource Logic and Its Use in Systems Security Modelling

D. Pym, D. Galmiche, P. Kimmel, 2016 .

Systems Modelling for Economic Analyses of Security Investments: A Case Study in Identity and Access Management

S. Shiu, A. Baldwin, M. Mont, 2009 .

A note on processes for plan-execution and powerdomains for plan-comparison

David J. Pym, David Murphy, Louise Pryor, 2013 .

A substructural logic for layered graphs

David J. Pym, Matthew Collinson, Kevin McDonald, 2014, J. Log. Comput..

Resource semantics: logic as a modelling technology

David Pym, D. Pym, 2019, SIGL.

Stone-Type Dualities for Separation Logics

Simon Docherty, David J. Pym, D. Pym, 2017, Log. Methods Comput. Sci..

Intuitionistic Layered Graph Logic

Simon Docherty, David J. Pym, D. Pym, 2016, IJCAR.

Intuitionistic Layered Graph Logic

Simon Docherty, David J. Pym, D. Pym, 2016, IJCAR.

Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach

Julian Williams, David J. Pym, Christos Ioannidis, 2011, WEIS.

Towards Scientific Incident Response

Jonathan M. Spring, David J. Pym, D. Pym, 2018, GameSec.

Decision support for systems security investment

Simon Shiu, Yolanta Beresnevichiene, David Pym, 2010, 2010 IEEE/IFIP Network Operations and Management Symposium Workshops.

Trust domains in system models: algebra, logic, utility, and combinators

David J. Pym, Gabrielle Anderson, D. Pym, 2018, J. Log. Comput..

Utility-based Decision-making in Distributed Systems Modelling pdf

David J. Pym, Matthew Collinson, Gabrielle Anderson, 2013, TARK.

Information Stewardship in Cloud Ecosystems: Towards Models, Economics, and Delivery

David J. Pym, Simon Shiu, Adrian Baldwin, 2011, 2011 IEEE Third International Conference on Cloud Computing Technology and Science.

Practicing a Science of Security: A Philosophy of Science Perspective

Tyler Moore, Jonathan M. Spring, David J. Pym, 2017, NSPW.

Why Separation Logic Works

Jonathan M. Spring, P. O'Hearn, D. Pym, 2018, Philosophy & Technology.

Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security

M. Angela Sasse, David J. Pym, Brian Monahan, 2008, WEIS.

Actions as processes: a position on planning

David J. Pym, Louise Pryor, David Murphy, 2013 .

Proof-theoretic Semantics and Tactical Proof

D. Pym, A. Gheorghiu, 2023, ArXiv.

Is Public Co-Ordination of Investment in Information Security Desirable?

David J. Pym, Christos Ioannidis, Julian M. Williams, 2016 .

Information Stewardship in Cloud Computing

David J. Pym, Martin Sadler, D. Pym, 2010, Int. J. Serv. Sci. Manag. Eng. Technol..

Categorical Proof-Theoretic Semantics

D. Pym, Eike Ritter, E. Robinson, 2023, ArXiv.

On categorical models of classical logic and the Geometry of Interaction

David J. Pym, Carsten Führmann, D. Pym, 2007, Mathematical Structures in Computer Science.

Order-enriched categorical models of the classical sequent calculus

David J. Pym, Carsten Führmann, D. Pym, 2006 .

The semantics of BI and resource tableaux

David J. Pym, Didier Galmiche, Daniel Méry, 2005, Mathematical Structures in Computer Science.

On the geometry of interaction for classical logic

David J. Pym, Carsten Führmann, D. Pym, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

On the intuitionistic force of classical search

David J. Pym, Eike Ritter, Lincoln A. Wallen, 2000, Theor. Comput. Sci..

Proof-search in type-theoretic languages: an introduction

David J. Pym, Didier Galmiche, D. Pym, 2000, Theor. Comput. Sci..

A Relevant Analysis of Natural Deduction

David J. Pym, Samin S. Ishtiaq, D. Pym, 1998, J. Log. Comput..

On the Intuitionistic Force of Classical Search (Extended Abstract)

David J. Pym, Eike Ritter, Lincoln A. Wallen, 1996, TABLEAUX.

A note on the proof theory the λII-calculus

David J. Pym, D. Pym, 1995, Stud Logica.

Logic Programming via Proof-valued Computations

David J. Pym, Lincoln A. Wallen, L. Wallen, 1992, ALPUK.

Investigations into Proof-Search in a System of First-Order Dependent Function Types

David J. Pym, Lincoln A. Wallen, L. Wallen, 1990, CADE.

Pricing cyber-insurance for systems via maturity models

D. Pym, H. Skeoch, 2023, ArXiv.

Developing a Conceptual Framework for Cloud Security Assurance

David J. Pym, Bob Duncan, Mark Whittington, 2013, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science.

Layered graph logic as an assertion language for access control policy models

David J. Pym, Matthew Collinson, Kevin McDonald, 2017, J. Log. Comput..

The semantics and proof theory of the logic of bunched implications

David J. Pym, D. Pym, 2002, Applied logic series.

On the Adoption of Privacy-enhancing Technologies

David J. Pym, Tristan Caulfield, Christos Ioannidis, 2016, GameSec.

Resource-distribution via Boolean constraints

James Harland, David J. Pym, D. Pym, 2000, TOCL.

Economics of Information Security and Privacy

Tyler Moore, David J. Pym, Christos Ioannidis, 2014 .

Information security trade-offs and optimal patching policies

Julian Williams, David J. Pym, Christos Ioannidis, 2012, Eur. J. Oper. Res..

A logic of separating modalities

David J. Pym, Didier Galmiche, Jean-René Courtault, 2016, Theor. Comput. Sci..

Coalgebraic completeness-via-canonicity for distributive substructural logics

David J. Pym, Fredrik Dahlqvist, D. Pym, 2015, J. Log. Algebraic Methods Program..

Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective

David J. Pym, Fredrik Dahlqvist, D. Pym, 2015, RAMiCS.

Corrections and Remarks

David J. Pym, Samin Ishtiaq, D. Pym, 2013 .

Under Consideration for Publication in Math. Struct. in Comp. Science

Edmund Robinson, David J. Pym, Matthew Collinson, 2007 .

Bunching for Regions and Locations

David J. Pym, Matthew Collinson, D. Pym, 2006, MFPS.

On Bunched Polymorphism

Edmund Robinson, David J. Pym, Matthew Collinson, 2005, CSL.

Compositional Security Modelling - Structure, Economics, and Behaviour

Julian Williams, David J. Pym, Tristan Caulfield, 2014, HCI.

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra

D. Pym, Paul Brunet, 2019, FSCD.

Pricing cyber-insurance for systems via maturity models

D. Pym, H. Skeoch, 2023, ArXiv.

Improving Security Policy Decisions with Models

David J. Pym, Tristan Caulfield, T. Caulfield, 2015, IEEE Security & Privacy.

Modelling and simulating systems security policy

David J. Pym, Tristan Caulfield, T. Caulfield, 2015, SimuTools.

Engineering Ecosystem Models: Semantics and Pragmatics

T. Caulfield, D. Pym, Marius-Constantin Ilau, 2021, SimuTools.

Algebra and logic for access control

David J. Pym, Matthew Collinson, D. Pym, 2010, Formal Aspects of Computing.

A Framework for Modelling Security Architectures in Services Ecosystems

Barry Taylor, David J. Pym, Matthew Collinson, 2012, ESOCC.

Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic

David J. Pym, Chris M. N. Tofts, C. Tofts, 2007, Computation, Meaning, and Logic.

Possible worlds and resources: the semantics of BI

Peter W. O'Hearn, Hongseok Yang, David J. Pym, 2004, Theor. Comput. Sci..

Kripke Resource Models of a Dependently-typed, Bunched λ-calculus

David J. Pym, Samin Ishtiaq, D. Pym, 2002, J. Log. Comput..

Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic

D. Pym, A. Gheorghiu, 2022, 2210.05336.

Reductive logic and proof-search - proof theory, semantics, and control

David J. Pym, Eike Ritter, D. Pym, 2004, Oxford logic guides.

Why Separation Logic Works

Jonathan M. Spring, David Pym, Peter O’Hearn, 2019 .

A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics

Simon Docherty, David J. Pym, D. Pym, 2018, MFPS.

Modular Tableaux Calculi for Separation Theories

Simon Docherty, David J. Pym, D. Pym, 2018, FoSSaCS.

2 Fast 2 Secure: A Case Study of Post-Breach Security Changes

M. Angela Sasse, David J. Pym, Tristan Caulfield, 2019, 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Contagion in cyber security attacks

Julian Williams, David J. Pym, Adrian Baldwin, 2017, J. Oper. Res. Soc..

Contagion in Cybersecurity Attacks

Julian Williams, David J. Pym, Adrian Baldwin, 2012, WEIS.

A Logic for the Compliance Budget

David J. Pym, Guy McCusker, Gabrielle Anderson, 2016, GameSec.

On the semantics of classical disjunction

David J. Pym, Eike Ritter, D. Pym, 2001 .

A Unification Algorithm for the lambda-Pi-Calculus

David J. Pym, D. Pym, 1992, Int. J. Found. Comput. Sci..

Proofs, search and computation in general logic

David J. Pym, D. Pym, 1990 .

Proof-terms for classical and intuitionistic resolution

David J. Pym, Eike Ritter, Lincoln A. Wallen, 2000, J. Log. Comput..

Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract)

David J. Pym, Eike Ritter, Lincoln A. Wallen, 1996, CADE.

Pricing cyber-insurance for systems via maturity models

D. Pym, H. Skeoch, 2023, ArXiv.

Semantics for structured systems modelling and simulation

David J. Pym, Brian Monahan, Matthew Collinson, 2010, SimuTools.

On bunched predicate logic

David J. Pym, D. Pym, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

Resource-Distribution via Boolean Constraint (Extended Abstract)

D. Pym, James Harland, 1997, CADE.

A proof-theoretic analysis of the classical propositional matrix method

Edmund Robinson, David J. Pym, Eike Ritter, 2014, J. Log. Comput..

Revisiting technology thinking in service innovations and consumer experiences: an empirical research

Irene C. L. Ng, M. Rajarajan, Chris Speed, 2014 .