Dr MATTHEW COLLINSON

Dr MATTHEW COLLINSON
BSc. MSc. PhD.

Lecturer

Overview

Contact Details

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/

This site will soon be unavailable.

Research

Research Interests

Logic, mathematical foundations of computer science, information security.

I keep more information on my personal web pages. I may be found by search engine.

Teaching

Teaching Responsibilities

Current (2018-19):

  • Level 5 Information Security
  • Level 4 individual project supervision
  • Level 4 (Honours) Security
  • Level 3 Languages and Computability
  • Level 3 Software Engineering group project supervision.

The relevant content is hosted on the myAberdeen Blackboard "Virtual Learning Environment."

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, D. (2013). Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach. in M Huth, N Asokan, S ńĆapkun, 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 on Trust and Trustworthy Computing, London, United Kingdom, 17-19 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