[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
[or-cvs] r10435: Add Two Hop Paths proposal as 115. Mark 112 superseded by 11 (tor/trunk/doc/spec/proposals)
Author: mikeperry
Date: 2007-06-01 00:41:51 -0400 (Fri, 01 Jun 2007)
New Revision: 10435
Added:
tor/trunk/doc/spec/proposals/115-two-hop-paths.txt
Modified:
tor/trunk/doc/spec/proposals/112-bring-back-pathlencoinweight.txt
Log:
Add Two Hop Paths proposal as 115. Mark 112 superseded by 115.
Modified: tor/trunk/doc/spec/proposals/112-bring-back-pathlencoinweight.txt
===================================================================
--- tor/trunk/doc/spec/proposals/112-bring-back-pathlencoinweight.txt 2007-06-01 01:10:02 UTC (rev 10434)
+++ tor/trunk/doc/spec/proposals/112-bring-back-pathlencoinweight.txt 2007-06-01 04:41:51 UTC (rev 10435)
@@ -4,7 +4,8 @@
Last-Modified:
Author: Mike Perry
Created:
-Status: Open
+Status: Superseded
+Superseded-By: 115
Overview:
Added: tor/trunk/doc/spec/proposals/115-two-hop-paths.txt
===================================================================
--- tor/trunk/doc/spec/proposals/115-two-hop-paths.txt (rev 0)
+++ tor/trunk/doc/spec/proposals/115-two-hop-paths.txt 2007-06-01 04:41:51 UTC (rev 10435)
@@ -0,0 +1,292 @@
+Filename: 115-two-hop-paths.txt
+Title: Two Hop Paths
+Version: $Revision$
+Last-Modified: $Date$
+Author: Mike Perry
+Created:
+Status: Open
+Supersedes: 112
+
+
+Overview:
+
+ The idea is that users should be able to choose if they would like
+ to have either two or three hop paths through the tor network.
+
+ This value should be modifiable from the controller, and should be
+ available from Vidalia.
+
+
+Motivation:
+
+ The Tor network is slow and overloaded. Increasingly often I hear
+ stories about friends and friends of friends who are behind firewalls,
+ annoying censorware, or under surveillance that interferes with their
+ productivity and Internet usage, or chills their speech. These people
+ know about Tor, but they choose to put up with the censorship because
+ Tor is too slow to be usable for them. In fact, to download a fresh,
+ complete copy of levine-timing.pdf for the Theoretical Argument
+ section of this proposal over Tor took me 3 tries.
+
+ Furthermore, the biggest current problem with Tor's anonymity for
+ those who really need it is not someone attacking the network to
+ discover who they are. It's instead the extreme danger that so few
+ people use Tor because it's so slow, that those who do use it have
+ essentially no confusion set.
+
+ The recent case where the professor and the rogue Tor user were the
+ only Tor users on campus, and thus suspected in an incident involving
+ Tor and that University underscores this point: "That was why the police
+ had come to see me. They told me that only two people on our campus were
+ using Tor: me and someone they suspected of engaging in an online scam.
+ The detectives wanted to know whether the other user was a former
+ student of mine, and why I was using Tor"[1].
+
+ Not only does Tor provide no anonymity if you use it to be anonymous
+ but are obviously from a certain institution, location or circumstance,
+ it is also dangerous to use Tor for risk of being accused of having
+ something significant enough to hide to be willing to put up with
+ the horrible performance.
+
+ There are many ways to improve the speed problem, and of course we
+ should and will implement as many as we can. Johannes's GSoC project
+ and my reputation system are longer term, higher-effort things that
+ will still provide benefit independent of this proposal.
+
+ However, reducing the path length to 2 for those who do not need the
+ (questionable) extra anonymity 3 hops provide not only improves their
+ Tor experience but also reduces their load on the Tor network by 33%,
+ and can be done in less than 10 lines of code (not counting various
+ security enhancements). That's not just Win-Win, it's Win-Win-Win.
+
+
+Theoretical Argument:
+
+ It has long been established that timing attacks against mixed
+ and onion networks are extremely effective, and that regardless
+ of path length, if the adversary has compromised your first and
+ last hop of your path, you can assume they have compromised your
+ identity for that connection.
+
+ In fact, it was demonstrated that for all but the slowest, lossiest
+ networks, error rates for false positives and false negatives were
+ very near zero[2]. Only for constant streams of traffic over slow and
+ (more importantly) extremely lossy network links did the error rate
+ hit 20%. For loss rates typical to the Internet, even the error rate
+ for slow nodes with constant traffic streams was 13%.
+
+ When you take into account that most Tor streams are not constant,
+ but probably much more like their "HomeIP" dataset, which consists
+ mostly of web traffic that exists over finite intervals at specific
+ times, error rates drop to fractions of 1%, even for the "worst"
+ network nodes.
+
+ Therefore, the user has little benefit from the extra hop, assuming
+ the adversary does timing correlation on their nodes. Since timing
+ correlation is simply an implementation issue and is most likely
+ a single up-front cost (and one that is like quite a bit cheaper
+ than the cost of the machines purchased to host the nodes to mount
+ an attack), the real protection is the low probability of getting
+ both the first and last hop of a client's stream.
+
+
+Practical Issues:
+
+ Theoretical issues aside, there are several practical issues with the
+ implementation of Tor that need to be addressed to ensure that
+ identity information is not leaked by the implementation.
+
+ Exit policy issues:
+
+ If a client chooses an exit with a very restrictive exit policy
+ (such as an IP or IP range), the first hop then knows a good deal
+ about the destination. For this reason, clients should not select
+ exits that match their destination IP with anything other than "*".
+
+ Partitioning:
+
+ Partitioning attacks form another concern. Since Tor uses telescoping
+ to build circuits, it is possible to tell a user is constructing only
+ two hop paths at the entry node and on the local network. An external
+ adversary can potentially differentiate 2 and 3 hop users, and decide
+ that all IP addresses connecting to Tor and using 3 hops have something
+ to hide, and should be scrutinized more closely or outright apprehended.
+
+ One solution to this is to use the "leaky-circuit" method of attaching
+ streams: The user always creates 3-hop circuits, but if the option
+ is enabled, they always exit from their 2nd hop. The ideal solution
+ would be to create a RELAY_SHISHKABOB cell which contains onion
+ skins for every host along the path, but this requires protocol
+ changes at the nodes to support.
+
+ Guard nodes:
+
+ Since guard nodes do rotate due to network failure, node upgrades and
+ other issues, if you amortize the risk a user is exposed to over any
+ reasonable duration of Tor usage (on the order of a year), it is the
+ same with or without guard nodes. Assuming an adversary has c%/n% of
+ network bandwidth, and guards rotate on average with period R,
+ statistically speaking, it's merely a question of if the user wishes
+ their risk to be concentrated with probability c/n over an expected
+ period of R*c, and probability 0 over an expected period of R*(n-c),
+ versus a continuous risk of (c/n)^2. So statistically speaking, guards
+ only create a time-tradeoff of risk over the long run for normal Tor
+ usage. They do not reduce risk for normal client usage long term.[3]
+
+ Guard nodes do offer a measure of accountability of sorts. If a user
+ was using a small set of guard nodes, and then is suddenly apprehended
+ as a result of Tor usage, having a fixed set of entry points to suspect
+ is a lot better than suspecting the whole network.
+
+ It has been speculated that a set of guard nodes can be used to
+ fingerprint a user (presumably by a local adversary) when they move
+ about. However, it is precisely this activity of moving your laptop that
+ causes guards to be marked as down by the Tor client, which then chooses
+ new ones.
+
+ All of this is not terribly relevant to this proposal, but worth bearing
+ in mind, since guard nodes do have a bit more ability to wreak
+ havoc with two hops than with three.
+
+ Two hop paths allow malicious guards to get considerably more benefit
+ from failing circuits if they do not extend to their colluding peers for
+ the exit hop. Since guards can detect the number of hops in a path via
+ either timing or by statistical analysis of the exit policy of the 2nd
+ hop, they can perform this attack predominantly against 2 hop users
+ only.
+
+ This can be addressed by completely abandoning an entry guard after a
+ certain ratio of extend or general circuit failures with respect to
+ non-failed circuits. The proper value for this ratio can be determined
+ experimentally with TorFlow. There is the possibility that the local
+ network can abuse this feature to cause certain guards to be dropped,
+ but they can do that anyways with the current Tor by just making guards
+ they don't like unreachable. With this mechanism, Tor will complain
+ loudly if any guard failure rate exceeds the expected in any failure
+ case, local or remote.
+
+ Eliminating guards entirely would actually not address this issue due
+ to the time-tradeoff nature of risk. In fact, it would just make it
+ worse. Without guard nodes, it becomes much more difficult for clients
+ to become alerted to Tor entry points that are failing circuits to make
+ sure that they only devote bandwidth to carry traffic for streams which
+ they observe both ends.
+
+ For this reason, guard nodes should remain enabled for 2 hop users,
+ at least until an IP-independent, undetectable guard scanner can
+ be created. TorFlow can scan for failing guards, but after a while,
+ its unique behavior gives away the fact that its IP is a scanner and
+ it can be given selective service.
+
+
+Why not fix Pathlen=2?:
+
+ The main reason I am not advocating that we always use 2 hops is that
+ in some situations, timing correlation evidence by itself may not be
+ considered as solid and convincing as an actual, uninterrupted, fully
+ traced path. Are these timing attacks as effective on a real network as
+ they are in simulation? Maybe the circuit multiplexing of Tor can serve
+ to frustrate them to a degree? Would an extralegal adversary or
+ authoritarian government even care? In the face of these situation
+ dependent unknowns, it should be up to the user to decide if this is
+ a concern for them or not.
+
+ It should probably also be noted that even a false positive
+ rate of 1% for a 200k concurrent-user network could mean that for a
+ given node, a given stream could be confused with something like 10
+ users, assuming ~200 nodes carry most of the traffic (ie 1000 users
+ each). Though of course to really know for sure, someone needs to do
+ an attack on a real network, unfortunately.
+
+ Additionally, at some point cover traffic schemes may be implemented to
+ frustrate timing attacks on the first hop. It is possible some expert
+ users may do this ad-hoc already, and may wish to continue using 3 hops
+ for this reason.
+
+
+Who will enable this option?
+
+ This is the crux of the proposal. Admittedly, there is some anonymity
+ loss and some degree of decreased investment required on the part of
+ the adversary to attack 2 hop users versus 3 hop users, even if it is
+ minimal and limited mostly to up-front costs and false positives.
+
+ The key questions are:
+
+ 1. Are these users in a class such that their risk is significantly
+ less than the amount of this anonymity loss?
+
+ 2. Are these users able to identify themselves?
+
+ Many many users of Tor are not at risk for an adversary capturing c/n
+ nodes of the network just to see what they do. These users use Tor to
+ circumvent aggressive content filters, or simply to keep their IP out of
+ marketing and search engine databases. Most content filters have no
+ interest in running Tor nodes to catch violators, and marketers
+ certainly would never consider such a thing, both on a cost basis and a
+ legal one.
+
+ In a sense, this represents an alternate threat model against these
+ users who are not at risk for Tor's normal threat model.
+
+ It should be evident to these users that they fall into this class. All
+ that should be needed is a radio button
+
+ * "I use Tor for censorship resistance and IP obfuscation, not anonymity.
+ Speed is more important to me than high anonymity."
+ * "I use Tor for anonymity. I need more protection at the cost of speed."
+
+ and then some explanation in the help for exactly what this means, and
+ the risks involved with eliminating the adversary's need for timing
+ attacks with respect to false positives.
+
+
+Implementation:
+
+ new_route_len() can be modified directly with a check of the
+ Pathlen option.
+
+ The exit policy hack is a bit more tricky. compare_addr_to_addr_policy
+ needs to return an alternate ADDR_POLICY_ACCEPTED_WILDCARD or
+ ADDR_POLICY_ACCEPTED_SPECIFIC return value for use in
+ circuit_is_acceptable.
+
+ The leaky exit is trickier still.. handle_control_attachstream
+ does allow paths to exit at a given hop. Presumably something similar
+ can be done in connection_ap_handshake_process_socks, and elsewhere?
+ Circuit construction would also have to be performed such that the
+ 2nd hop's exit policy is what is considered, not the 3rd's.
+
+ The entry_guard_t structure could have num_circ_failed and
+ num_circ_succeeded members such that if it exceeds F% circuit
+ extend failure rate to a second hop, it is removed from the entry list.
+
+ F should be sufficiently high to avoid churn from normal Tor circuit
+ failure as determined by TorFlow scans.
+
+ The Vidalia option should be presented as a radio button.
+
+
+Migration:
+
+ Phase 1: Adjust exit policy checks if Pathlen is set. Modify
+ new_route_len() to obey a 'Pathlen' config option.
+
+ Phase 2: Implement leaky circuit ability.
+
+ Phase 3: Experiment to determine the proper ratio of circuit
+ failures used to expire garbage or malicious guards via TorFlow
+ (pending Bug #440 backport+adoption).
+
+ Phase 4: Implement guard expiration code to kick off failure-prone
+ guards and warn the user.
+
+ Phase 5: Make radiobutton in Vidalia, along with help entry
+ that explains in layman's terms the risks involved.
+
+ Phase 6: Allow user to specify pathlength by HTTP URL suffix.
+
+
+[1] http://p2pnet.net/story/11279
+[2] http://www.cs.umass.edu/~mwright/papers/levine-timing.pdf
+[3] Proof available upon request ;)