%PDF-1.4
%
1 0 obj <>stream
application/pdfIEEE2014 IEEE 27th Computer Security Foundations Symposium;2014; ; ;10.1109/CSF.2014.23Security protocolsDiffie-Hellmandecidabilitystrand spacesDecidability for Lightweight Diffie-Hellman ProtocolsDaniel J. DoughertyJoshua D. Guttman
2014 IEEE 27th Computer Security Foundations Symposium217 July 201410.1109/CSF.2014.23231
endstream
endobj
2 0 obj <>stream
application/pdf2014 IEEE 27th Computer Security Foundations Symposium;2014; ; ;10.1109/CSF.2014.23Decidability for Lightweight Diffie-Hellman Protocols
iTextSharp 4.0.7 (based on iText 2.0.7); modified using iText® 7.1.1 ©2000-2018 iText Group NV (AGPL-version)
2014-06-19T14:10:34.000Z2018-12-06T02:27:43.000Z
endstream
endobj
3 0 obj<>
endobj
4 0 obj<>
endobj
6 0 obj<>
endobj
5 0 obj <>stream
hTMk0:vM!vwV'9rJlI@ա45aƶ $NO(WXh>^ 6E>BqVEwAV'q7h'P`IEW#! )^಄d%5kKK/E*O2pJ,w
ۘ.E9'Z5i8$Y8vF=\藜voG&?
endstream
endobj
7 0 obj <>stream
h|RmL[UGq*!
.&Ϧ*{o~ʥm|E%5~hc2ECLfHfbeT-1yޜ{>y0 Tt;{܅RTqaBzi?u*7Ok>z dp
eK#ь3r#qrf6ӜfY<(IuL@,%u:hK#7d
1`e_.u9FMO43AQz8FS
dˋv,86VJM=U.V!)48XR(o*-Ҡ{S0fX6+W6vM8'
dlBV"N&=3!@h0^{&:+xH:u%B8*@<2KI1υPLi$:R:j}{Q;oDRLetiWz/R]/"ٰ)gjyF?r8Y6z!:20I@ONԅWf-s;Nyx#R-T5ݣfG/_~@ofmk;oٿA|ץj!rYpV^&B\<=n-@Эs BmT3TBzcdq.R֮dܺwo+|^JAEVBJq-< Ul#Bm$RO Jj)X`;" ^%8v8]]sv~}>D˷PIxtN_\Nb؆ Z/FuI$&ORs;=XNO=[N+RRH?j>BP}$J~?ҹ|[IHp;1o`h@$5fu5 rxXd<__wUO`
T
endstream
endobj
8 0 obj<>/XObject<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]/Font<>>>/Thumb 33 0 R/MediaBox[0 0 612 792]/Rotate 0>>
endobj
9 0 obj<>
endobj
10 0 obj <>stream
x+ |
endstream
endobj
11 0 obj <>stream
HW]o}fl(R҇(delM+iYcџТ%Em*
0xxy?=?|CwÙLxK2Djy;Ynn9wsd~7W1
˸/67櫺MUf:3T1_'?0.L 9ļ~ܵn)R42
EfLjpzVNJf<1KΥw\qe! I
q~Ios
N "`G+!2_3lS9͔SjB4WGg<9s$>˜3Lr]H_(a\[WOgj=ǹXEsG5_~iam'D eCGQɕ&?Ӿi8IhsE%ӻ·5cLsiJ{M{.m("C5IKxp϶5Tڪlx&d㧲Oaz