Toggle Main Menu Toggle Search

ePrints

Data Resources in Dynamic Environment

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

Downloads


Licence

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.


Abstract

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

Publisher: IEEE

URL: http://dx.doi.org/10.1109/TASE.2014.9

DOI: 10.1109/TASE.2014.9

Library holdings: Search Newcastle University Library for this item

ISBN: 9781479950294


Actions

Link to this publication


Share