Abstract:
Proving or disproving faithfulness (a property describing robustness to rational manipulation in action as well as information revelation) is an appealing goal when reasoning about distributed systems containing rational participants. Recent work formalizes the notion of faithfulness and its foundation properties, and presents a general proof technique in the course of proving the ex post Nash faithfulness of a theoretical routing problem [11]. In this paper, we use...
Citations
|
1049
|
Distributed Algorithms
– Lynch
- 1996
|
|
972
|
Program slicing
– Weiser
- 1984
|
|
553
|
The Sybil Attack
– Douceur
- 2002
|
|
476
|
A survey of program slicing techniques
– Tip
- 1995
|
|
392
|
Incentives build robustness in BitTorrent
– Cohen
- 2003
|
|
361
|
Algorithmic mechanism design
– Nisan, Ronen
- 1999
|
|
153
|
Distributed Algorithmic Mechanism Design: Recent Results and Future Directions
– Feigenbaum, Shenker
- 2002
|
|
147
|
A BGP-based mechanism for lowest-cost routing
– Feigenbaum, Papadimitriou, et al.
|
|
127
|
Computationally feasible VCG Mechanisms
– Nisan, Ronen
- 2000
|
|
115
|
TCP congestion control with a misbehaving receiver
– Savage, Cardwell, et al.
- 1999
|
|
89
|
Iterative Combinatorial Auctions: Achieving Economic and Computational Efficiency
– Parkes
- 2001
|
|
51
|
Rationality and Self-Interest in Peer to Peer Networks
– Shneidman, Parkes
- 2003
|
|
29
|
Specification Faithfulness in Networks with Rational Nodes
– Shneidman, Parkes
- 2004
|
|
24
|
Antisocial agents and Vickrey auctions
– Brandt, Weiss
- 2002
|
|
15
|
Design guidelines for robust internet protocols
– Anderson, Shenker, et al.
|
|
1
|
Game Web site, World of Warcraft BitTorrent FAQ. http://www.blizzard.com/wow/faq/bittorrent.shtml
– Blizzard
|
|
1
|
The Sybil Attack. In "1st Int. Workshop on Peer-to-Peer Systems (IPTPS'02)", 2002. [6] Dawson Engler and Madanlal Musuvathi. Model-checking large network protocol implementations
– Douceur
- 2004
|
|
1
|
site, Press Release about BitTorrent. http://www.linspire.com/lindows news pressreleases archives.php?id=111
– Web
- 1996
|
|
1
|
Scalable Content Distribution in the Internet
– Rodriguez
- 2000
|
|
1
|
and Madanlal Musuvathi. Model-checking large network protocol implementations
– Engler
- 2004
|