Dr MATTHEW COLLINSON

Dr MATTHEW COLLINSON
BSc. MSc. PhD.

Lecturer

Overview

Contact Details

Telephone
work +44 (0)1224 274184
Email
Address
The University of Aberdeen Computing Science, Meston Building, Meston Walk, University of Aberdeen, AB24 3UE
Web Links

http://homepages.abdn.ac.uk/matthew.collinson/pages/

Research

Research Interests

Logic, mathematical foundations of computer science, information security.

I keep more information on my personal web pages.

Teaching

Teaching Responsibilities

Current:

  • Level 5 (MSc) Information Security
  • Level 5 individual project supervision.
  • Level 4 individual project supervision
  • Level 4 (Honours) Security
  • Level 3 Software Engineering group project supervision
  • Level 2 Algorithmic Problem Solving.
Publications

Publications 

Currently viewing:

Page 1 of 2 Results 1 to 10 of 13

Contributions to Journals

Articles

  • Collinson, M., McDonald, K. & Pym, D. (2017). 'Layered graph logic as an assertion language for access control policy models'. Journal of Logic and Computation, vol 27, no. 1, pp. 41-80.
    [Online] DOI: 10.1093/logcom/exv020
  • Collinson, M., McDonald, K., Docherty, S. & Pym, D. (2017). 'Erratum to: A substructural logic for layered graphs'. Journal of Logic and Computation, vol 27, no. 1, pp. 413-414.
    [Online] DOI: 10.1093/logcom/exv019
  • Massacci, F., Ruprai, R., Collinson, M. & Williams, J. (2016). 'Economic Impacts of Rules-based vs Risk-based Cybersecurity Regulations in Critical Infrastructure Providers'. IEEE Security and Privacy, vol 14, no. 3, pp. 52-60.
    [Online] DOI: 10.1109/MSP.2016.48
    [Online] AURA: 15858c.pdf
  • Collinson, M., McDonald, K. & Pym, D. (2014). 'A Substructural Logic for Layered Graphs'. Journal of Logic and Computation, vol 24, no. 4, pp. 953-988.
    [Online] DOI: 10.1093/logcom/exu002
    [Link] http://logcom.oxfordjournals.org/content/24/4/953.abstract?sid=9e59d663-f83f-4e46-97c3-81335410ef0c
  • Collinson, M. & Pym, D. (2010). 'Algebra and logic for access control'. Formal Aspects of Computing, vol 22, no. 2, pp. 83-104.
    [Online] DOI: 10.1007/s00165-009-0107-x
  • Collinson, M., Monahan, B. & Pym, D. (2009). 'A Logical and Computational Theory of Located Resource'. Journal of Logic and Computation, vol 19, no. 6, pp. 1207-1244.
    [Online] DOI: 10.1093/logcom/exp021
  • Collinson, M. & Pym, D. (2009). 'Algebra and Logic for Resource-based Systems Modelling'. Mathematical Structures in Computer Science, vol 19, no. 5, pp. 959-1027.
    [Online] DOI: 10.1017/S0960129509990077
  • Collinson, M., Pym, D. & Robinson, E. (2008). 'Bunched Polymorphism'. Mathematical Structures in Computer Science, vol 18, no. 6, pp. 1091-1132.
    [Online] DOI: 10.1017/S0960129508007159

Chapters in Books, Reports and Conference Proceedings

Chapters

  • Anderson, G., Collinson, M. & Pym, DJ. (2013). Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach. in M Huth, N Asokan, S Capukan, I Flechais & L Coles-Kemp (eds), Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings. vol. LNCS 7904, Lecture Notes in Computer Science, vol. 7904, Springer, Berlin, pp. 232-249, 6th International Conference, TRUST 2013, London, United Kingdom, 1 June.
    [Online] DOI: 10.1007/978-3-642-38908-5
  • Collinson, M., Pym, D. & Taylor, B. (2012). A Framework for Modelling Security Architectures in Services Ecosystems. in F De Paoli, E Pimentel & G Zavaratto (eds), Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. vol. 7592, Lecture Notes in Computer Science, vol. 7592, Springer, pp. 64-79, First European Conference, ESOCC 2012, Bertinoro, Italy, 19-21 September.
    [Online] DOI: 10.1007/978-3-642-33427-6_5
Show 10 | 25 | 50 | 100 results per page

update | about Staff Pages