|
|
Line 1: |
Line 1: |
| In cryptography, the '''dining cryptographers problem''' studies how to perform a [[secure multi-party computation]] of the boolean-OR function. [[David Chaum]] first proposed this problem in 1988, and used it as an illustrative example to show it was possible to send anonymous messages with unconditional sender and recipient untraceability.<ref>{{cite journal | author=David Chaum | title=The Dining Cryptographers Problem: Unconditional Sender and Recipient Untraceability | journal=Journal of Cryptology | volume=1 | issue=1 | year=1988 | pages=65–75 | doi=10.1007/BF00206326 | url=http://www.cs.cornell.edu/People/egs/herbivore/dcnets.html}}</ref> Anonymous communication networks based on this problem are often referred to as '''DC-nets'''.
| | The main advantage of using the blog is that anyone can use the Word - Press blog and customize the elements in the theme regardless to limited knowledge about internet and website development. Thus, it is important to keep pace with this highly advanced age and have a regular interaction with your audience to keep a strong hold in the business market. A pinch of tablet centric strategy can get your Word - Press site miles ahead of your competitors, so here are few strategies that will give your Wordpress websites and blogs an edge over your competitors:. In case you loved this article and you want to receive more information regarding [http://cw.cx/?WordpressDropboxBackup587803 wordpress backup plugin] assure visit our internet site. Donor oocytes and menopausal pregnancy: Oocyte donation to women of advanced reproductive age: pregnancy results and obstetrical outcomes in patients 45 years and older. If you are happy with your new look then click "Activate 'New Theme'" in the top right corner. <br><br> |
|
| |
|
| Despite the word ''dining'', the dining cryptographers problem is unrelated to the [[dining philosophers problem]].
| | Luckily, for Word - Press users, WP Touch plugin transforms your site into an IPhone style theme. You may either choose to link only to the top-level category pages or the ones that contain information about your products and services. It allows Word - Press users to easily use HTML5 the element enable native video playback within the browser. This is identical to doing a research as in depth above, nevertheless you can see various statistical details like the number of downloads and when the template was not long ago updated. This can be done by using a popular layout format and your unique Word - Press design can be achieved in other elements of the blog. <br><br>Here are a few reasons as to why people prefer Word - Press over other software's. The nominee in each category with the most votes was crowned the 2010 Parents Picks Awards WINNER and has been established as the best product, tip or place in that category. Are you considering getting your website redesigned. Our skilled expertise, skillfulness and excellence have been well known all across the world. Have you heard about niche marketing and advertising. <br><br>There has been a huge increase in the number of developers releasing free premium Word - Press themes over the years. I have compiled a few tips on how you can start a food blog and hopefully the following information and tips can help you to get started on your food blogging creative journey. Enterprise, when they plan to hire Word - Press developer resources still PHP, My - SQL and watch with great expertise in codebase. Fast Content Update - It's easy to edit or add posts with free Wordpress websites. The Pakistani culture is in demand of a main surgical treatment. <br><br>You will know which of your Word - Press blog posts are attracting more unique visitors which in turn will help you develop better products and services for your customers. Here's a list of some exciting Word - Press features that have created waves in the web development industry:. Word - Press can also be quickly extended however improvement API is not as potent as Joomla's. with posts or testimonials updated as they are uploaded to a particular section of the website. Your topic is going to be the basis of your site's name. |
| | |
| == Description ==
| |
| [[File:Dining Cryptographers.svg|thumb|Dining cryptographers problem illustration|600px|right]]Three cryptographers gather around a table for dinner. The waiter informs them that the meal has been paid by someone, who could be one of the cryptographers or the [[National Security Agency]] (NSA). The cryptographers respect each other's right to make an anonymous payment, but want to find out whether the NSA paid. So they decide to execute a two-stage protocol.
| |
| | |
| In the first stage, every two cryptographers establish a shared one-bit secret, say by tossing a coin behind a menu so that only two cryptographers see the outcome in turn for each two cryptographers. Suppose, after the coin tossing, cryptographer A and B share a secret bit <math>\scriptstyle 1</math>, A and C share <math>\scriptstyle 0</math>, and B and C share <math>\scriptstyle 1</math>.
| |
| | |
| In the second stage, each cryptographer publicly announces a bit, which is
| |
| * if they didn't pay the meal, the [[Exclusive OR]] (XOR) of the two shared bits they hold with their two neighbours
| |
| * if they did pay the meal, the opposite of that XOR.
| |
| | |
| Suppose none of the cryptographers paid, then A would announce <math>\scriptstyle 1 \,\oplus\, 0 \;=\; 1</math>, B would announce <math>\scriptstyle 1 \,\oplus\, 1 \;=\; 0</math>, and C would announce <math>\scriptstyle 0 \,\oplus\, 1 \;=\; 1</math>. On the other hand, if A paid, he would announce <math>\scriptstyle \lnot{(1 \,\oplus\, 0)} \;=\; 0</math>.
| |
| | |
| After the second stage is the truth revealing. One simply performs XOR of all the announced bits. If the result is 0, then it implies that none of the cryptographers paid (so NSA must have paid). Otherwise, it would imply one of the cryptographers paid, but their identity remains unknown to the other cryptographers.
| |
| | |
| The above protocol was named by David Chaum as the Dining Cryptographers network, or DC-net.
| |
| | |
| ==Limitations==
| |
| The DC-net protocol is simple and elegant. It has several limitations, however, some solutions to which have been explored in follow-up research (see the References section below).
| |
| | |
| 1. '''Collision''' - If two cryptographers paid for the dinner, their messages will cancel each other out, and the final XOR result will be <math>\scriptstyle 0</math>. This is called a collision, and allows only one participant to transmit at a time using this protocol. In a more general case, a collision happens as long as any even number of participants send messages.
| |
| | |
| 2. '''Disruption''' - Any malicious cryptographer who does not want the group to communicate successfully can jam the protocol so that the final XOR result is useless, simply by sending random bits instead of the correct result of the XOR. This problem occurs because the original protocol was designed without using any [[public key]] technology, and lacks reliable mechanisms to check whether participants honestly follow the protocol.
| |
| | |
| 3. '''Complexity''' - The protocol requires pair-wise shared secret keys between the participants, which may be problematic if there are many participants. Also, though the DC-net protocol is "unconditionally secure", it actually depends on the assumption that "unconditionally secure" channels already exist between pairs of the participants, which is not easy to achieve in practice.
| |
| | |
| A related [[anonymous veto network]] algorithm computes the logical OR of several users' inputs, rather than a logical XOR as in DC-nets, which may be useful in applications to which a logical OR combining operation is naturally suited.
| |
| | |
| ==Generalizations==
| |
| | |
| DC-nets generalizes readily to allow transmissions of more than one information bit per round, to groups larger than three participants, and to arbitrary "alphabets" other than the binary digits 0 and 1, as described below.
| |
| | |
| === Transmissions of longer messages ===
| |
| | |
| To enable an anonymous sender to transmit more than one bit of information per DC-nets round, the group of cryptographers can simply repeat the protocol as many times as desired to create a desired number of bits worth of transmission bandwidth. These repetitions need not be performed serially. In practical DC-net systems, it is typical for pairs of participants to agree up-front on a single shared "master" secret, using [[Diffie–Hellman key exchange]] for example. Each participant then locally feeds this shared master secret into a [[pseudorandom number generator]], in order to produce as many shared "coin flips" as desired to allow an anonymous sender to transmit multiple bits of information.
| |
| | |
| === Larger group sizes ===
| |
| | |
| The protocol can be generalized to a group of <math>\scriptstyle n</math> participants, each with a shared secret key in common with each other participant. In each round of the protocol, if a participant wants to transmit an untraceable message to the group, they invert their publicly announced bit. The participants can be visualized as a [[Complete graph|fully connected graph]] with the vertices representing the participants and the edges representing their shared secret keys.
| |
| | |
| === Sparse secret sharing graphs ===
| |
| | |
| The protocol may be run with less than fully connected secret sharing graphs, which can improve the performance and scalability of practical DC-net implementations, at the potential risk of reducing anonymity if colluding participants can split the secret sharing graph into separate connected components. For example, an intuitively appealing but less secure generalization to <math>\scriptstyle n > 3</math> participants using a [[ring topology]], where each cryptographer sitting around a table shares a secret ''only'' with the cryptographer to their immediate left and right, and ''not'' with every other cryptographer. Such a topology is appealing because each cryptographer needs to coordinate two coin flips per round, rather than <math>\scriptstyle n</math>. However, if Adam and Charlie are actually NSA agents sitting immediately to the left and right of Bob, an innocent victim, and if Adam and Charlie secretly collude to reveal their secrets to each other, then they can determine with certainty whether or not Bob was the sender of a 1 bit in a DC-net run, regardless of how many participants there are in total. This is because the colluding participants Adam and Charlie effectively "split" the secret sharing graph into two separate disconnected components, one containing only Bob, the other containing all other honest participants.
| |
| | |
| Another compromise secret sharing DC-net topology, employed in the [http://dedis.cs.yale.edu/2010/anon/ Dissent] system for scalability,<ref name="WCFJ12">{{cite conference | author= David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson | title= Dissent in Numbers: Making Strong Anonymity Scale | conference=10th USENIX Symposium on Operating Systems Design and Implementation (OSDI) | location=Hollywood, CA, USA | date=October 8–10, 2012 | url=http://dedis.cs.yale.edu/2010/anon/papers/osdi12-abs}}</ref> may be described as a ''client/server'' or ''user/trustee'' topology. In this variant, we assume there are two types of participants playing different roles: a potentially large number ''n ''of users who desire anonymity, and a much smaller number <math>\scriptstyle m</math> of ''trustees'' whose role is to help the users obtain that anonymity. In this topology, each of the <math>\scriptstyle n</math> users shares a secret with each of the <math>\scriptstyle m</math> trustees - but users share no secrets directly with other users, and trustees share no secrets directly with other trustees - resulting in an <math>\scriptstyle n \times m</math> secret sharing matrix. If the number of trustees <math>\scriptstyle m</math> is small, then each user needs to manage only a few shared secrets, improving efficiency for users in the same way the ring topology does. However, as long as ''at least one trustee'' behaves honestly and does not leak his or her secrets or collude with other participants, then that honest trustee forms a "hub" connecting all honest users into a single fully connected component, regardless of which or how many other users and/or trustees might be dishonestly colluding. Users need not know or guess which trustee is honest; their security depends only on the ''existence'' of at least one honest, non-colluding trustee.
| |
| | |
| === Alternate alphabets and combining operators ===
| |
| | |
| Though the simple DC-nets protocol uses [[Bit|binary digits]] as its transmission alphabet, and uses the XOR operator to combine cipher texts, the basic protocol generalizes to any alphabet and combining operator suitable for [[one-time pad]] encryption. This flexibility arises naturally from the fact that the secrets shared between the many pairs of participants are, in effect, merely one-time pads combined together symmetrically within a single DC-net round.
| |
| | |
| One useful alternate choice of DC-nets alphabet and combining operator is to use a [[finite group]] suitable for public-key cryptography as the alphabet - such as a [[Schnorr group]] or [[elliptic curve]] - and to use the associated group operator as the DC-net combining operator. Such a choice of alphabet and operator makes it possible for clients to use [[zero-knowledge proof]] techniques to prove correctness properties about the DC-net ciphertexts that they produce - such as that the participant is not "jamming" the transmission channel - without compromising the anonymity offered by the DC-net. This technique was first suggested by Golle and Juels,<ref name="GJ04">{{cite conference | author= Philippe Golle and Ari Juels | title=Dining Cryptographers Revisited | conference=Eurocrypt 2004 | date=May 2–6, 2004 | location=Interlaken, Switzerland | url=http://china.rsa.com/rsalabs/staff/bios/ajuels/publications/pdfs/dc-revisited.pdf}}</ref> further developed by Franck,<ref>{{cite thesis |degree=M.Sc. |first=Christian |last=Franck |title=New Directions for Dining Cryptographers |year=2008 | url=http://secan-lab.uni.lu/images/stories/christian_franck/FRANCK_Christian_Master_Thesis.pdf}}</ref> and later implemented in [http://dedis.cs.yale.edu/2010/anon/papers/verdict-abs Verdict], a cryptographically verifiable implementation of the [http://dedis.cs.yale.edu/2010/anon/ Dissent] system.<ref name="CWF13">{{cite conference | author= Henry Corrigan-Gibbs, David Isaac Wolinsky, and Bryan Ford | title= Proactively Accountable Anonymous Messaging in Verdict | conference=22nd USENIX Security Symposium | date=August 14–16, 2013 | location=Washington, DC, USA | url=http://dedis.cs.yale.edu/2010/anon/papers/verdict-abs }}</ref>
| |
| | |
| == Handling or Avoiding Collisions ==
| |
| | |
| The measure originally suggested by David Chaum to avoid collisions is to re-transmit the message once a collision is detected, but the paper does not explain exactly how to arrange the re-transmission.
| |
| | |
| [http://dedis.cs.yale.edu/2010/anon/ Dissent] avoids the possibility of unintentional collisions by using a verifiable shuffle to establish a DC-nets transmission schedule, such that each participant knows exactly which bits in the schedule correspond to his own transmission slot, but does not know who owns other transmission slots.<ref name="CF10">{{cite conference | author=Henry Corrigan-Gibbs and Bryan Ford | title=Dissent: Accountable Group Anonymity | conference=17th ACM Conference on Computer and Communications Security (CCS) | date=October 2010 | location=Chicago, IL, USA | url=http://dedis.cs.yale.edu/2010/anon/papers/ccs10/}}</ref>
| |
| | |
| == Countering disruption attacks ==
| |
| | |
| [http://www.cs.cornell.edu/people/egs/herbivore/documentation.html Herbivore] divides a large anonymity network into smaller DC-net groups, enabling participants to evade disruption attempts by leaving a disrupted group and joining another group, until the participant finds a group free of disruptors.<ref name="SGRE04">{{cite conference | author=Emin Gün Sirer, Sharad Goel, Mark Robson, and Doğan Engin | title=Eluding Carnivores: File Sharing with Strong Anonymity | conference=ACM SIGOPS European workshop | date= September 19–22, 2004 | location= Leuven, Belgium | url=http://www.cs.cornell.edu/People/egs/714-spring05/herbivore-esigops.pdf}}</ref> This evasion approach introduces the risk that an adversary who owns many nodes could ''selectively'' disrupt only groups the adversary has not ''completely'' compromised, thereby "herding" participants toward groups that may be functional precisely because they are completely compromised.<ref name="BDMT07">{{cite conference | author=Nikita Borisov and George Danezis and Prateek Mittal and Parisa Tabriz | title=Denial of Service or Denial of Security? How Attacks on Reliability can Compromise Anonymity | conference=ACM Conference on Computer and Communications Security (CCS) | date=October 2007 | location=Alexandria, VA, USA | url=http://hostmaster.freehaven.net/anonbib/cache/ccs07-doa.pdf}}</ref>
| |
| | |
| [http://dedis.cs.yale.edu/2010/anon/ Dissent] implements several schemes to counter disruption. The original protocol<ref name="CF10" /> used a verifiable [[shuffling|cryptographic shuffle]] to form a DC-net transmission schedule and distribute "transmission assignments", allowing the correctness of subsequent DC-nets ciphertexts to be verified with a simple [[cryptographic hash function|cryptographic hash]] check. This technique required a fresh verifiable before every DC-nets round, however, leading to high latencies. A later, more efficient scheme allows a series of DC-net rounds to proceed without intervening shuffles in the absence of disruption, but in response to a disruption event uses a shuffle to distribute anonymous ''accusations'' enabling a disruption victim to expose and prove the identity of the perpetrator.<ref name="WCFJ12" /> Finally, more recent versions support fully verifiable DC-nets - at substantial cost in computation efficiency due to the use of [[public-key cryptography]] in the DC-net - as well as a ''hybrid'' mode that uses efficient XOR-based DC-nets in the normal case and verifiable DC-nets only upon disruption, to distribute accusations more quickly than is feasible using verifiable shuffles.<ref name="CWF13" />
| |
| | |
| == References ==
| |
| {{reflist}}
| |
| | |
| [[Category:Cryptography]]
| |
| [[Category:Mathematical problems]]
| |
| [[Category:Zero-knowledge protocols]]
| |
The main advantage of using the blog is that anyone can use the Word - Press blog and customize the elements in the theme regardless to limited knowledge about internet and website development. Thus, it is important to keep pace with this highly advanced age and have a regular interaction with your audience to keep a strong hold in the business market. A pinch of tablet centric strategy can get your Word - Press site miles ahead of your competitors, so here are few strategies that will give your Wordpress websites and blogs an edge over your competitors:. In case you loved this article and you want to receive more information regarding wordpress backup plugin assure visit our internet site. Donor oocytes and menopausal pregnancy: Oocyte donation to women of advanced reproductive age: pregnancy results and obstetrical outcomes in patients 45 years and older. If you are happy with your new look then click "Activate 'New Theme'" in the top right corner.
Luckily, for Word - Press users, WP Touch plugin transforms your site into an IPhone style theme. You may either choose to link only to the top-level category pages or the ones that contain information about your products and services. It allows Word - Press users to easily use HTML5 the element enable native video playback within the browser. This is identical to doing a research as in depth above, nevertheless you can see various statistical details like the number of downloads and when the template was not long ago updated. This can be done by using a popular layout format and your unique Word - Press design can be achieved in other elements of the blog.
Here are a few reasons as to why people prefer Word - Press over other software's. The nominee in each category with the most votes was crowned the 2010 Parents Picks Awards WINNER and has been established as the best product, tip or place in that category. Are you considering getting your website redesigned. Our skilled expertise, skillfulness and excellence have been well known all across the world. Have you heard about niche marketing and advertising.
There has been a huge increase in the number of developers releasing free premium Word - Press themes over the years. I have compiled a few tips on how you can start a food blog and hopefully the following information and tips can help you to get started on your food blogging creative journey. Enterprise, when they plan to hire Word - Press developer resources still PHP, My - SQL and watch with great expertise in codebase. Fast Content Update - It's easy to edit or add posts with free Wordpress websites. The Pakistani culture is in demand of a main surgical treatment.
You will know which of your Word - Press blog posts are attracting more unique visitors which in turn will help you develop better products and services for your customers. Here's a list of some exciting Word - Press features that have created waves in the web development industry:. Word - Press can also be quickly extended however improvement API is not as potent as Joomla's. with posts or testimonials updated as they are uploaded to a particular section of the website. Your topic is going to be the basis of your site's name.