Modelling and Simulating Systems Security Policy
Caulfield, Tristan, Pym, David
Published in EAI endorsed transactions on security and safety (01.12.2016)
Published in EAI endorsed transactions on security and safety (01.12.2016)
Get full text
Journal Article
Possible worlds and resources: the semantics of BI
Pym, David J., O'Hearn, Peter W., Yang, Hongseok
Published in Theoretical computer science (01.05.2004)
Published in Theoretical computer science (01.05.2004)
Get full text
Journal Article
Conference Proceeding
Resilience in information stewardship
Ioannidis, Christos, Pym, David, Williams, Julian, Gheyas, Iffat
Published in European journal of operational research (16.04.2019)
Published in European journal of operational research (16.04.2019)
Get full text
Journal Article
A substructural epistemic resource logic: theory and modelling applications
Galmiche, Didier, Kimmel, Pierre, Pym, David
Published in Journal of logic and computation (10.12.2019)
Published in Journal of logic and computation (10.12.2019)
Get full text
Journal Article
Information security trade-offs and optimal patching policies
Ioannidis, Christos, Pym, David, Williams, Julian
Published in European journal of operational research (16.01.2012)
Published in European journal of operational research (16.01.2012)
Get full text
Journal Article
Contagion in cyber security attacks
Baldwin, Adrian, Gheyas, Iffat, Ioannidis, Christos, Pym, David, Williams, Julian
Published in The Journal of the Operational Research Society (01.07.2017)
Published in The Journal of the Operational Research Society (01.07.2017)
Get full text
Journal Article
Coalgebraic completeness-via-canonicity for distributive substructural logics
Dahlqvist, Fredrik, Pym, David
Published in Journal of logical and algebraic methods in programming (01.12.2017)
Published in Journal of logical and algebraic methods in programming (01.12.2017)
Get full text
Journal Article
Algebra and logic for resource-based systems modelling
COLLINSON, MATTHEW, PYM, DAVID
Published in Mathematical structures in computer science (01.10.2009)
Published in Mathematical structures in computer science (01.10.2009)
Get full text
Journal Article