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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/NPC.2009.35 | NPC |
Keywords | Field | DocType |
file-based communication,lock-keeper data exchange,different application scenario,mathematical model,lock-keeper system,security solution,application scenario,critical aspect,theoretical model,internal data transfer process,practical verification,high-level security solution,lock-keeper data transfer scenario,switches,data mining,computational modeling,data exchange,logic gates,electronic data interchange,bandwidth,data transfer,formal verification | Logic gate,Data exchange,Electronic data interchange,Data transmission,Lock (computer science),Computer science,Computer network,Bandwidth (signal processing),Formal verification,Distributed computing | Conference |
Citations | PageRank | References |
1 | 0.41 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sebastian Roschke | 1 | 141 | 11.64 |
Feng Cheng | 2 | 191 | 29.47 |
Thanh-Dien Tran | 3 | 30 | 2.90 |
Christoph Meinel | 4 | 2341 | 319.90 |