Understanding Security Patterns for Socio-Technical Systems via Responsibility Modelling

Andrew Blyth*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Increasingly, security requirements are being viewed as a social construct derived from the culture and society within which the requirement is said to exist. A socio-technical system can be modelled as a series of inter-related, and interacting patterns of behaviour. Within a socio-technical system a security requirements can be derived from the analysis and interaction of the pattern. To capture and understand these requirements/patterns we need to make use of a formal reasoning system that supports a rigorous deductive process. In this paper we will develop a formal model of a socio-technical systems pattern using a Kripke Semantic model. Then, via the application of Kripke Semantics to the modelling of responsibilities and how they are created/fulfilled within a socio-context, we will derive a set of security requirements/patterns.

Original languageEnglish
Title of host publication2014 IEEE 8TH INTERNATIONAL SYMPOSIUM ON SERVICE ORIENTED SYSTEM ENGINEERING (SOSE)
PublisherInstitute of Electrical and Electronics Engineers
Pages417-421
Number of pages5
DOIs
Publication statusPublished - 12 Jun 2014
Event8th IEEE International Symposium on Service Oriented System Engineering (SOSE) - Oxford
Duration: 7 Apr 201411 Apr 2014

Conference

Conference8th IEEE International Symposium on Service Oriented System Engineering (SOSE)
CityOxford
Period7/04/1411/04/14

Keywords

  • Modal Action Logic (MAL)
  • Socio-Technical System (STS)
  • Responsibility Modelling
  • Accountability
  • Liability and Culpability

Fingerprint

Dive into the research topics of 'Understanding Security Patterns for Socio-Technical Systems via Responsibility Modelling'. Together they form a unique fingerprint.

Cite this