%PDF-1.4
5 0 obj
<< /S /GoTo /D (section.1) >>
endobj
8 0 obj
(Introduction)
endobj
9 0 obj
<< /S /GoTo /D (section.2) >>
endobj
12 0 obj
(A Running Example)
endobj
13 0 obj
<< /S /GoTo /D (section.3) >>
endobj
16 0 obj
(Tropos and Secure Tropos)
endobj
17 0 obj
<< /S /GoTo /D (section.4) >>
endobj
20 0 obj
(Refining Delegation and Trust)
endobj
21 0 obj
<< /S /GoTo /D (section.5) >>
endobj
24 0 obj
(Monitoring)
endobj
25 0 obj
<< /S /GoTo /D (section.6) >>
endobj
28 0 obj
(Formalization)
endobj
29 0 obj
<< /S /GoTo /D (subsection.6.1) >>
endobj
32 0 obj
(Formal Model for Execution)
endobj
33 0 obj
<< /S /GoTo /D (subsection.6.2) >>
endobj
36 0 obj
(Formal Model for Permission)
endobj
37 0 obj
<< /S /GoTo /D (subsection.6.3) >>
endobj
40 0 obj
(Combining Execution and Permission)
endobj
41 0 obj
<< /S /GoTo /D (section.7) >>
endobj
44 0 obj
(Analysis and Verification)
endobj
45 0 obj
<< /S /GoTo /D (section.8) >>
endobj
48 0 obj
(Related Work and Conclusions)
endobj
49 0 obj
<< /S /GoTo /D [50 0 R /Fit ] >>
endobj
52 0 obj <<
/Length 3842
/Filter /FlateDecode
>>
stream
xڥZKW̑ MN.R v<(J$哀4??|7izؤFUy$/no\{%WvzޏߧvUeۧn<.^qe-Y?n?$ráL}Í(WY,*.q *<o
-i&R>O0Og'\pkh{>q<qxSN}N+gPF P4hoVގ5MlT/TooUB,6Z-߿tOWxWq:̃frĮ9qtj?w7{u]V).7iJRuY=,}a~ഄ4i\&x$kݪA_@FNwO
f EkA/D4y}
44CF4𬆧m^xi/f7q\1sug4oK 鹝rv#2r6
fg
?"oqoGoMREݴ
z/u4ڞOV(?'v]aD"uBWEnM
PF~D[`j;~xLz)
9F`Kv9Krb5 N_YG
#
NAHtBa<:O0e0#1\V;pD, Z wƗqr~pu
L]Jni=*zGvLn,ͩF1|<܂8xя(Lƈ~8XuزAޝ jf=j巙~6Bm&
4LNôV~#0"$N{\?VztO` .h^LQR.9VO`>W9]-тr٭ȀyEca/0ka"y(M;qNĴJ2c2H
W`%;ghh<Y^A-lR>.A噧ZpO&蟷@A·9߃̡q
YfT {(ly8irA+bj+$`kqm=Rhf;Bq/A]qӳs=x6&i'8l&9`]tw(v߱bҠ֏n(vLnǎ[Ӆѭ6C4y/jNV^B@/36$1q&V}/o]Y$B vdz43rso2e@Haq@U箨ھvroƐ38$\@,HYx-a(`ڍ*&UѻiG\9dՠT@O8~<
'վa~zDK+= "F:p~B<Mi ]%!P,Vb`}m"n&"z$ `su%HFpw{pxE$v} ˳Xwlg4BcVW!40R ʞ.:&}H#
Lc
Ldֶ^H/LnXJ#*y0)bPRD-g gNy9)LR k^9kԤр)8R08
8ɔ# `ޯ۰I%*'npN9z$0!ރǽ'ı@#g
>B%&wx)nЁKJނwC681q> b(Zt,JNF~4-\g9I'
+1 N{Y
ؓQge\d7i^pdwjyp9pԝ{ ϑ?g&zXjC
L(VaNĔFL'|+a0׃L
ԋk=Bk.F-{\ӄ ;9e}B$hÍˋ[قn e@2Ji/ eB*x)~x
bqڨb
E &GZFHIR$[-aҖ']d kXJ%>vMv"p[@iB #{r8dY7C*D؇0j5M.h9u9A|ji;FX@!qpK !F`sߎ5SAER@@qkPwa/rd|ytHx ?0QyE)'ת4bK۷u(5bA;07y)W\8َ*Tz$eܸd}Șl"bGXr
H%xr_ۋr6,+8+@۴U#"[7*1)0P;--eTr؋lQm ::Wl*IeTQqh.<2%M|/~5RKv%֍xYK6vz_24I2ʠsqk")pQN V&v-)o'KzhՅiY:IT$n;q'9U8-[QzN͋lϥtCl-Q&5f?
6,Nb{m.R*E[nZ!}5PUU] ReQk־kÆ8'6^9J4J
1@ÀVp!MUҲ"s
n?Z1`TR~j 9n