Merge commit 'sebastian/oldstuff'

Conflicts:

	ChangeLog

1 files changed, 0 insertions, 463 deletions

diff --git a/doc/design-paper/interaction.eps b/doc/design-paper/interaction.eps
deleted file mode 100644
index 9b4e3db619..0000000000
--- a/doc/design-paper/interaction.eps
+++ /dev/null
@@ -1,463 +0,0 @@
-%!PS-Adobe-2.0 EPSF-2.0
-%%Title: interaction.fig
-%%Creator: fig2dev Version 3.2 Patchlevel 3d
-%%CreationDate: Sat Jan 31 05:25:23 2004
-%%For: nickm@totoro.wangafu.net ()
-%%BoundingBox: 0 0 449 235
-%%Magnification: 1.0000
-%%EndComments
-/$F2psDict 200 dict def
-$F2psDict begin
-$F2psDict /mtrx matrix put
-/col-1 {0 setgray} bind def
-/col0 {0.000 0.000 0.000 srgb} bind def
-/col1 {0.000 0.000 1.000 srgb} bind def
-/col2 {0.000 1.000 0.000 srgb} bind def
-/col3 {0.000 1.000 1.000 srgb} bind def
-/col4 {1.000 0.000 0.000 srgb} bind def
-/col5 {1.000 0.000 1.000 srgb} bind def
-/col6 {1.000 1.000 0.000 srgb} bind def
-/col7 {1.000 1.000 1.000 srgb} bind def
-/col8 {0.000 0.000 0.560 srgb} bind def
-/col9 {0.000 0.000 0.690 srgb} bind def
-/col10 {0.000 0.000 0.820 srgb} bind def
-/col11 {0.530 0.810 1.000 srgb} bind def
-/col12 {0.000 0.560 0.000 srgb} bind def
-/col13 {0.000 0.690 0.000 srgb} bind def
-/col14 {0.000 0.820 0.000 srgb} bind def
-/col15 {0.000 0.560 0.560 srgb} bind def
-/col16 {0.000 0.690 0.690 srgb} bind def
-/col17 {0.000 0.820 0.820 srgb} bind def
-/col18 {0.560 0.000 0.000 srgb} bind def
-/col19 {0.690 0.000 0.000 srgb} bind def
-/col20 {0.820 0.000 0.000 srgb} bind def
-/col21 {0.560 0.000 0.560 srgb} bind def
-/col22 {0.690 0.000 0.690 srgb} bind def
-/col23 {0.820 0.000 0.820 srgb} bind def
-/col24 {0.500 0.190 0.000 srgb} bind def
-/col25 {0.630 0.250 0.000 srgb} bind def
-/col26 {0.750 0.380 0.000 srgb} bind def
-/col27 {1.000 0.500 0.500 srgb} bind def
-/col28 {1.000 0.630 0.630 srgb} bind def
-/col29 {1.000 0.750 0.750 srgb} bind def
-/col30 {1.000 0.880 0.880 srgb} bind def
-/col31 {1.000 0.840 0.000 srgb} bind def
-
-end
-save
-newpath 0 235 moveto 0 0 lineto 449 0 lineto 449 235 lineto closepath clip newpath
--62.3 239.8 translate
-1 -1 scale
-
-/cp {closepath} bind def
-/ef {eofill} bind def
-/gr {grestore} bind def
-/gs {gsave} bind def
-/sa {save} bind def
-/rs {restore} bind def
-/l {lineto} bind def
-/m {moveto} bind def
-/rm {rmoveto} bind def
-/n {newpath} bind def
-/s {stroke} bind def
-/sh {show} bind def
-/slc {setlinecap} bind def
-/slj {setlinejoin} bind def
-/slw {setlinewidth} bind def
-/srgb {setrgbcolor} bind def
-/rot {rotate} bind def
-/sc {scale} bind def
-/sd {setdash} bind def
-/ff {findfont} bind def
-/sf {setfont} bind def
-/scf {scalefont} bind def
-/sw {stringwidth} bind def
-/tr {translate} bind def
-/tnt {dup dup currentrgbcolor
-  4 -2 roll dup 1 exch sub 3 -1 roll mul add
-  4 -2 roll dup 1 exch sub 3 -1 roll mul add
-  4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
-  bind def
-/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
-  4 -2 roll mul srgb} bind def
-/reencdict 12 dict def /ReEncode { reencdict begin
-/newcodesandnames exch def /newfontname exch def /basefontname exch def
-/basefontdict basefontname findfont def /newfont basefontdict maxlength dict def
-basefontdict { exch dup /FID ne { dup /Encoding eq
-{ exch dup length array copy newfont 3 1 roll put }
-{ exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall
-newfont /FontName newfontname put newcodesandnames aload pop
-128 1 255 { newfont /Encoding get exch /.notdef put } for
-newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat
-newfontname newfont definefont pop end } def
-/isovec [
-8#055 /minus 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde
-8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis
-8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron
-8#220 /dotlessi 8#230 /oe 8#231 /OE
-8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling
-8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis
-8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot
-8#255 /hyphen 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus
-8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph
-8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine
-8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf
-8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute
-8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring
-8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute
-8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute
-8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve
-8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply
-8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex
-8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave
-8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring
-8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute
-8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute
-8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve
-8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide
-8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex
-8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def
-/Times-Bold /Times-Bold-iso isovec ReEncode
-/Times-Roman /Times-Roman-iso isovec ReEncode
-/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
-/$F2psEnd {$F2psEnteredState restore end} def
-
-$F2psBegin
-10 setmiterlimit
- 0.06000 0.06000 sc
-%
-% Fig objects follow
-%
-% Polyline
-15.000 slw
-n 6000 300 m
- 6000 3975 l gs col0 s gr 
-% Polyline
-7.500 slw
-gs  clippath
-3615 555 m 3615 495 l 3464 495 l 3584 525 l 3464 555 l cp
-eoclip
-n 1200 525 m
- 3600 525 l gs col0 s gr gr
-
-% arrowhead
-n 3464 555 m 3584 525 l 3464 495 l 3464 555 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-1185 795 m 1185 855 l 1336 855 l 1216 825 l 1336 795 l cp
-eoclip
-n 3600 825 m
- 1200 825 l gs col0 s gr gr
-
-% arrowhead
-n 1336 795 m 1216 825 l 1336 855 l 1336 795 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-15.000 slw
-n 1200 300 m
- 1200 3975 l gs col0 s gr 
-% Polyline
-7.500 slw
-gs  clippath
-3615 1155 m 3615 1095 l 3464 1095 l 3584 1125 l 3464 1155 l cp
-eoclip
-n 1200 1125 m
- 3600 1125 l gs col0 s gr gr
-
-% arrowhead
-n 3464 1155 m 3584 1125 l 3464 1095 l 3464 1155 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-15.000 slw
-n 3600 300 m
- 3600 3975 l gs col0 s gr 
-% Polyline
-7.500 slw
-gs  clippath
-6015 1230 m 6015 1170 l 5864 1170 l 5984 1200 l 5864 1230 l cp
-eoclip
-n 3600 1200 m
- 6000 1200 l gs col0 s gr gr
-
-% arrowhead
-n 5864 1230 m 5984 1200 l 5864 1170 l 5864 1230 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-3585 1470 m 3585 1530 l 3736 1530 l 3616 1500 l 3736 1470 l cp
-eoclip
-n 6000 1500 m
- 3600 1500 l gs col0 s gr gr
-
-% arrowhead
-n 3736 1470 m 3616 1500 l 3736 1530 l 3736 1470 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-1185 1545 m 1185 1605 l 1336 1605 l 1216 1575 l 1336 1545 l cp
-eoclip
-n 3600 1575 m
- 1200 1575 l gs col0 s gr gr
-
-% arrowhead
-n 1336 1545 m 1216 1575 l 1336 1605 l 1336 1545 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
- [15 45] 45 sd
-n 1050 1800 m
- 8325 1800 l gs col0 s gr  [] 0 sd
-% Polyline
-gs  clippath
-3615 2130 m 3615 2070 l 3464 2070 l 3584 2100 l 3464 2130 l cp
-eoclip
-n 1200 2100 m
- 3600 2100 l gs col0 s gr gr
-
-% arrowhead
-n 3464 2130 m 3584 2100 l 3464 2070 l 3464 2130 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-6015 2205 m 6015 2145 l 5864 2145 l 5984 2175 l 5864 2205 l cp
-eoclip
-n 3600 2175 m
- 6000 2175 l gs col0 s gr gr
-
-% arrowhead
-n 5864 2205 m 5984 2175 l 5864 2145 l 5864 2205 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
- [60] 0 sd
-gs  clippath
-8190 2430 m 8190 2370 l 8039 2370 l 8159 2400 l 8039 2430 l cp
-5985 2370 m 5985 2430 l 6136 2430 l 6016 2400 l 6136 2370 l cp
-eoclip
-n 6000 2400 m
- 8175 2400 l gs col0 s gr gr
- [] 0 sd
-% arrowhead
-n 6136 2370 m 6016 2400 l 6136 2430 l 6136 2370 l  cp gs 0.00 setgray ef gr  col0 s
-% arrowhead
-n 8039 2430 m 8159 2400 l 8039 2370 l 8039 2430 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-3585 2520 m 3585 2580 l 3736 2580 l 3616 2550 l 3736 2520 l cp
-eoclip
-n 6000 2550 m
- 3600 2550 l gs col0 s gr gr
-
-% arrowhead
-n 3736 2520 m 3616 2550 l 3736 2580 l 3736 2520 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-1185 2595 m 1185 2655 l 1336 2655 l 1216 2625 l 1336 2595 l cp
-eoclip
-n 3600 2625 m
- 1200 2625 l gs col0 s gr gr
-
-% arrowhead
-n 1336 2595 m 1216 2625 l 1336 2655 l 1336 2595 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-3615 3030 m 3615 2970 l 3464 2970 l 3584 3000 l 3464 3030 l cp
-eoclip
-n 1200 3000 m
- 3600 3000 l gs col0 s gr gr
-
-% arrowhead
-n 3464 3030 m 3584 3000 l 3464 2970 l 3464 3030 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-6015 3105 m 6015 3045 l 5864 3045 l 5984 3075 l 5864 3105 l cp
-eoclip
-n 3600 3075 m
- 6000 3075 l gs col0 s gr gr
-
-% arrowhead
-n 5864 3105 m 5984 3075 l 5864 3045 l 5864 3105 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-8190 3180 m 8190 3120 l 8039 3120 l 8159 3150 l 8039 3180 l cp
-eoclip
-n 6000 3150 m
- 8175 3150 l gs col0 s gr gr
-
-% arrowhead
-n 8039 3180 m 8159 3150 l 8039 3120 l 8039 3180 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-5985 3420 m 5985 3480 l 6136 3480 l 6016 3450 l 6136 3420 l cp
-eoclip
-n 8175 3450 m
- 6000 3450 l gs col0 s gr gr
-
-% arrowhead
-n 6136 3420 m 6016 3450 l 6136 3480 l 6136 3420 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-5985 3495 m 5985 3555 l 6136 3555 l 6016 3525 l 6136 3495 l cp
-eoclip
-n 8175 3525 m
- 6000 3525 l gs col0 s gr gr
-
-% arrowhead
-n 6136 3495 m 6016 3525 l 6136 3555 l 6136 3495 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-5985 3570 m 5985 3630 l 6136 3630 l 6016 3600 l 6136 3570 l cp
-eoclip
-n 8175 3600 m
- 6000 3600 l gs col0 s gr gr
-
-% arrowhead
-n 6136 3570 m 6016 3600 l 6136 3630 l 6136 3570 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-3585 3495 m 3585 3555 l 3736 3555 l 3616 3525 l 3736 3495 l cp
-eoclip
-n 6000 3525 m
- 3600 3525 l gs col0 s gr gr
-
-% arrowhead
-n 3736 3495 m 3616 3525 l 3736 3555 l 3736 3495 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-3585 3645 m 3585 3705 l 3736 3705 l 3616 3675 l 3736 3645 l cp
-eoclip
-n 6000 3675 m
- 3600 3675 l gs col0 s gr gr
-
-% arrowhead
-n 3736 3645 m 3616 3675 l 3736 3705 l 3736 3645 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-3585 3570 m 3585 3630 l 3736 3630 l 3616 3600 l 3736 3570 l cp
-eoclip
-n 6000 3600 m
- 3600 3600 l gs col0 s gr gr
-
-% arrowhead
-n 3736 3570 m 3616 3600 l 3736 3630 l 3736 3570 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-1185 3645 m 1185 3705 l 1336 3705 l 1216 3675 l 1336 3645 l cp
-eoclip
-n 3600 3675 m
- 1200 3675 l gs col0 s gr gr
-
-% arrowhead
-n 1336 3645 m 1216 3675 l 1336 3705 l 1336 3645 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-1185 3720 m 1185 3780 l 1336 3780 l 1216 3750 l 1336 3720 l cp
-eoclip
-n 3600 3750 m
- 1200 3750 l gs col0 s gr gr
-
-% arrowhead
-n 1336 3720 m 1216 3750 l 1336 3780 l 1336 3720 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-gs  clippath
-1185 3795 m 1185 3855 l 1336 3855 l 1216 3825 l 1336 3795 l cp
-eoclip
-n 3600 3825 m
- 1200 3825 l gs col0 s gr gr
-
-% arrowhead
-n 1336 3795 m 1216 3825 l 1336 3855 l 1336 3795 l  cp gs 0.00 setgray ef gr  col0 s
-% Polyline
-15.000 slw
-n 8175 300 m
- 8175 3975 l gs col0 s gr 
-% Polyline
-7.500 slw
-n 6300 825 m 7950 825 l 7950 1725 l 6300 1725 l
- cp gs col7 1.00 shd ef gr gs col0 s gr 
-/Times-Bold-iso ff 180.00 scf sf
-3375 225 m
-gs 1 -1 sc (OR  1) col0 sh gr
-/Times-Bold-iso ff 180.00 scf sf
-1050 225 m
-gs 1 -1 sc (Alice) col0 sh gr
-/Times-Bold-iso ff 180.00 scf sf
-5775 225 m
-gs 1 -1 sc (OR  2) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-6075 3075 m
-gs 1 -1 sc ("HTTP GET...") col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-4800 3975 m
-gs 1 -1 sc (. . .) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-7125 3975 m
-gs 1 -1 sc (. . .) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-2400 3975 m
-gs 1 -1 sc (. . .) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-7125 2325 m
-gs 1 -1 sc (\(TCP handshake\)) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Bold-iso ff 180.00 scf sf
-7875 225 m
-gs 1 -1 sc (website) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-7125 1425 m
-gs 1 -1 sc ({X}--AES encryption) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-7125 1200 m
-gs 1 -1 sc (E\(x\)--RSA encryption) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-7125 975 m
-gs 1 -1 sc (Legend:) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-2400 225 m
-gs 1 -1 sc (\(link is TLS-encrypted\)) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-1275 1050 m
-gs 1 -1 sc (Relay c1{Extend, OR2, E\(g^x2\)}) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-1275 2025 m
-gs 1 -1 sc (Relay c1{{Begin <website>:80}}) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-3525 1500 m
-gs 1 -1 sc (Relay c1{Extended, g^y2, H\(K2\)}) dup sw pop neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-3675 2100 m
-gs 1 -1 sc (Relay c2{Begin <website>:80}) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-3525 2550 m
-gs 1 -1 sc (Relay c1{{Connected}}) dup sw pop neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-5925 2475 m
-gs 1 -1 sc (Relay c2{Connected}) dup sw pop neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-1275 2925 m
-gs 1 -1 sc (Relay c1{{Data, "HTTP GET..."}}) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-3675 3000 m
-gs 1 -1 sc (Relay c2{Data, "HTTP GET..."}) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-4800 225 m
-gs 1 -1 sc (\(link is TLS-encryped\)) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-7050 225 m
-gs 1 -1 sc (\(unencrypted\)) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-7125 1650 m
-gs 1 -1 sc (cN--a circID) dup sw pop 2 div neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-3525 3600 m
-gs 1 -1 sc (Relay c1{{Data, \(response\)}}) dup sw pop neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-8100 3375 m
-gs 1 -1 sc (\(response\)) dup sw pop neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-5925 3450 m
-gs 1 -1 sc (Relay c2{Data, \(response\)}) dup sw pop neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-5925 1425 m
-gs 1 -1 sc (Created c2, g^y2, H\(K2\)) dup sw pop neg 0 rm  col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-3675 1125 m
-gs 1 -1 sc (Create c2, E\(g^x2\)) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-1275 450 m
-gs 1 -1 sc (Create c1, E\(g^x1\)) col0 sh gr
-/Times-Roman-iso ff 150.00 scf sf
-3525 750 m
-gs 1 -1 sc (Created c1, g^y1, H\(K1\)) dup sw pop neg 0 rm  col0 sh gr
-$F2psEnd
-rs