David J. Pym

发表

Stone-Type Dualities for Separation Logics

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

A Unification Algorithm for the lambda-Pi-Calculus

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

Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective

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

Programming in Lygon: A System Demonstration

Michael Winikoff, James Harland, David J. Pym, 1996, AMAST.

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.

Algebra and logic for resource-based systems modelling

David J. Pym, Matthew Collinson, 2009, Math. Struct. Comput. Sci..

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

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

Improving Security Policy Decisions with Models

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

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

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

Resource-distribution via Boolean constraints

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

Erratum: Errata for Formal Aspects of Computing (2006) 18:495-517 and their consequences (Formal Aspects of Computing (2006) 18 (495-517))

David J. Pym, Matthew Collinson, Chris Tofts, 2007 .

SEMANTICS FOR REDUCTIVE LOGIC

David J. Pym, Eike Ritter, 2004 .

The semantics and proof theory of the logic of bunched implications

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

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

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

Contagion in Cybersecurity Attacks

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

Economic aspects of a utility computing service

David J. Pym, Jean Paul Degabriele, 2007, GridNets '07.

Erratum to: Algebra and logic for access control

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

A Logical and Computational Theory of Located Resource

David J. Pym, Brian Monahan, Matthew Collinson, 2009, J. Log. Comput..

Discrete Choice, Social Interaction, and Policy in Encryption Technology Adoption (Short Paper)

David J. Pym, Tristan Caulfield, Christos Ioannidis, 2016, Financial Cryptography.

Bunching for Regions and Locations

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

On Resolution in Fragments of Classical Linear Logic

James Harland, David J. Pym, 1992, LPAR.

On bunched predicate logic

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

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

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

Modelling and simulating systems security policy

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

A substructural logic for layered graphs

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

Resource-Distribution via Boolean Constraint (Extended Abstract)

James Harland, David J. Pym, 1997, CADE.

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

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

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

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

Corrections and Remarks

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

Introduction

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

Erratum to: A substructural logic for layered graphs

Simon Docherty, David J. Pym, Matthew Collinson, 2017, J. Log. Comput..

Bunched Logic Programming

David J. Pym, Pablo A. Armelín, 2001, IJCAR.

Logic Programming with Bunched Implications

David J. Pym, 1998, Electron. Notes Theor. Comput. Sci..

Investments and Trade-offs in the Economics of Information Security

Julian Williams, David J. Pym, Christos Ioannidis, 2009, Financial Cryptography.

Forthcoming Papers

David J. Pym, 2003, J. Log. Comput..

Located Demos2k - Towards a Tool for Modelling Processes and Distributed Resources

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

DEDUCTIVE LOGIC, REDUCTIVE LOGIC, AND PROOF-SEARCH

David J. Pym, Eike Ritter, 2004 .

A Framework for Modelling Security Architectures in Services Ecosystems

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

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

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

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

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

Logic Programming via Proof-valued Computations

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

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

David J. Pym, Paul Brunet, 2020, FSCD.

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

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

Utility-based Decision-making in Distributed Systems Modelling pdf

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

Logics for Resources, Processes and Programs

Peter W. O'Hearn, David J. Pym, Didier Galmiche, 2004 .

Algebra and logic for access control

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

The Logic of Bunched Implications

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

Compositional Security Modelling - Structure, Economics, and Behaviour

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

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 of BI and resource tableaux

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

The Uniform Proof-Theoretic Foundation of Linear Logic Programming

James Harland, David J. Pym, 1991, ISLP.

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

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

Proofs, search and computation in general logic

David J. Pym, D. Pym, 1990 .

A proof-theoretic analysis of the classical propositional matrix method

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

THE SEMANTICS OF INTUITIONISTIC AND CLASSICAL PROOFS

David J. Pym, Eike Ritter, 2004 .

A semantics for reductive logic and proof-search

David J. Pym, Eike Ritter, 2004 .

A Substructural Epistemic Resource Logic

David J. Pym, Didier Galmiche, Pierre Kimmel, 2017, ICLA.

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).

The Sharing Interpretation, II

David J. Pym, 2002 .

Editorial

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

A note on the proof theory the λII-calculus

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

A Discipline of Mathematical Systems Modelling

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

INTUITIONISTIC AND CLASSICAL PROOF-SEARCH AND THEIR SEMANTICS

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

Intuitionistic Layered Graph Logic

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

A games semantics for reductive logic and proof-search

David J. Pym, Eike Ritter, 2005, GALOP@ETAPS.

Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach

David J. Pym, Brian Monahan, Mike Yearworth, 2007, WEIS.

Proof-search in type-theoretic languages: an introduction

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

A logic of separating modalities

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

Information Stewardship in Cloud Computing

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

Information security trade-offs and optimal patching policies

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

A Logic for the Compliance Budget

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

Intuitionistic Layered Graph Logic

Simon Docherty, David J. Pym, 2017, IJCAI.

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

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

Forward and Backward Chaining in Linear Logic

Michael Winikoff, James Harland, David J. Pym, 2000, Electron. Notes Theor. Comput. Sci..

Intuitionistic Layered Graph Logic

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

Notes Towards a Semantics for Proof-search

David J. Pym, 2000, Electron. Notes Theor. Comput. Sci..

Systematic Decision Making in Security Management Modelling Password Usage and Support

David J. Pym, Ma Sasse, S Arnell, 2011 .

Coalgebraic completeness-via-canonicity for distributive substructural logics

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

Processes for plan-execution

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

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.

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 Adoption of Privacy-enhancing Technologies

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

Welcome from the Editors-in-Chief

Tyler Moore, David J. Pym, 2015, J. Cybersecur..

Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation

David J. Pym, Didier Galmiche, 2015 .

Trust Economics Feasibility Study

Simon Parkin, David J. Pym, Brian Monahan, 2008, DSN 2008.

Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences

David J. Pym, Matthew Collinson, Chris M. N. Tofts, 2007, Formal Aspects of Computing.

Modal Location-Resource-Process Logic for Access Control

David J. Pym, 2010, LAM@LICS.

Reductive Logic and Proof-search

David J. Pym, Eike Ritter, 2004 .

Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach

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

Structured Systems Economics for Security Management

David J. Pym, Adam Beautement, D. Pym, 2010, WEIS.

On the Intuitionistic Force of Classical Search (Extended Abstract)

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

A substructural logic for layered graphs (vol 24, pg 953, 2014)

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

Towards Scientific Incident Response

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

Proof-terms for classical and intuitionistic resolution

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

Contagion in cyber security attacks

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

On Bunched Polymorphism

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

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.

The U.S. Vulnerabilities Equities Process: An Economic Perspective

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

Modular Tableaux Calculi for Separation Theories

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

A Games Model of Bunched Implications

David J. Pym, Guy McCusker, 2007, CSL.

Programming in Lygon: A Brief Overview

Michael Winikoff, James Harland, David J. Pym, 1995, ILPS.

A Calculus and logic of resources and processes

David J. Pym, Chris M. N. Tofts, 2006, Formal Aspects of Computing.

Practicing a Science of Security: A Philosophy of Science Perspective

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

A Uniform Proof-Theoretic Investigation of Linear Logic Programming

James Harland, David J. Pym, 1994, J. Log. Comput..

Economics of Information Security and Privacy

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

Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus

David J. Pym, Samin S. Ishtiaq, 1999, CSL.

Asset-Oriented Access Control: Towards a New IoT Framework

M. Angela Sasse, Simon Docherty, David J. Pym, 2019, IOT.

Resilience in information stewardship

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

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.

Resource Tableaux

David J. Pym, Didier Galmiche, Daniel Méry, 2002, CSL.

Programming in Lygon: An Overview

Michael Winikoff, James Harland, David J. Pym, 1996, AMAST.

On the intuitionistic force of classical search

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

Possible worlds and resources: the semantics of BI

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

Actions as processes: a position on planning

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

A Relevant Analysis of Natural Deduction

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

A Substructural Modal Logic of Utility

David J. Pym, Gabrielle Anderson, 2017, J. Log. Comput..

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

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

Semantics for structured systems modelling and simulation

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

Semantic Foundations of Proof-search (Dagstuhl Seminar 01141)

Thomas Streicher, David J. Pym, Eike Ritter, 2021 .

Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages

David J. Pym, Didier Galmiche, 1999 .

Order-enriched categorical models of the classical sequent calculus

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

On the geometry of interaction for classical logic

David J. Pym, Carsten Führmann, 2004, LICS 2004.

The Need for Public Policy Interventions in Information Security

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

On the semantics of classical disjunction

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

Resource Tableaux (extended abstract)

David J. Pym, Didier Galmiche, Daniel Méry, 2002 .

Security analytics: bringing science to security management

David J. Pym, Simon Shiu, 2010 .

Proof-search in the lII-calculus

David J. Pym, Lincoln A. Wallen, 1991 .

Workshop on the Economics of Securing the Information Infrastructure (WESII 2006), Washington DC, USA

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

Predictive Modelling for Security Operations Economics

David J. Pym, M Yearworth, Brian Quentin Monahan, 2006 .