Toggle Main Menu Toggle Search

Open Access padlockePrints

Data Resources in Dynamic Environment

Lookup NU author(s): Wen Zeng, Professor Maciej KoutnyORCiD



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.

Publication metadata

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

Pages: 185-192

Online publication date: 08/12/2014

Acceptance date: 30/05/2014

Date deposited: 22/09/2014

Publisher: IEEE


DOI: 10.1109/TASE.2014.9

Library holdings: Search Newcastle University Library for this item

ISBN: 9781479950294