loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
23rd IEEE International Symposium on Reliable Distributed Systems (SRDS'04)
Hardware Support for High Performance, Intrusion- and Fault-Tolerant Systems
Florianpolis, Brazil
October 18-October 20
ISBN: 0-7695-2239-4
G. P. Saggese, University of Illinois at Urbana-Champaign
C. Basile, University of Illinois at Urbana-Champaign
L. Romano, Universit? degli Studi di Napoli Federico II, Italy
Z. Kalbarczyk, University of Illinois at Urbana-Champaign
R. K. Iyer, University of Illinois at Urbana-Champaign
The paper proposes a combined hardware/software approach for realizing high performance, intrusion- and fault-tolerant services. The approach is demonstrated for (yet not limited to) an Attribute Authority server, which provides a compelling application due to its stringent performance and security requirements. The key element of the proposed architecture is an FPGA-based, parallel crypto-engine providing (1) optimally dimensioned RSA Processors for efficient execution of computationally intensive RSA signatures and (2) a KeyStore facility used as tamper-resistant storage for preserving secret keys. To achieve linear speed-up (with the number of RSA Processors) and deadlock-free execution in spite of resource-sharing and scheduling/synchronization issues, we have resorted to a number of performance enhancing techniques (e.g., use of different clock domains, optimal balance between internal and external parallelism) and have formally modeled and mechanically proved our crypto-engine with the Spin model checker. At the software level, the architecture combines active replication and threshold cryptography, but in contrast with previous work, the code of our replicas is multithreaded so it can efficiently use an attached parallel crypto-engine to compute an Attribute Authority partial signature (as required by threshold cryptography). Resulting replicated systems that exhibit nondeterministic behavior, which cannot be handled with conventional replication approaches. Our architecture is based on a Preemptive Deterministic Scheduling algorithm to govern scheduling of replica threads and guarantee strong replica consistency.
Citation:
G. P. Saggese, C. Basile, L. Romano, Z. Kalbarczyk, R. K. Iyer, "Hardware Support for High Performance, Intrusion- and Fault-Tolerant Systems," srds, pp.195-204, 23rd IEEE International Symposium on Reliable Distributed Systems (SRDS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.