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 language | English |
|---|---|
| Title of host publication | 2014 IEEE 8TH INTERNATIONAL SYMPOSIUM ON SERVICE ORIENTED SYSTEM ENGINEERING (SOSE) |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 417-421 |
| Number of pages | 5 |
| DOIs | |
| Publication status | Published - 12 Jun 2014 |
| Event | 8th IEEE International Symposium on Service Oriented System Engineering (SOSE) - Oxford Duration: 7 Apr 2014 → 11 Apr 2014 |
Conference
| Conference | 8th IEEE International Symposium on Service Oriented System Engineering (SOSE) |
|---|---|
| City | Oxford |
| Period | 7/04/14 → 11/04/14 |
Keywords
- Modal Action Logic (MAL)
- Socio-Technical System (STS)
- Responsibility Modelling
- Accountability
- Liability and Culpability