Computer Science – Cryptography and Security
Scientific paper
2012-03-07
Computer Science
Cryptography and Security
25 pages. Keywords: Protocol composition, Authenticated Byzantine Generals, Universal composability, Unique session identifier
Scientific paper
The problem of {\em Authenticated Byzantine Generals} (ABG) aims to simulate a {\em virtual} reliable broadcast channel from the {\em General} to all the players via a protocol over a {\em real} (point-to-point) network in the presence of faults. We propose a new model to study the self-composition of protocols for {\em Authenticated Byzantine Generals}. The central dogma of our approach can be phrased as follows: Consider a player who diligently executes (only) the delegated protocol but the adversary steals some private information from him. Should such a player be considered faulty? With respect to ABG protocols, we argue that the answer has to be {\em no}. In the new model we show that in spite of using unique session identifiers, if $n < 2t$, there cannot exist any ABG protocol that composes in parallel even twice. Further, for $n \geq 2t$, we design ABG protocols that compose for any number of parallel executions. Besides, investigating the composition of ABG under a new light, our work brings out several new insights into Canetti's universal composability framework. Specifically, we show that there are several undesirable effects if one deviates from our dogma. This provides further evidence as to why our dogma is the right framework for studying the composition of ABG protocols.
Bansal Piyush
Gopal Prasant
Gupta Anuj
Srinathan Kannan
No associations
LandOfFree
A New Look at Composition of Authenticated Byzantine Generals does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A New Look at Composition of Authenticated Byzantine Generals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A New Look at Composition of Authenticated Byzantine Generals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-393964