Title :
Formalizing an abstract architecture for the alternative data source utilized during system availability under intrusion threat
Author :
Safdar, Sohail ; Hassan, M. Fadzil ; Akbar, Rois ; Qureshi, M.A.
Author_Institution :
Fac. of Inf. & Commun. Technol., Univ. Tunku Abdul Rahman, Kampar, Malaysia
Abstract :
The main objective of the research is to formalize an abstract architecture for the alternative data source that is meant to be used during system availability under intrusion threat. For this purpose, three possible designed semantics have been identify and considered. The security and performance parameters that are required to be exhibited by the alternative data source have been identified. Qualitative analysis is carried out in terms of the identified security and performance parameters, among the considered design semantics to select the potentially secure and suitable design semantic. The selected design semantic becomes the basis of formalizing an abstract architecture for the alternative data source during system availability under intrusion threat scenario.
Keywords :
formal verification; security of data; abstract architecture formalization; alternative data source; design semantic; intrusion threat; performance parameters; qualitative analysis; security parameters; system availability; Alternative Data Source; Data migration; Dimensions; Intrusion; Threat;
Conference_Titel :
Wireless Communications and Applications (ICWCA 2012), IET International Conference on
Conference_Location :
Kuala Lumpur
Electronic_ISBN :
978-1-84919-550-8
DOI :
10.1049/cp.2012.2114