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