David J. Pym

CoRR, 2024

Inferentialist Resource Semantics.

[BibT_eX]

[DOI]

CoRR, 2024

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.

[BibT_eX]

[DOI]

Timo Lang

CoRR, 2024

Base-extension Semantics for Modal Logic.

[BibT_eX]

[DOI]

Timo Eckhardt

CoRR, 2024

2023

Semantical Analysis of the Logic of Bunched Implications.

[BibT_eX]

[DOI]

Stud Logica, August, 2023

Proof-theoretic Semantics for the Logic of Bunched Implications.

[BibT_eX]

[DOI]

CoRR, 2023

Categorical Proof-Theoretic Semantics.

[BibT_eX]

[DOI]

Edmund Robinson

CoRR, 2023

Pricing cyber-insurance for systems via maturity models.

[BibT_eX]

[DOI]

Henry R. K. Skeoch

CoRR, 2023

Proof-theoretic Semantics and Tactical Proof.

[BibT_eX]

[DOI]

CoRR, 2023

Defining Logical Systems via Algebraic Constraints on Proofs.

[BibT_eX]

[DOI]

CoRR, 2023

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.

[BibT_eX]

[DOI]

Manuela-Luminita Bujorianu

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

From MDP to POMDP and Back: Safety and Compositionality.

[BibT_eX]

[DOI]

Rafael Wisniewski

Proceedings of the European Control Conference, 2023

2022

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

[BibT_eX]

[DOI]

Albesë Demjaha

Simon Parkin

J. Comput. Secur., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

2021

Found in Translation: Co-design for Security Modelling.

[BibT_eX]

[DOI]

Albesë Demjaha

Proceedings of the Socio-Technical Aspects in Security - 11th International Workshop, 2021

Meta-modelling for Ecosystems Security.

[BibT_eX]

[DOI]

Marius-Constantin Ilau

Proceedings of the Simulation Tools and Techniques - 13th EAI International Conference, 2021

Engineering Ecosystem Models: Semantics and Pragmatics.

[BibT_eX]

[DOI]

Marius-Constantin Ilau

Proceedings of the Simulation Tools and Techniques - 13th EAI International Conference, 2021

Modelling Organizational Recovery.

[BibT_eX]

[DOI]

Adrian Baldwin

Marius-Constantin Ilau

Proceedings of the Simulation Tools and Techniques - 13th EAI International Conference, 2021

2020

Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things.

[BibT_eX]

[DOI]

Will Venters

Proceedings of the 41st International Conference on Information Systems, 2020

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

[BibT_eX]

[DOI]

Paul Brunet

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Resource semantics: logic as a modelling technology.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2019

A substructural epistemic resource logic: theory and modelling applications.

[BibT_eX]

[DOI]

Pierre Kimmel

J. Log. Comput., 2019

Stone-Type Dualities for Separation Logics.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Resilience in information stewardship.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2019

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

[BibT_eX]

[DOI]

Albesë Demjaha

Simon Parkin

Proceedings of the Socio-Technical Aspects in Security and Trust, 2019

Asset-Oriented Access Control: Towards a New IoT Framework.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on the Internet of Things, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE European Symposium on Security and Privacy Workshops, 2019

2018

Preface.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

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

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Intuitionistic Layered Graph Logic: Semantics and Proof Theory.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Towards Scientific Incident Response.

[BibT_eX]

[DOI]

Jonathan M. Spring

Proceedings of the Decision and Game Theory for Security - 9th International Conference, 2018

Modular Tableaux Calculi for Separation Theories.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

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

[BibT_eX]

[DOI]

Kevin McDonald

J. Log. Comput., 2017

Erratum to: A substructural logic for layered graphs.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

A Substructural Modal Logic of Utility.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Contagion in cyber security attacks.

[BibT_eX]

[DOI]

J. Oper. Res. Soc., 2017

Coalgebraic completeness-via-canonicity for distributive substructural logics.

[BibT_eX]

[DOI]

Fredrik Dahlqvist

J. Log. Algebraic Methods Program., 2017

Practicing a Science of Security: A Philosophy of Science Perspective.

[BibT_eX]

[DOI]

Jonathan M. Spring

Proceedings of the 2017 New Security Paradigms Workshop, 2017

A Substructural Epistemic Resource Logic.

[BibT_eX]

[DOI]

Pierre Kimmel

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 8th International Conference, 2017

2016

A logic of separating modalities.

[BibT_eX]

[DOI]

Jean-René Courtault

Theor. Comput. Sci., 2016

A calculus and logic of bunched resources and processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Introduction.

[BibT_eX]

[DOI]

Michel van Eeten

J. Cybersecur., 2016

Editorial.

[BibT_eX]

[DOI]

J. Cybersecur., 2016

On the Adoption of Privacy-enhancing Technologies.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016

A Logic for the Compliance Budget.

[BibT_eX]

[DOI]

Guy McCusker

Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2016

Intuitionistic Layered Graph Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Improving Security Policy Decisions with Models.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2015

Welcome from the Editors-in-Chief.

[BibT_eX]

[DOI]

J. Cybersecur., 2015

Modelling and simulating systems security policy.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015

Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective.

[BibT_eX]

[DOI]

Fredrik Dahlqvist

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

A proof-theoretic analysis of the classical propositional matrix method.

[BibT_eX]

[DOI]

Edmund Robinson

J. Log. Comput., 2014

A substructural logic for layered graphs.

[BibT_eX]

[DOI]

Kevin McDonald

J. Log. Comput., 2014

Compositional Security Modelling - Structure, Economics, and Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2014

2013

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

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Utility-based Decision-making in Distributed Systems Modelling.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Developing a Conceptual Framework for Cloud Security Assurance.

[BibT_eX]

[DOI]

Bob Duncan

Mark Whittington

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2012

Information security trade-offs and optimal patching policies.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2012

Contagion in Cybersecurity Attacks.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Workshop on the Economics of Information Security, 2012

A Framework for Modelling Security Architectures in Services Ecosystems.

[BibT_eX]

[DOI]

Barry Taylor

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

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

[BibT_eX]

[DOI]

Proceedings of the Economics of Information Security and Privacy III [papers from the Tenth Workshop on Economics and Information Security, 2011

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

[BibT_eX]

[DOI]

Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

2010

Information Stewardship in Cloud Computing.

[BibT_eX]

[DOI]

Martin Sadler

Int. J. Serv. Sci. Manag. Eng. Technol., 2010

Erratum to: Algebra and logic for access control.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Algebra and logic for access control.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Structured Systems Economics for Security Management.

[BibT_eX]

[DOI]

Adam Beautement

Proceedings of the 9th Annual Workshop on the Economics of Information Security, 2010

Semantics for structured systems modelling and simulation.

[BibT_eX]

[DOI]

Brian Monahan

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Modal Location-Resource-Process Logic for Access Control.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

2009

Algebra and logic for resource-based systems modelling.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

A Logical and Computational Theory of Located Resource.

[BibT_eX]

[DOI]

Brian Monahan

J. Log. Comput., 2009

Investments and Trade-offs in the Economics of Information Security.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Managing Information Risk and the Economics of Security, 2009

2008

Bunched polymorphism.

[BibT_eX]

[DOI]

Edmund Robinson

Math. Struct. Comput. Sci., 2008

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

[BibT_eX]

[DOI]

Proceedings of the 7th Annual Workshop on the Economics of Information Security, 2008

2007

On categorical models of classical logic and the Geometry of Interaction.

[BibT_eX]

[DOI]

Carsten Führmann

Math. Struct. Comput. Sci., 2007

Errata for <i>Formal Aspects of Computing</i> (2006) 18: 495-517 and their consequences.

[BibT_eX]

[DOI]

Chris M. N. Tofts

Formal Aspects Comput., 2007

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

[BibT_eX]

[DOI]

Chris M. N. Tofts

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

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

[BibT_eX]

Proceedings of the 6th Annual Workshop on the Economics of Information Security, 2007

Economic aspects of a utility computing service.

[BibT_eX]

[DOI]

Jean Paul Degabriele

Proceedings of the 1st International ICST Conference on Networks for Grid Applications, 2007

A Games Model of Bunched Implications.

[BibT_eX]

[DOI]

Guy McCusker

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Editorial.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

A Calculus and logic of resources and processes.

[BibT_eX]

[DOI]

Chris M. N. Tofts

Formal Aspects Comput., 2006

Bunching for Regions and Locations.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005

The semantics of BI and resource tableaux.

[BibT_eX]

[DOI]

Daniel Méry

Math. Struct. Comput. Sci., 2005

A games semantics for reductive logic and proof-search.

[BibT_eX]

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

Possible worlds and resources: the semantics of BI.

[BibT_eX]

[DOI]

Peter W. O'Hearn

Hongseok Yang

Theor. Comput. Sci., 2004

On the Geometry of Interaction for Classical Logic.

[BibT_eX]

[DOI]

Carsten Führmann

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

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

[BibT_eX]

Oxford logic guides 45, Oxford University Press, ISBN: 978-0-19-852633-9, 2004

2003

Resource-distribution via Boolean constraints.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

Forthcoming Papers.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

2002

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

[BibT_eX]

[DOI]

Samin S. Ishtiaq

J. Log. Comput., 2002

Resource Tableaux.

[BibT_eX]

[DOI]

Daniel Méry

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

The semantics and proof theory of the logic of bunched implications.

[BibT_eX]

Applied logic series 26, Kluwer, ISBN: 978-1-4020-0745-3, 2002

2001

Bunched Logic Programming.

[BibT_eX]

[DOI]

Pablo A. Armelín

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

On the intuitionistic force of classical search.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Proof-search in type-theoretic languages: an introduction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Proof-terms for classical and intuitionistic resolution.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

Notes Towards a Semantics for Proof-search.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

Forward and Backward Chaining in Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

1999

The logic of bunched implications.

[BibT_eX]

[DOI]

Peter W. O'Hearn

Bull. Symb. Log., 1999

On Bunched Predicate Logic.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

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

[BibT_eX]

[DOI]

Samin S. Ishtiaq

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

A Relevant Analysis of Natural Deduction.

[BibT_eX]

[DOI]

Samin S. Ishtiaq

J. Log. Comput., 1998

Logic Programming with Bunched Implications.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998

1997

Resource-Distribution via Boolean Constraint (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1996

On the Intuitionistic Force of Classical Search (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

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

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Programming in Lygon: A System Demonstration.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

Programming in Lygon: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

A note on the proof theory of the lambda-II-calculus.

[BibT_eX]

[DOI]

Stud Logica, 1995

Programming in Lygon: A Brief Overview.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

1994

A Uniform Proof-Theoretic Investigation of Linear Logic Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 1994

1992

A Unification Algorithm for the lambda-Pi-Calculus.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1992

On Resolution in Fragments of Classical Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

Logic Programming via Proof-valued Computations.

[BibT_eX]

[DOI]

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

The Uniform Proof-Theoretic Foundation of Linear Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

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

[BibT_eX]

[DOI]