Lookup NU author(s): Wen Zeng,
Professor Maciej Koutny
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2014.
For re-use rights please refer to the publisher's terms and conditions.
New technologies influence and change social attitudes by making electronicdata easy to use and easy to carry,and this capability impacts data security in business organizations. Therefore,organizations have to define appropriate controls aimed at preventingthe loss or leaking of data.Having said that, the effectiveness of security controlsin complex dynamic environments has not yet been systematically analyzed.In this paper, we propose a formal system model for data resources in a dynamicenvironment, which can represent the location of different classes of dataresources as well as their users. Using such a model,the concurrent and probabilistic behaviour of thesystem can be analyzed. This study provides a systematic way of exploringthe efficiency of a given security policy, or access control technology,in the business process context.The proposed approach can help a technical expert to develop a deeperanalysis of the specific security measures required by a business organization.
Author(s): Koutny M; Zeng W
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 8th International Symposium on Theoretical Aspects of Software Engineering
Year of Conference: 2014
Online publication date: 08/12/2014
Acceptance date: 30/05/2014
Date deposited: 22/09/2014
Library holdings: Search Newcastle University Library for this item