DocumentCode :
2346249
Title :
A Theoretical Model of Lock-Keeper Data Exchange and its Practical Verification
Author :
Roschke, Sebastian ; Cheng, Feng ; Tran, Thanh-Dien ; Meinel, Christoph
Author_Institution :
Hasso Plattner Inst., Univ. of Potsdam, Potsdam, Germany
fYear :
2009
fDate :
19-21 Oct. 2009
Firstpage :
190
Lastpage :
196
Abstract :
Performance is a critical aspect for all kinds of security solutions. The Lock-Keeper is a high-level security solution which implements the concept of physical separation. To evaluate and predict the performance of Lock-Keeper, the internal data transfer process has to be analyzed and simulated. As the Lock-Keeper consists of three independent systems, connected through a hardware-based switch, with file-based communication, the internal data transfer process is relatively complex. In this paper, we propose a mathematical model which can be used to formally represent most of the Lock-Keeper data transfer scenarios. The model is verified by practical experiments for three different application scenarios. We conclude that the performance of the Lock-Keeper system highly depends on the application scenarios.
Keywords :
electronic data interchange; formal verification; security of data; file-based communication; hardware-based switch; internal data transfer process; lock-keeper data exchange; Analytical models; Application software; Communication system security; Data security; Delay; Mathematical model; Performance analysis; Predictive models; Switches; Transport protocols; Lock-Keeper; Model; Perfomance;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Network and Parallel Computing, 2009. NPC '09. Sixth IFIP International Conference on
Conference_Location :
Gold Coast, QLD
Print_ISBN :
978-1-4244-4990-3
Electronic_ISBN :
978-0-7695-3837-2
Type :
conf
DOI :
10.1109/NPC.2009.35
Filename :
5328486
Link To Document :
بازگشت