DocumentCode :
177187
Title :
Data Resources in Dynamic Environments
Author :
Wen Zeng ; Koutny, M.
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ. Newcastle upon Tyne, Newcastle upon Tyne, UK
fYear :
2014
fDate :
1-3 Sept. 2014
Firstpage :
185
Lastpage :
192
Abstract :
New technologies influence and change social attitudes by making electronic data 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 preventing the loss or leaking of data. Having said that, the effectiveness of security controls in complex dynamic environments has not yet been systematically analyzed. In this paper, we propose a formal system model for data resources in a dynamic environment, which can represent the location of different classes of data resources as well as their users. Using such a model, the concurrent and probabilistic behaviour of the system can be analyzed. This study provides a systematic way of exploring the 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 deeper analysis of the specific security measures required by a business organization.
Keywords :
Petri nets; authorisation; business data processing; Petri nets; access control technology; business organizations; business process context; data resources; data security; electronic data; formal system model; security policy; Access control; Data models; Dynamic scheduling; Electronic mail; Information security; Organizations; Petri nets; data resources; information security technology; locality; security policy; threats; user behaviour;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering Conference (TASE), 2014
Conference_Location :
Changsha
Type :
conf
DOI :
10.1109/TASE.2014.9
Filename :
6976587
Link To Document :
بازگشت