%PDF-1.4
%
9 0 obj
<< /S /GoTo /D (Outline0.1) >>
endobj
12 0 obj
(Key Establishment)
endobj
13 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
16 0 obj
(Bellare--Rogaway Model)
endobj
17 0 obj
<< /S /GoTo /D (Outline0.2.1.7) >>
endobj
20 0 obj
(Concepts)
endobj
21 0 obj
<< /S /GoTo /D (Outline0.2.2.12) >>
endobj
24 0 obj
(Oracle queries)
endobj
25 0 obj
<< /S /GoTo /D (Outline0.2.3.19) >>
endobj
28 0 obj
(Security definition)
endobj
29 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
32 0 obj
(Sample Proof)
endobj
33 0 obj
<< /S /GoTo /D (Outline0.3.1.28) >>
endobj
36 0 obj
(The Protocol)
endobj
37 0 obj
<< /S /GoTo /D (Outline0.3.2.32) >>
endobj
40 0 obj
(Preliminaries)
endobj
41 0 obj
<< /S /GoTo /D (Outline0.3.3.38) >>
endobj
44 0 obj
(Proof sketch)
endobj
45 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
48 0 obj
(Other Models)
endobj
49 0 obj
<< /S /GoTo /D [50 0 R /Fit ] >>
endobj
66 0 obj <<
/Length 1059
/Filter /FlateDecode
>>
stream
xXKs6Wh%kv:mwzh{:rjl;%r'k63 $R ? 3>3 $#H,
e-FJ_-P8&4IVlCGnՄSDeINdtpfȦbXJV/#&37'94J[LnNzMёql'
S\4p$#)U8JtgHj:z3eTydh$w-˄cﶻ٧^-r1b#u6ʪmM}?>OgGc}WVEtlgU&@?ozqY@4D4C9h{3;vync0^#Px(ÜPC_{[FFߗiJ[#EyggvZH1VB@ (^8)s6R
ІVa0 6ݘr*J7v8.k G-Q/=fỀB6*~ޏl"Ru먢iB6ᘏ%]ѯ,lN*.l%{߶)˦AtlxM?C?()tQ^-; Ȼ
(Gk/?rC3}
H i0 @c2;Ks- !22EG$>|B :UaHsU@"!\TU_&s%4sdK鎻R`ɳ) 3pO%n5MkmMB[y}N,'!P.Ђ'Y$r \ձ'K*THy:Mqm܌WݲnLߖ'ckq-wO2,9()p/m]?z[wI .7۽jNZuU9;
XvMߖrASb~
@=&ZS3 (|嵹_Wo$B
endstream
endobj
50 0 obj <<
/Type /Page
/Contents 66 0 R
/Resources 65 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 71 0 R
/Annots [ 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R ]
>> endobj
51 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 3.985]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 72 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
72 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 3.9851] /Function << /FunctionType 2 /Domain [0 1] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
58 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 8 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 73 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
73 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.015 4.015 0.0 4.015 4.015 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
59 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 16 16]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 74 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
74 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.03 8.03 0.0 8.03 8.03 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
57 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 5669.291 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 75 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
75 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
60 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 261.751 182.414 271.364]
/Subtype /Link
/A << /S /GoTo /D (Navigation3) >>
>> endobj
61 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 254.131 182.414 263.744]
/Subtype /Link
/A << /S /GoTo /D (Navigation7) >>
>> endobj
62 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 246.511 182.414 256.123]
/Subtype /Link
/A << /S /GoTo /D (Navigation27) >>
>> endobj
63 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 238.89 182.414 248.503]
/Subtype /Link
/A << /S /GoTo /D (Navigation48) >>
>> endobj
64 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [188.925 1.263 293.91 8.91]
/Subtype /Link
/A << /S /GoTo /D (Navigation51) >>
>> endobj
68 0 obj <<
/D [50 0 R /XYZ 28.346 236.335 null]
>> endobj
69 0 obj <<
/D [50 0 R /XYZ 334.488 0 null]
>> endobj
70 0 obj <<
/D [50 0 R /XYZ 334.488 0 null]
>> endobj
65 0 obj <<
/Font << /F23 67 0 R >>
/XObject << /Fm1 51 0 R /Fm3 58 0 R /Fm4 59 0 R /Fm2 57 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
101 0 obj <<
/Length 1102
/Filter /FlateDecode
>>
stream
xYKs6W(`mҙv:]tDFO$(
#Ӕā]`]}d2#8+äeݍ䑇 3=(qT`cCtq!Q8)tɭ[Ⱥ eFfPKwnZ#|6T!|U
H&-{?m8H1gHǯr_ny0\Ymt*].g&8#߾Lg6]^Sr-G>/ҡI@&l`T})fBlM6By0;6F?U!nDP2eęIcU=
>1HH"Kh
yԑ\#MD۸Ha4Ɂ)8| s,N@}: \muۤ,
&-ܓwK0*M TTt
Lಃl p:}r|"p}QBaqgӚ' am-}QȲ<'k]π.GPMWkUL\xAbKt8c,n03?<]Q-.x6zuոE>Yu{Gu:"?D2[y\"wR~W\⌿ $9V$x8MjaoR.ˏ$l w)|=yޛᲯAUtX-ٓDmᡲI,vD@ZrЃAn=JQH>#;Ԧ/@`67`yVU}^.@c/iĈ'uțob woGxGՎ)l*]T.Y jo)ׅ0;f+)EIۖYzܲ[~{g_jhٮ
endstream
endobj
100 0 obj <<
/Type /Page
/Contents 101 0 R
/Resources 99 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 71 0 R
/Annots [ 94 0 R 95 0 R 96 0 R 97 0 R 82 0 R 83 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 98 0 R ]
>> endobj
93 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 272.126]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 104 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
104 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0.0 0 362.8394 0] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.99178 0.81334 0.31647] /C1 [0.98825 0.73334 0.02353] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
81 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 14.834 14.834]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 105 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
105 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 7.41716] /Coords [4.58148 10.88101 0.0 7.44489 7.44489 7.41716] /Function << /FunctionType 3 /Domain [0.0 7.41716] /Functions [ << /FunctionType 2 /Domain [0.0 7.41716] /C0 [0.6555 0.65823 0.75432] /C1 [0.26178 0.26765 0.47354] /N 1 >> << /FunctionType 2 /Domain [0.0 7.41716] /C0 [0.26178 0.26765 0.47354] /C1 [0.1099 0.11482 0.28777] /N 1 >> << /FunctionType 2 /Domain [0.0 7.41716] /C0 [0.1099 0.11482 0.28777] /C1 [0.10706 0.11058 0.23413] /N 1 >> << /FunctionType 2 /Domain [0.0 7.41716] /C0 [0.10706 0.11058 0.23413] /C1 [1 1 1] /N 1 >> ] /Bounds [ 2.51042 5.02086 6.84657] /Encode [0 1 0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
84 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 6.048 6.048]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 106 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
106 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 3.0239] /Coords [1.9761 4.32962 0.0 3.0352 3.0352 3.0239] /Function << /FunctionType 3 /Domain [0.0 3.0239] /Functions [ << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.85236 0.85353 0.89471] /C1 [0.26178 0.26765 0.47354] /N 1 >> << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.26178 0.26765 0.47354] /C1 [0.01099 0.01646 0.20863] /N 1 >> << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.01099 0.01646 0.20863] /C1 [0.00784 0.01176 0.14903] /N 1 >> << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.00784 0.01176 0.14903] /C1 [1 1 1] /N 1 >> ] /Bounds [ 0.93788 1.87576 2.5792] /Encode [0 1 0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
94 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 261.751 182.414 271.364]
/Subtype /Link
/A << /S /GoTo /D (Navigation3) >>
>> endobj
95 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 254.131 182.414 263.744]
/Subtype /Link
/A << /S /GoTo /D (Navigation7) >>
>> endobj
96 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 246.511 182.414 256.123]
/Subtype /Link
/A << /S /GoTo /D (Navigation27) >>
>> endobj
97 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 238.89 182.414 248.503]
/Subtype /Link
/A << /S /GoTo /D (Navigation48) >>
>> endobj
82 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [43.04 184.462 134.497 198.45]
/Subtype /Link
/A << /S /GoTo /D (Navigation3) >>
>> endobj
83 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [43.04 161.641 162.544 175.76]
/Subtype /Link
/A << /S /GoTo /D (Navigation7) >>
>> endobj
85 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [55.877 148.223 103.949 160.536]
/Subtype /Link
/A << /S /GoTo /D (Navigation7) >>
>> endobj
86 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [55.877 134.674 128.854 146.986]
/Subtype /Link
/A << /S /GoTo /D (Navigation12) >>
>> endobj
87 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [55.877 121.125 144.127 133.437]
/Subtype /Link
/A << /S /GoTo /D (Navigation19) >>
>> endobj
88 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [43.04 98.436 111.119 112.424]
/Subtype /Link
/A << /S /GoTo /D (Navigation27) >>
>> endobj
89 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [55.877 87.057 119.713 96.948]
/Subtype /Link
/A << /S /GoTo /D (Navigation28) >>
>> endobj
90 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [55.877 73.508 121.065 83.399]
/Subtype /Link
/A << /S /GoTo /D (Navigation32) >>
>> endobj
91 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [55.877 59.959 118.284 70.1]
/Subtype /Link
/A << /S /GoTo /D (Navigation38) >>
>> endobj
92 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [43.04 37.172 110.508 49.087]
/Subtype /Link
/A << /S /GoTo /D (Navigation48) >>
>> endobj
98 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [188.925 1.263 293.91 8.91]
/Subtype /Link
/A << /S /GoTo /D (Navigation1) >>
>> endobj
102 0 obj <<
/D [100 0 R /XYZ 334.488 0 null]
>> endobj
103 0 obj <<
/D [100 0 R /XYZ 334.488 0 null]
>> endobj
99 0 obj <<
/Font << /F23 67 0 R >>
/XObject << /Fm1 51 0 R /Fm7 93 0 R /Fm5 81 0 R /Fm6 84 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
120 0 obj <<
/Length 1052
/Filter /FlateDecode
>>
stream
xXMs6WHT &餝
8% YgA %th}xAD3r2R)0CWk.KLAهGBxYFS֔s#JhO,]u02 ¸0L7]+SH洧4c1r={t[p7{?t=Uǥf\ChT}&QM) 4sB0Aj9{q$q
-2uS+{\IMUnkt??)NUD{FWs"*2U
cnrnNe?ٕ)XMA#C]eA֮_ ޠ_ j083'$7Ɏ}3<<&L`Wok^T TRȜ[4:iziBhfTSra5)5>u<(Riv#Sc,GX8ng