%PDF-1.4 5 0 obj << /S /GoTo /D (section.0.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.0.2) >> endobj 12 0 obj (Dynamic epistemic modeling and verification) endobj 13 0 obj << /S /GoTo /D (section.0.3) >> endobj 16 0 obj (LYS - a knowledge analysis toolset) endobj 17 0 obj << /S /GoTo /D (section.0.4) >> endobj 20 0 obj (The dining cryptographers) endobj 21 0 obj << /S /GoTo /D (section.0.5) >> endobj 24 0 obj (An electronic voting protocol) endobj 25 0 obj << /S /GoTo /D (section.0.6) >> endobj 28 0 obj (Concluding discussion) endobj 29 0 obj << /S /GoTo /D (section*.6) >> endobj 32 0 obj (References) endobj 33 0 obj << /S /GoTo /D [34 0 R /Fit ] >> endobj 36 0 obj << /Length 2844 /Filter /FlateDecode >> stream xڭYKaIH#'ZY%v鯻\WẒE@"J?E^~z,4M$qiD+s4,ƌۛ~ʈwG4r{pEDv{sl=\ޞM\y{Y2c L MGBx/aG㾡Ɂ/~).aI_a *2~e{_S-rg&%5J2JɌ~-Bm63./ cGxaKU]%Q$K%:+| ooH 6/WyV~">~vVwl7jfxU"U#,e?BGShI>L+^[>9iY̼?6{r8,I/ZI!9.̫z7U!u' ;u/-!ɲ?v8%/1B8ƛ7зGdbnxxW&a>>MBPO~iM\ׄ7onw_r/bC &X