blocking.tex 47 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037
  1. \documentclass{llncs}
  2. \usepackage{url}
  3. \usepackage{amsmath}
  4. \usepackage{epsfig}
  5. %\setlength{\textwidth}{5.9in}
  6. %\setlength{\textheight}{8.4in}
  7. %\setlength{\topmargin}{.5cm}
  8. %\setlength{\oddsidemargin}{1cm}
  9. %\setlength{\evensidemargin}{1cm}
  10. \newenvironment{tightlist}{\begin{list}{$\bullet$}{
  11. \setlength{\itemsep}{0mm}
  12. \setlength{\parsep}{0mm}
  13. % \setlength{\labelsep}{0mm}
  14. % \setlength{\labelwidth}{0mm}
  15. % \setlength{\topsep}{0mm}
  16. }}{\end{list}}
  17. \begin{document}
  18. \title{Design of a blocking-resistant anonymity system}
  19. %\author{Roger Dingledine\inst{1} \and Nick Mathewson\inst{1}}
  20. \author{Roger Dingledine \and Nick Mathewson}
  21. \institute{The Free Haven Project\\
  22. \email{\{arma,nickm\}@freehaven.net}}
  23. \maketitle
  24. \pagestyle{plain}
  25. \begin{abstract}
  26. Websites around the world are increasingly being blocked by
  27. government-level firewalls. Many people use anonymizing networks like
  28. Tor to contact sites without letting an attacker trace their activities,
  29. and as an added benefit they are no longer affected by local censorship.
  30. But if the attacker simply denies access to the Tor network itself,
  31. blocked users can no longer benefit from the security Tor offers.
  32. Here we describe a design that builds upon the current Tor network
  33. to provide an anonymizing network that resists blocking
  34. by government-level attackers.
  35. \end{abstract}
  36. \section{Introduction and Goals}
  37. Anonymizing networks such as Tor~\cite{tor-design} bounce traffic around
  38. a network of relays. They aim to hide not only what is being said, but
  39. also who is communicating with whom, which users are using which websites,
  40. and so on. These systems have a broad range of users, including ordinary
  41. citizens who want to avoid being profiled for targeted advertisements,
  42. corporations who don't want to reveal information to their competitors,
  43. and law enforcement and government intelligence agencies who need to do
  44. operations on the Internet without being noticed.
  45. Historically, research on anonymizing systems has assumed a passive
  46. attacker who monitors the user (call her Alice) and tries to discover her
  47. activities, yet lets her reach any piece of the network. In more modern
  48. threat models such as Tor's, the adversary is allowed to perform active
  49. attacks such as modifying communications in hopes of tricking Alice
  50. into revealing her destination, or intercepting some of her connections
  51. to run a man-in-the-middle attack. But these systems still assume that
  52. Alice can eventually reach the anonymizing network.
  53. An increasing number of users are making use of the Tor software
  54. not so much for its anonymity properties but for its censorship
  55. resistance properties -- if they access Internet sites like Wikipedia
  56. and Blogspot via Tor, they are no longer affected by local censorship
  57. and firewall rules. In fact, an informal user study (described in
  58. Appendix~\ref{app:geoip}) showed China as the third largest user base
  59. for Tor clients, with perhaps ten thousand people accessing the Tor
  60. network from China each day.
  61. The current Tor design is easy to block if the attacker controls Alice's
  62. connection to the Tor network --- by blocking the directory authorities,
  63. by blocking all the server IP addresses in the directory, or by filtering
  64. based on the signature of the Tor TLS handshake. Here we describe a
  65. design that builds upon the current Tor network to provide an anonymizing
  66. network that also resists this blocking. Specifically,
  67. Section~\ref{sec:adversary} discusses our threat model --- that is,
  68. the assumptions we make about our adversary; Section~\ref{sec:current-tor}
  69. describes the components of the current Tor design and how they can be
  70. leveraged for a new blocking-resistant design; Section~\ref{sec:related}
  71. explains the features and drawbacks of the currently deployed solutions;
  72. and ...
  73. %And adding more different classes of users and goals to the Tor network
  74. %improves the anonymity for all Tor users~\cite{econymics,usability:weis2006}.
  75. \section{Adversary assumptions}
  76. \label{sec:adversary}
  77. The history of blocking-resistance designs is littered with conflicting
  78. assumptions about what adversaries to expect and what problems are
  79. in the critical path to a solution. Here we try to enumerate our best
  80. understanding of the current situation around the world.
  81. In the traditional security style, we aim to describe a strong attacker
  82. --- if we can defend against this attacker, we inherit protection
  83. against weaker attackers as well. After all, we want a general design
  84. that will work for people in China, people in Iran, people in Thailand,
  85. whistleblowers in firewalled corporate networks, and people in whatever
  86. turns out to be the next oppressive situation. In fact, by designing with
  87. a variety of adversaries in mind, we can take advantage of the fact that
  88. adversaries will be in different stages of the arms race at each location.
  89. We assume there are three main network attacks in use by censors
  90. currently~\cite{clayton:pet2006}:
  91. \begin{tightlist}
  92. \item Block destination by automatically searching for certain strings
  93. in TCP packets.
  94. \item Block destination by manually listing its IP address at the
  95. firewall.
  96. \item Intercept DNS requests and give bogus responses for certain
  97. destination hostnames.
  98. \end{tightlist}
  99. We assume the network firewall has very limited CPU per
  100. connection~\cite{clayton:pet2006}. Against an adversary who spends
  101. hours looking through the contents of each packet, we would need
  102. some stronger mechanism such as steganography, which introduces its
  103. own problems~\cite{active-wardens,tcpstego,bar}.
  104. More broadly, we assume that the chance that the authorities try to
  105. block a given system grows as its popularity grows. That is, a system
  106. used by only a few users will probably never be blocked, whereas a
  107. well-publicized system with many users will receive much more scrutiny.
  108. We assume that readers of blocked content are not in as much danger
  109. as publishers. So far in places like China, the authorities mainly go
  110. after people who publish materials and coordinate organized movements
  111. against the state~\cite{mackinnon}. If they find that a user happens
  112. to be reading a site that should be blocked, the typical response is
  113. simply to block the site. Of course, even with an encrypted connection,
  114. the adversary may be able to distinguish readers from publishers by
  115. observing whether Alice is mostly downloading bytes or mostly uploading
  116. them --- we discuss this issue more in Section~\ref{subsec:upload-padding}.
  117. We assume that while various different regimes can coordinate and share
  118. notes, there will be a significant time lag between one attacker learning
  119. how to overcome a facet of our design and other attackers picking it up.
  120. Similarly, we assume that in the early stages of deployment the insider
  121. threat isn't as high of a risk, because no attackers have put serious
  122. effort into breaking the system yet.
  123. We assume that government-level attackers are not always uniform across
  124. the country. For example, there is no single centralized place in China
  125. that coordinates its censorship decisions and steps.
  126. We assume that our users have control over their hardware and
  127. software --- they don't have any spyware installed, there are no
  128. cameras watching their screen, etc. Unfortunately, in many situations
  129. these threats are very real~\cite{zuckerman-threatmodels}; yet
  130. software-based security systems like ours are poorly equipped to handle
  131. a user who is entirely observed and controlled by the adversary. See
  132. Section~\ref{subsec:cafes-and-livecds} for more discussion of what little
  133. we can do about this issue.
  134. We assume that the user will be able to fetch a genuine
  135. version of Tor, rather than one supplied by the adversary; see
  136. Section~\ref{subsec:trust-chain} for discussion on helping the user
  137. confirm that he has a genuine version and that he can connect to the
  138. real Tor network.
  139. \section{Components of the current Tor design}
  140. \label{sec:current-tor}
  141. Tor is popular and sees a lot of use. It's the largest anonymity
  142. network of its kind.
  143. Tor has attracted more than 800 routers from around the world.
  144. A few sentences about how Tor works.
  145. In this section, we examine some of the reasons why Tor has taken off,
  146. with particular emphasis to how we can take advantage of these properties
  147. for a blocking-resistance design.
  148. Tor aims to provide three security properties:
  149. \begin{tightlist}
  150. \item 1. A local network attacker can't learn, or influence, your
  151. destination.
  152. \item 2. No single router in the Tor network can link you to your
  153. destination.
  154. \item 3. The destination, or somebody watching the destination,
  155. can't learn your location.
  156. \end{tightlist}
  157. For blocking-resistance, we care most clearly about the first
  158. property. But as the arms race progresses, the second property
  159. will become important --- for example, to discourage an adversary
  160. from volunteering a relay in order to learn that Alice is reading
  161. or posting to certain websites. The third property is not so clearly
  162. important in this context, but we believe it will turn out to be helpful:
  163. consider websites and other Internet services that have been pressured
  164. recently into treating clients differently depending on their network
  165. location~\cite{google-geolocation}.
  166. % and cite{goodell-syverson06} once it's finalized.
  167. The Tor design provides other features as well over manual or ad
  168. hoc circumvention techniques.
  169. Firstly, the Tor directory authorities automatically aggregate, test,
  170. and publish signed summaries of the available Tor routers. Tor clients
  171. can fetch these summaries to learn which routers are available and
  172. which routers have desired properties. Directory information is cached
  173. throughout the Tor network, so once clients have bootstrapped they never
  174. need to interact with the authorities directly. (To tolerate a minority
  175. of compromised directory authorities, we use a threshold trust scheme ---
  176. see Section~\ref{subsec:trust-chain} for details.)
  177. Secondly, Tor clients can be configured to use any directory authorities
  178. they want. They use the default authorities if no others are specified,
  179. but it's easy to start a separate (or even overlapping) Tor network just
  180. by running a different set of authorities and convincing users to prefer
  181. a modified client. For example, we could launch a distinct Tor network
  182. inside China; some users could even use an aggregate network made up of
  183. both the main network and the China network. But we should not be too
  184. quick to create other Tor networks --- part of Tor's anonymity comes from
  185. users behaving like other users, and there are many unsolved anonymity
  186. questions if different users know about different pieces of the network.
  187. Thirdly, in addition to automatically learning from the chosen directories
  188. which Tor routers are available and working, Tor takes care of building
  189. paths through the network and rebuilding them as needed. So the user
  190. never has to know how paths are chosen, never has to manually pick
  191. working proxies, and so on. More generally, at its core the Tor protocol
  192. is simply a tool that can build paths given a set of routers. Tor is
  193. quite flexible about how it learns about the routers and how it chooses
  194. the paths. Harvard's Blossom project~\cite{blossom-thesis} makes this
  195. flexibility more concrete: Blossom makes use of Tor not for its security
  196. properties but for its reachability properties. It runs a separate set
  197. of directory authorities, its own set of Tor routers (called the Blossom
  198. network), and uses Tor's flexible path-building to let users view Internet
  199. resources from any point in the Blossom network.
  200. Fourthly, Tor separates the role of \emph{internal relay} from the
  201. role of \emph{exit relay}. That is, some volunteers choose just to relay
  202. traffic between Tor users and Tor routers, and others choose to also allow
  203. connections to external Internet resources. Because we don't force all
  204. volunteers to play both roles, we end up with more relays. This increased
  205. diversity in turn is what gives Tor its security: the more options the
  206. user has for her first hop, and the more options she has for her last hop,
  207. the less likely it is that a given attacker will be watching both ends
  208. of her circuit~\cite{tor-design}. As a bonus, because our design attracts
  209. more internal relays that want to help out but don't want to deal with
  210. being an exit relay, we end up with more options for the first hop ---
  211. the one most critical to being able to reach the Tor network.
  212. Fifthly, Tor is sustainable. Zero-Knowledge Systems offered the commercial
  213. but now-defunct Freedom Network~\cite{freedom21-security}, a design with
  214. security comparable to Tor's, but its funding model relied on collecting
  215. money from users to pay relays. Modern commercial proxy systems similarly
  216. need to keep collecting money to support their infrastructure. On the
  217. other hand, Tor has built a self-sustaining community of volunteers who
  218. donate their time and resources. This community trust is rooted in Tor's
  219. open design: we tell the world exactly how Tor works, and we provide all
  220. the source code. Users can decide for themselves, or pay any security
  221. expert to decide, whether it is safe to use. Further, Tor's modularity
  222. as described above, along with its open license, mean that its impact
  223. will continue to grow.
  224. Sixthly, Tor has an established user base of hundreds of
  225. thousands of people from around the world. This diversity of
  226. users contributes to sustainability as above: Tor is used by
  227. ordinary citizens, activists, corporations, law enforcement, and
  228. even governments and militaries~\cite{tor-use-cases}, and they can
  229. only achieve their security goals by blending together in the same
  230. network~\cite{econymics,usability:weis2006}. This user base also provides
  231. something else: hundreds of thousands of different and often-changing
  232. addresses that we can leverage for our blocking-resistance design.
  233. We discuss and adapt these components further in
  234. Section~\ref{sec:components}. But first we examine the strengths and
  235. weaknesses of other blocking-resistance approaches, so we can expand
  236. our repertoire of building blocks and ideas.
  237. \section{Current proxy solutions}
  238. \label{sec:related}
  239. Relay-based blocking-resistance schemes generally have two main
  240. components: a relay component and a discovery component. The relay part
  241. encompasses the process of establishing a connection, sending traffic
  242. back and forth, and so on --- everything that's done once the user knows
  243. where he's going to connect. Discovery is the step before that: the
  244. process of finding one or more usable relays.
  245. For example, we described several pieces of Tor in the previous section,
  246. but we can divide them into the process of building paths and sending
  247. traffic over them (relay) and the process of learning from the directory
  248. servers about what routers are available (discovery). With this distinction
  249. in mind, we now examine several categories of relay-based schemes.
  250. \subsection{Centrally-controlled shared proxies}
  251. Existing commercial anonymity solutions (like Anonymizer.com) are based
  252. on a set of single-hop proxies. In these systems, each user connects to
  253. a single proxy, which then relays the user's traffic. These public proxy
  254. systems are typically characterized by two features: they control and
  255. operator the proxies centrally, and many different users get assigned
  256. to each proxy.
  257. In terms of the relay component, single proxies provide weak security
  258. compared to systems that distribute trust over multiple relays, since a
  259. compromised proxy can trivially observe all of its users' actions, and
  260. an eavesdropper only needs to watch a single proxy to perform timing
  261. correlation attacks against all its users' traffic. Worse, all users
  262. need to trust the proxy company to have good security itself as well as
  263. to not reveal user activities.
  264. On the other hand, single-hop proxies are easier to deploy, and they
  265. can provide better performance than distributed-trust designs like Tor,
  266. since traffic only goes through one relay. They're also more convenient
  267. from the user's perspective --- since users entirely trust the proxy,
  268. they can just use their web browser directly.
  269. Whether public proxy schemes are more or less scalable than Tor is
  270. still up for debate: commercial anonymity systems can use some of their
  271. revenue to provision more bandwidth as they grow, whereas volunteer-based
  272. anonymity systems can attract thousands of fast relays to spread the load.
  273. The discovery piece can take several forms. Most commercial anonymous
  274. proxies have one or a handful of commonly known websites, and their users
  275. log in to those websites and relay their traffic through them. When
  276. these websites get blocked (generally soon after the company becomes
  277. popular), if the company cares about users in the blocked areas, they
  278. start renting lots of disparate IP addresses and rotating through them
  279. as they get blocked. They notify their users of new addresses by email,
  280. for example. It's an arms race, since attackers can sign up to receive the
  281. email too, but they have one nice trick available to them: because they
  282. have a list of paying subscribers, they can notify certain subscribers
  283. about updates earlier than others.
  284. Access control systems on the proxy let them provide service only to
  285. users with certain characteristics, such as paying customers or people
  286. from certain IP address ranges.
  287. Discovery despite a government-level firewall is a complex and unsolved
  288. topic, and we're stuck in this same arms race ourselves; we explore it
  289. in more detail in Section~\ref{sec:discovery}. But first we examine the
  290. other end of the spectrum --- getting volunteers to run the proxies,
  291. and telling only a few people about each proxy.
  292. \subsection{Independent personal proxies}
  293. Personal proxies such as Circumventor~\cite{circumventor} and
  294. CGIProxy~\cite{cgiproxy} use the same technology as the public ones as
  295. far as the relay component goes, but they use a different strategy for
  296. discovery. Rather than managing a few centralized proxies and constantly
  297. getting new addresses for them as the old addresses are blocked, they
  298. aim to have a large number of entirely independent proxies, each managing
  299. its own (much smaller) set of users.
  300. As the Circumventor site~\cite{circumventor} explains, ``You don't
  301. actually install the Circumventor \emph{on} the computer that is blocked
  302. from accessing Web sites. You, or a friend of yours, has to install the
  303. Circumventor on some \emph{other} machine which is not censored.''
  304. This tactic has great advantages in terms of blocking-resistance ---
  305. recall our assumption in Section~\ref{sec:adversary} that the attention
  306. a system attracts from the attacker is proportional to its number of
  307. users and level of publicity. If each proxy only has a few users, and
  308. there is no central list of proxies, most of them will never get noticed.
  309. On the other hand, there's a huge scalability question that so far has
  310. prevented these schemes from being widely useful: how does the fellow
  311. in China find a person in Ohio who will run a Circumventor for him? In
  312. some cases he may know and trust some people on the outside, but in many
  313. cases he's just out of luck. Just as hard, how does a new volunteer in
  314. Ohio find a person in China who needs it?
  315. %discovery is also hard because the hosts keep vanishing if they're
  316. %on dynamic ip. But not so bad, since they can use dyndns addresses.
  317. This challenge leads to a hybrid design --- centrally-distributed
  318. personal proxies --- which we will investigate in more detail in
  319. Section~\ref{sec:discovery}.
  320. \subsection{Open proxies}
  321. Yet another currently used approach to bypassing firewalls is to locate
  322. open and misconfigured proxies on the Internet. A quick Google search
  323. for ``open proxy list'' yields a wide variety of freely available lists
  324. of HTTP, HTTPS, and SOCKS proxies. Many small companies have sprung up
  325. providing more refined lists to paying customers.
  326. There are some downsides to using these oen proxies though. Firstly,
  327. the proxies are of widely varying quality in terms of bandwidth and
  328. stability, and many of them are entirely unreachable. Secondly, unlike
  329. networks of volunteers like Tor, the legality of routing traffic through
  330. these proxies is questionable: it's widely believed that most of them
  331. don't realize what they're offering, and probably wouldn't allow it if
  332. they realized. Thirdly, in many cases the connection to the proxy is
  333. unencrypted, so firewalls that filter based on keywords in IP packets
  334. will not be hindered. And lastly, many users are suspicious that some
  335. open proxies are a little \emph{too} convenient: are they run by the
  336. adversary, in which case they get to monitor all the user's requests
  337. just as single-hop proxies can?
  338. A distributed-trust design like Tor resolves each of these issues for
  339. the relay component, but a constantly changing set of thousands of open
  340. relays is clearly a useful idea for a discovery component. For example,
  341. users might be able to make use of these proxies to bootstrap their
  342. first introduction into the Tor network.
  343. \subsection{JAP}
  344. Stefan's WPES paper is probably the closest related work, and is
  345. the starting point for the design in this paper.
  346. \subsection{steganography}
  347. infranet
  348. \subsection{break your sensitive strings into multiple tcp packets;
  349. ignore RSTs}
  350. \subsection{Internal caching networks}
  351. Freenet is deployed inside China and caches outside content.
  352. \subsection{Skype}
  353. port-hopping. encryption. voice communications not so susceptible to
  354. keystroke loggers (even graphical ones).
  355. \subsection{Tor itself}
  356. And lastly, we include Tor itself in the list of current solutions
  357. to firewalls. Tens of thousands of people use Tor from countries that
  358. routinely filter their Internet. Tor's website has been blocked in most
  359. of them. But why hasn't the Tor network been blocked yet?
  360. We have several theories. The first is the most straightforward: tens of
  361. thousands of people are simply too few to matter. It may help that Tor is
  362. perceived to be for experts only, and thus not worth attention yet. The
  363. more subtle variant on this theory is that we've positioned Tor in the
  364. public eye as a tool for retaining civil liberties in more free countries,
  365. so perhaps blocking authorities don't view it as a threat. (We revisit
  366. this idea when we consider whether and how to publicize a a Tor variant
  367. that improves blocking-resistance --- see Section~\ref{subsec:publicity}
  368. for more discussion.)
  369. The broader explanation is that most government-level filters are not
  370. created by people setting out to block all possible ways to bypass
  371. them. They're created by people who want to do a good enough job that
  372. they can still appear in control. They realize that there will always
  373. be ways for a few people to get around the firewall, and as long as Tor
  374. has not publically threatened their control, they see no urgent need to
  375. block it yet.
  376. We should recognize that we're \emph{already} in the arms race. These
  377. constraints can give us insight into the priorities and capabilities of
  378. our various attackers.
  379. \section{Components of a blocking-resistant design}
  380. \label{sec:components}
  381. We need to address three problems:
  382. - adapting the relay component of Tor so it resists blocking better.
  383. - Discovery.
  384. - Tor's network signature.
  385. Here we describe the new pieces we need to add to the current Tor design.
  386. \subsection{Bridge relays}
  387. Some Tor users on the free side of the network will opt to become
  388. \emph{bridge relays}. They will relay a small amount of bandwidth into
  389. the main Tor network, and they won't need to allow exits.
  390. They sign up on the bridge directory authorities (described below),
  391. and they use Tor to publish their descriptor so an attacker observing
  392. the bridge directory authority's network can't enumerate bridges.
  393. ...need to outline instructions for a Tor config that will publish
  394. to an alternate directory authority, and for controller commands
  395. that will do this cleanly.
  396. \subsection{The bridge directory authority (BDA)}
  397. They aggregate server descriptors just like the main authorities, and
  398. answer all queries as usual, except they don't publish full directories
  399. or network statuses.
  400. So once you know a bridge relay's key, you can get the most recent
  401. server descriptor for it.
  402. Since bridge authorities don't answer full network statuses, we
  403. need to add a new way for users to learn the current status for a
  404. single relay or a small set of relays --- to answer such questions as
  405. ``is it running?'' or ``is it behaving correctly?'' We describe in
  406. Section~\ref{subsec:enclave-dirs} a way for the bridge authority to
  407. publish this information without resorting to signing each answer
  408. individually.
  409. \subsection{Putting them together}
  410. If a blocked user has address information for one working bridge relay,
  411. then he can use it to make secure connections to the BDA to update his
  412. knowledge about other bridge
  413. relays, and he can make secure connections to the main Tor network
  414. and directory servers to build circuits and connect to the rest of
  415. the Internet.
  416. So now we've reduced the problem from how to circumvent the firewall
  417. for all transactions (and how to know that the pages you get have not
  418. been modified by the local attacker) to how to learn about a working
  419. bridge relay.
  420. The following section describes ways to bootstrap knowledge of your first
  421. bridge relay, and ways to maintain connectivity once you know a few
  422. bridge relays. (See Section~\ref{subsec:first-bridge} for a discussion
  423. of exactly what information is sufficient to characterize a bridge relay.)
  424. \section{Discovering and maintaining working bridge relays}
  425. \label{sec:discovery}
  426. In the first subsection we describe how to find a first bridge.
  427. Thus they can reach the BDA. From here we either assume a social
  428. network or other mechanism for learning IP:dirport or key fingerprints
  429. as above, or we assume an account server that allows us to limit the
  430. number of new bridge relays an external attacker can discover.
  431. Going to be an arms race. Need a bag of tricks. Hard to say
  432. which ones will work. Don't spend them all at once.
  433. \subsection{Bootstrapping: finding your first bridge}
  434. \label{subsec:first-bridge}
  435. Most government firewalls are not perfect. They allow connections to
  436. Google cache or some open proxy servers, or they let file-sharing or
  437. Skype or World-of-Warcraft connections through.
  438. For users who can't use any of these techniques, hopefully they know
  439. a friend who can --- for example, perhaps the friend already knows some
  440. bridge relay addresses.
  441. (If they can't get around it at all, then we can't help them --- they
  442. should go meet more people.)
  443. Some techniques are sufficient to get us an IP address and a port,
  444. and others can get us IP:port:key. Lay out some plausible options
  445. for how users can bootstrap into learning their first bridge.
  446. Round one:
  447. - the bridge authority server will hand some out.
  448. - get one from your friend.
  449. - send us mail with a unique account, and get an automated answer.
  450. -
  451. Round two:
  452. - social network thing
  453. attack: adversary can reconstruct your social network by learning who
  454. knows which bridges.
  455. \subsection{Centrally-distributed personal proxies}
  456. Circumventor, realizing that its adoption will remain limited if would-be
  457. users can't connect with volunteers, has started a mailing list to
  458. distribute new proxy addresses every few days. From experimentation
  459. it seems they have concluded that sending updates every 3 or 4 days is
  460. sufficient to stay ahead of the current attackers.
  461. If there are many volunteer proxies and many interested users, a central
  462. watering hole to connect them is a natural solution. On the other hand,
  463. at first glance it appears that we've inherited the \emph{bad} parts of
  464. each of the above designs: not only do we have to attract many volunteer
  465. proxies, but the users also need to get to a single site that is sure
  466. to be blocked.
  467. There are two reasons why we're in better shape. Firstly, the users don't
  468. actually need to reach the watering hole directly: it can respond to
  469. email, for example. Secondly,
  470. % In fact, the JAP
  471. %project~\cite{web-mix,koepsell:wpes2004} suggested an alternative approach
  472. %to a mailing list: new users email a central address and get an automated
  473. %response listing a proxy for them.
  474. % While the exact details of the
  475. %proposal are still to be worked out, the idea of giving out
  476. \subsection{Discovery based on social networks}
  477. A token that can be exchanged at the BDA (assuming you
  478. can reach it) for a new IP:dirport or server descriptor.
  479. The account server
  480. runs as a Tor controller for the bridge authority
  481. Users can establish reputations, perhaps based on social network
  482. connectivity, perhaps based on not getting their bridge relays blocked,
  483. Probably the most critical lesson learned in past work on reputation
  484. systems in privacy-oriented environments~\cite{p2p-econ} is the need for
  485. verifiable transactions. That is, the entity computing and advertising
  486. reputations for participants needs to actually learn in a convincing
  487. way that a given transaction was successful or unsuccessful.
  488. (Lesson from designing reputation systems~\cite{p2p-econ}: easy to
  489. reward good behavior, hard to punish bad behavior.
  490. \subsection{How to allocate bridge addresses to users}
  491. Hold a fraction in reserve, in case our currently deployed tricks
  492. all fail at once --- so we can move to new approaches quickly.
  493. (Bridges that sign up and don't get used yet will be sad; but this
  494. is a transient problem --- if bridges are on by default, nobody will
  495. mind not being used.)
  496. Perhaps each bridge should be known by a single bridge directory
  497. authority. This makes it easier to trace which users have learned about
  498. it, so easier to blame or reward. It also makes things more brittle,
  499. since loss of that authority means its bridges aren't advertised until
  500. they switch, and means its bridge users are sad too.
  501. (Need a slick hash algorithm that will map our identity key to a
  502. bridge authority, in a way that's sticky even when we add bridge
  503. directory authorities, but isn't sticky when our authority goes
  504. away. Does this exist?)
  505. Divide bridges into buckets based on their identity key.
  506. [Design question: need an algorithm to deterministically map a bridge's
  507. identity key into a category that isn't too gameable. Take a keyed
  508. hash of the identity key plus a secret the bridge authority keeps?
  509. An adversary signing up bridges won't easily be able to learn what
  510. category he's been put in, so it's slow to attack.]
  511. One portion of the bridges is the public bucket. If you ask the
  512. bridge account server for a public bridge, it will give you a random
  513. one of these. We expect they'll be the first to be blocked, but they'll
  514. help the system bootstrap until it *does* get blocked, and remember that
  515. we're dealing with different blocking regimes around the world that will
  516. progress at different rates.
  517. The generalization of the public bucket is a bucket based on the bridge
  518. user's IP address: you can learn a random entry only from the subbucket
  519. your IP address (actually, your /24) maps to.
  520. Another portion of the bridges can be sectioned off to be given out in
  521. a time-release basis. The bucket is partitioned into pieces which are
  522. deterministically available only in certain time windows.
  523. And of course another portion is made available for the social network
  524. design above.
  525. Captchas.
  526. Is it useful to load balance which bridges are handed out? The above
  527. bucket concept makes some bridges wildly popular and others less so.
  528. But I guess that's the point.
  529. \subsection{How do we know if a bridge relay has been blocked?}
  530. We need some mechanism for testing reachability from inside the
  531. blocked area.
  532. The easiest answer is for certain users inside the area to sign up as
  533. testing relays, and then we can route through them and see if it works.
  534. First problem is that different network areas block different net masks,
  535. and it will likely be hard to know which users are in which areas. So
  536. if a bridge relay isn't reachable, is that because of a network block
  537. somewhere, because of a problem at the bridge relay, or just a temporary
  538. outage?
  539. Second problem is that if we pick random users to test random relays, the
  540. adversary should sign up users on the inside, and enumerate the relays
  541. we test. But it seems dangerous to just let people come forward and
  542. declare that things are blocked for them, since they could be tricking
  543. us. (This matters even moreso if our reputation system above relies on
  544. whether things get blocked to punish or reward.)
  545. Another answer is not to measure directly, but rather let the bridges
  546. report whether they're being used. If they periodically report to their
  547. bridge directory authority how much use they're seeing, the authority
  548. can make smart decisions from there.
  549. If they install a geoip database, they can periodically report to their
  550. bridge directory authority which countries they're seeing use from. This
  551. might help us to track which countries are making use of Ramp, and can
  552. also let us learn about new steps the adversary has taken in the arms
  553. race. (If the bridges don't want to install a whole geoip subsystem, they
  554. can report samples of the /24 network for their users, and the authorities
  555. can do the geoip work. This tradeoff has clear downsides though.)
  556. Worry: adversary signs up a bunch of already-blocked bridges. If we're
  557. stingy giving out bridges, users in that country won't get useful ones.
  558. (Worse, we'll blame the users when the bridges report they're not
  559. being used?)
  560. Worry: the adversary could choose not to block bridges but just record
  561. connections to them. So be it, I guess.
  562. \subsection{How to learn how well the whole idea is working}
  563. We need some feedback mechanism to learn how much use the bridge network
  564. as a whole is actually seeing. Part of the reason for this is so we can
  565. respond and adapt the design; part is because the funders expect to see
  566. progress reports.
  567. The above geoip-based approach to detecting blocked bridges gives us a
  568. solution though.
  569. \section{Security considerations}
  570. \label{sec:security}
  571. \subsection{Hiding Tor's network signatures}
  572. \label{subsec:enclave-dirs}
  573. A short paragraph about Tor's current network appearance.
  574. The simplest format for communicating information about a bridge relay
  575. is as an IP address and port for its directory cache. From there, the
  576. user can ask the directory cache for an up-to-date copy of that bridge
  577. relay's server descriptor, to learn its current circuit keys, the port
  578. it uses for Tor connections, and so on.
  579. However, connecting directly to the directory cache involves a plaintext
  580. HTTP request. A censor could create a network signature for the
  581. request and/or its response, thus preventing these connections. Therefore
  582. we've modified the Tor protocol so that users can connect to the directory
  583. cache via the main Tor port --- they establish a TLS connection with
  584. the bridge as normal, and then send a Tor "begindir" relay cell to
  585. establish a connection to its directory cache.
  586. Predictable SSL ports:
  587. We should encourage most servers to listen on port 443, which is
  588. where SSL normally listens.
  589. Is that all it will take, or should we set things up so some fraction
  590. of them pick random ports? I can see that both helping and hurting.
  591. Predictable TLS handshakes:
  592. Right now Tor has some predictable strings in its TLS handshakes.
  593. These can be removed; but should they be replaced with nothing, or
  594. should we try to emulate some popular browser? In any case our
  595. protocol demands a pair of certs on both sides --- how much will this
  596. make Tor handshakes stand out?
  597. \subsection{Minimum info required to describe a bridge}
  598. In the previous subsection, we described a way for the bridge user
  599. to bootstrap into the network just by knowing the IP address and
  600. Tor port of a bridge. What about local spoofing attacks? That is,
  601. since we never learned an identity key fingerprint for the bridge,
  602. a local attacker could intercept our connection and pretend to be
  603. the bridge we had in mind. It turns out that giving false information
  604. isn't that bad --- since the Tor client ships with trusted keys for the
  605. bridge directory authority and the Tor network directory authorities,
  606. the user can learn whether he's being given a real connection to the
  607. bridge authorities or not. (If the adversary intercepts every connection
  608. the user makes and gives him a bad connection each time, there's nothing
  609. we can do.)
  610. What about anonymity-breaking attacks from observing traffic? Not so bad
  611. either, since the adversary could do the same attacks just by monitoring
  612. the network traffic.
  613. Once the Tor client has fetched the bridge's server descriptor at least
  614. once, he should remember the identity key fingerprint for that bridge
  615. relay. Thus if the bridge relay moves to a new IP address, the client
  616. can then query the bridge directory authority to look up a fresh server
  617. descriptor using this fingerprint.
  618. So we've shown that it's \emph{possible} to bootstrap into the network
  619. just by learning the IP address and port of a bridge, but are there
  620. situations where it's more convenient or more secure to learn its
  621. identity fingerprint at the beginning too? We discuss that question
  622. more in Section~\ref{sec:bootstrapping}, but first we introduce more
  623. security topics.
  624. \subsection{Observers can tell who is publishing and who is reading}
  625. \label{subsec:upload-padding}
  626. Should bridge users sometimes send bursts of long-range drop cells?
  627. \subsection{Anonymity effects from becoming a bridge relay}
  628. Against some attacks, becoming a bridge relay can improve anonymity. The
  629. simplest example is an attacker who owns a small number of Tor servers. He
  630. will see a connection from the bridge, but he won't be able to know
  631. whether the connection originated there or was relayed from somebody else.
  632. There are some cases where it doesn't seem to help: if an attacker can
  633. watch all of the bridge's incoming and outgoing traffic, then it's easy
  634. to learn which connections were relayed and which started there. (In this
  635. case he still doesn't know the final destinations unless he is watching
  636. them too, but in this case bridges are no better off than if they were
  637. an ordinary client.)
  638. There are also some potential downsides to running a bridge. First, while
  639. we try to make it hard to enumerate all bridges, it's still possible to
  640. learn about some of them, and for some people just the fact that they're
  641. running one might signal to an attacker that they place a high value
  642. on their anonymity. Second, there are some more esoteric attacks on Tor
  643. relays that are not as well-understood or well-tested --- for example, an
  644. attacker may be able to ``observe'' whether the bridge is sending traffic
  645. even if he can't actually watch its network, by relaying traffic through
  646. it and noticing changes in traffic timing~\cite{attack-tor-oak05}. On
  647. the other hand, it may be that limiting the bandwidth the bridge is
  648. willing to relay will allow this sort of attacker to determine if it's
  649. being used as a bridge but not whether it is adding traffic of its own.
  650. It is an open research question whether the benefits outweigh the risks. A
  651. lot of the decision rests on which the attacks users are most worried
  652. about. For most users, we don't think running a bridge relay will be
  653. that damaging.
  654. \subsection{Trusting local hardware: Internet cafes and LiveCDs}
  655. \label{subsec:cafes-and-livecds}
  656. Assuming that users have their own trusted hardware is not
  657. always reasonable.
  658. For Internet cafe Windows computers that let you attach your own USB key,
  659. a USB-based Tor image would be smart. There's Torpark, and hopefully
  660. there will be more options down the road. Worries about hardware or
  661. software keyloggers and other spyware --- and physical surveillance.
  662. If the system lets you boot from a CD or from a USB key, you can gain
  663. a bit more security by bringing a privacy LiveCD with you. Hardware
  664. keyloggers and physical surveillance still a worry. LiveCDs also useful
  665. if it's your own hardware, since it's easier to avoid leaving breadcrumbs
  666. everywhere.
  667. \subsection{Forward compatibility and retiring bridge authorities}
  668. Eventually we'll want to change the identity key and/or location
  669. of a bridge authority. How do we do this mostly cleanly?
  670. \subsection{The trust chain}
  671. \label{subsec:trust-chain}
  672. Tor's ``public key infrastructure'' provides a chain of trust to
  673. let users verify that they're actually talking to the right servers.
  674. There are four pieces to this trust chain.
  675. Firstly, when Tor clients are establishing circuits, at each step
  676. they demand that the next Tor server in the path prove knowledge of
  677. its private key~\cite{tor-design}. This step prevents the first node
  678. in the path from just spoofing the rest of the path. Secondly, the
  679. Tor directory authorities provide a signed list of servers along with
  680. their public keys --- so unless the adversary can control a threshold
  681. of directory authorities, he can't trick the Tor client into using other
  682. Tor servers. Thirdly, the location and keys of the directory authorities,
  683. in turn, is hard-coded in the Tor source code --- so as long as the user
  684. got a genuine version of Tor, he can know that he is using the genuine
  685. Tor network. And lastly, the source code and other packages are signed
  686. with the GPG keys of the Tor developers, so users can confirm that they
  687. did in fact download a genuine version of Tor.
  688. But how can a user in an oppressed country know that he has the correct
  689. key fingerprints for the developers? As with other security systems, it
  690. ultimately comes down to human interaction. The keys are signed by dozens
  691. of people around the world, and we have to hope that our users have met
  692. enough people in the PGP web of trust~\cite{pgp-wot} that they can learn
  693. the correct keys. For users that aren't connected to the global security
  694. community, though, this question remains a critical weakness.
  695. % XXX make clearer the trust chain step for bridge directory authorities
  696. \section{Performance improvements}
  697. \label{sec:performance}
  698. \subsection{Fetch server descriptors just-in-time}
  699. I guess we should encourage most places to do this, so blocked
  700. users don't stand out.
  701. network-status and directory optimizations. caching better. partitioning
  702. issues?
  703. \section{Maintaining reachability}
  704. \subsection{How many bridge relays should you know about?}
  705. If they're ordinary Tor users on cable modem or DSL, many of them will
  706. disappear and/or move periodically. How many bridge relays should a
  707. blockee know
  708. about before he's likely to have at least one reachable at any given point?
  709. How do we factor in a parameter for "speed that his bridges get discovered
  710. and blocked"?
  711. The related question is: if the bridge relays change IP addresses
  712. periodically, how often does the bridge user need to "check in" in order
  713. to keep from being cut out of the loop?
  714. \subsection{Cablemodem users don't provide important websites}
  715. \label{subsec:block-cable}
  716. ...so our adversary could just block all DSL and cablemodem networks,
  717. and for the most part only our bridge relays would be affected.
  718. The first answer is to aim to get volunteers both from traditionally
  719. ``consumer'' networks and also from traditionally ``producer'' networks.
  720. The second answer (not so good) would be to encourage more use of consumer
  721. networks for popular and useful websites.
  722. Other attack: China pressures Verizon to discourage its users from
  723. running bridges.
  724. \subsection{Scanning-resistance}
  725. If it's trivial to verify that we're a bridge, and we run on a predictable
  726. port, then it's conceivable our attacker would scan the whole Internet
  727. looking for bridges. (In fact, he can just scan likely networks like
  728. cablemodem and DSL services --- see Section~\ref{block-cable} for a related
  729. attack.) It would be nice to slow down this attack. It would
  730. be even nicer to make it hard to learn whether we're a bridge without
  731. first knowing some secret.
  732. Password protecting the bridges.
  733. Could provide a password to the bridge user. He provides a nonced hash of
  734. it or something when he connects. We'd need to give him an ID key for the
  735. bridge too, and wait to present the password until we've TLSed, else the
  736. adversary can pretend to be the bridge and MITM him to learn the password.
  737. \subsection{How to motivate people to run bridge relays}
  738. One of the traditional ways to get people to run software that benefits
  739. others is to give them motivation to install it themselves. An often
  740. suggested approach is to install it as a stunning screensaver so everybody
  741. will be pleased to run it. We take a similar approach here, by leveraging
  742. the fact that these users are already interested in protecting their
  743. own Internet traffic, so they will install and run the software.
  744. Make all Tor users become bridges if they're reachable -- needs more work
  745. on usability first, but we're making progress.
  746. Also, we can make a snazzy network graph with Vidalia that emphasizes
  747. the connections the bridge user is currently relaying. (Minor anonymity
  748. implications, but hey.) (In many cases there won't be much activity,
  749. so this may backfire. Or it may be better suited to full-fledged Tor
  750. servers.)
  751. \subsection{What if the clients can't install software?}
  752. Bridge users without Tor clients
  753. Bridge relays could always open their socks proxy. This is bad though,
  754. firstly
  755. because they learn the bridge users' destinations, and secondly because
  756. we've learned that open socks proxies tend to attract abusive users who
  757. have no idea they're using Tor.
  758. Bridges could require passwords in the socks handshake (not supported
  759. by most software including Firefox). Or they could run web proxies
  760. that require authentication and then pass the requests into Tor. This
  761. approach is probably a good way to help bootstrap the Psiphon network,
  762. if one of its barriers to deployment is a lack of volunteers willing
  763. to exit directly to websites. But it clearly drops some of the nice
  764. anonymity features Tor provides.
  765. \subsection{Publicity attracts attention}
  766. \label{subsec:publicity}
  767. both good and bad.
  768. \subsection{The Tor website: how to get the software}
  769. \section{Related work}
  770. \section{Future designs}
  771. \subsection{Bridges inside the blocked network too}
  772. Assuming actually crossing the firewall is the risky part of the
  773. operation, can we have some bridge relays inside the blocked area too,
  774. and more established users can use them as relays so they don't need to
  775. communicate over the firewall directly at all? A simple example here is
  776. to make new blocked users into internal bridges also -- so they sign up
  777. on the BDA as part of doing their query, and we give out their addresses
  778. rather than (or along with) the external bridge addresses. This design
  779. is a lot trickier because it brings in the complexity of whether the
  780. internal bridges will remain available, can maintain reachability with
  781. the outside world, etc.
  782. Hidden services as bridges. Hidden services as bridge directory authorities.
  783. \bibliographystyle{plain} \bibliography{tor-design}
  784. \appendix
  785. \section{Counting Tor users by country}
  786. \label{app:geoip}
  787. \end{document}
  788. ship geoip db to bridges. they look up users who tls to them in the db,
  789. and upload a signed list of countries and number-of-users each day. the
  790. bridge authority aggregates them and publishes stats.
  791. bridge relays have buddies
  792. they ask a user to test the reachability of their buddy.
  793. leaks O(1) bridges, but not O(n).
  794. we should not be blockable by ordinary cisco censorship features.
  795. that is, if they want to block our new design, they will need to
  796. add a feature to block exactly this.
  797. strategically speaking, this may come in handy.
  798. hash identity key + secret that bridge authority knows. start
  799. out dividing into 2^n buckets, where n starts at 0, and we choose
  800. which bucket you're in based on the first n bits of the hash.
  801. Bridges come in clumps of 4 or 8 or whatever. If you know one bridge
  802. in a clump, the authority will tell you the rest. Now bridges can
  803. ask users to test reachability of their buddies.
  804. Giving out clumps helps with dynamic IP addresses too. Whether it
  805. should be 4 or 8 depends on our churn.
  806. the account server. let's call it a database, it doesn't have to
  807. be a thing that human interacts with.
  808. rate limiting mechanisms:
  809. energy spent. captchas. relaying traffic for others?
  810. send us $10, we'll give you an account
  811. so how do we reward people for being good?