diff --git a/.latexrun.db b/.latexrun.db index 5cb047a..600002b 100644 --- a/.latexrun.db +++ b/.latexrun.db @@ -62,380 +62,23 @@ [ "file", [ - "sections/attacker_models.tex" + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" ], - "c79ab4796d1b2f7358bbaf25aad59ca738244b2ecfd66d5dc242c071b1cd5998" + "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" ], - "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" + "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" ], [ "file", [ - "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" ], - "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" - ], - "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" - ], - [ - "file", - [ - "sections/conclusion.tex" - ], - "01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" - ], - "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" - ], - "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" - ], - "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" - ], - "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" - ], - "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" - ], - "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" - ], - "1ca2496e79881aae2e9f7eeb36a51e4d51ef9c7700c57d8f008fc32a2ed0bfda" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" - ], - "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" - ], - "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty" - ], - "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" - ], - "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" - ], - [ - "file", - [ - "sections/introduction.tex" - ], - "1c9973ed0245234b4625f5c2418af170e24e381218cdd73ba54e77fe524d2ba8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" - ], - "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" - ], - [ - "file", - [ - "assets/diagram3.png" - ], - "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" - ], - [ - "file", - [ - "main.tex" - ], - "8b36e32cdd8a9a289b2ba161e4b888dc1a02bb95f533cb7708067bd36561cb15" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" - ], - "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" - ], - "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" - ], - "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" - ], - [ - "file", - [ - "sections/appendix.tex" - ], - "34a3ef7bf572e65c5d08bfaf01687b275158221e789238eadc23b73856a9e1b1" - ], - [ - "file", - [ - "main.bbl" - ], - "7107c99dc9c54cf114b4bf0d9fa9dc96c2e7ea981a7aa4225085da1ce6fe69c5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" - ], - "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" - ], - "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" - ], - "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" - ], - "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" - ], - [ - "file", - [ - "IEEEtran.cls" - ], - "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" - ], - [ - "file", - [ - "main.aux" - ], - "578659e446da64a5f7f8264a1e3346b9ac9531a43fdf0c42a455cd8273fe04c9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" - ], - "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" - ], - [ - "file", - [ - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" - ], - "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" - ], - "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" - ], - "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" - ], - "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" - ], - "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" - ], - "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" - ], - "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" - ], - "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" - ], - "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" - ], - "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" - ], - "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/web2c/texmf.cnf" - ], - "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" - ], - "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" - ], - "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" - ], - "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" - ], - "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" - ], - "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" - ], - [ - "file", - [ - "sections/abstract.tex" - ], - "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" - ], - "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.sty" - ], - "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" - ], - [ - "file", - [ - "sections/case_studies.tex" - ], - "455f5065ea57421e12c6649d2338f186df14ec0ff2ae102610a2e32f1c039b7b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" - ], - "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" + "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" ], [ "file", @@ -447,9 +90,79 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" + "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" ], - "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" + "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" + ], + [ + "file", + [ + "sections/attacker_models.tex" + ], + "ac4ed6b2fd599335020a7febe9605fe91f87d732b5a6160391771fd8207fc8aa" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" + ], + "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" + ], + [ + "file", + [ + "main.aux" + ], + "0d75e55064bad7cfe0448e7e69525730e31b5aa3aa44fc1af233c53143ba70ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" + ], + "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" + ], + "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" + ], + "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" + ], + "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" + ], + "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" + ], + "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" + ], + "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" ], [ "file", @@ -461,9 +174,198 @@ [ "file", [ - "sections/design.tex" + "main.bbl" ], - "13a331dfc4e8f1322e0e1f1c4df8a0f68e51a8b47f4f9e00da13ae89f2ffb899" + "7107c99dc9c54cf114b4bf0d9fa9dc96c2e7ea981a7aa4225085da1ce6fe69c5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" + ], + "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" + ], + "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" + ], + "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" + ], + "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" + ], + "1ca2496e79881aae2e9f7eeb36a51e4d51ef9c7700c57d8f008fc32a2ed0bfda" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" + ], + "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" + ], + "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" + ], + "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" + ], + "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" + ], + "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" + ], + "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + ], + "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" + ], + "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" + ], + "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" + ], + [ + "file", + [ + "assets/diagram3.png" + ], + "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" + ], + [ + "file", + [ + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" + ], + "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" + ], + [ + "file", + [ + "sections/conclusion.tex" + ], + "01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" + ], + "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" + ], + [ + "file", + [ + "sections/appendix.tex" + ], + "34a3ef7bf572e65c5d08bfaf01687b275158221e789238eadc23b73856a9e1b1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" + ], + "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" + ], + "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" + ], + [ + "file", + [ + "IEEEtran.cls" + ], + "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" + ], + [ + "file", + [ + "sections/introduction.tex" + ], + "1c9973ed0245234b4625f5c2418af170e24e381218cdd73ba54e77fe524d2ba8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" + ], + "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" + ], + "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50" + ], + [ + "file", + [ + "sections/case_studies.tex" + ], + "455f5065ea57421e12c6649d2338f186df14ec0ff2ae102610a2e32f1c039b7b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" + ], + "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" ], [ "file", @@ -472,6 +374,195 @@ ], "361b5530a4b410c6274e9330c11e993843c62e394323aeaa6e0aee61e8042444" ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" + ], + "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" + ], + "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.sty" + ], + "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" + ], + "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" + ], + "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" + ], + "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" + ], + "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" + ], + "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" + ], + "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" + ], + "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" + ], + "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" + ], + "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" + ], + "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" + ], + "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" + ], + "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" + ], + "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/cite/cite.sty" + ], + "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" + ], + "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" + ], + "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" + ], + "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" + ], + "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" + ], + [ + "file", + [ + "sections/abstract.tex" + ], + "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" + ], + "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" + ], + "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" + ], + "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" + ], + "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" + ], + "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" + ], [ "file", [ @@ -489,149 +580,23 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" + "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" ], - "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" + "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" + "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" ], - "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" + "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" ], [ "file", [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" + "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" ], - "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" - ], - "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" - ], - "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" - ], - "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" - ], - "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" - ], - "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" - ], - "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" - ], - "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/cite/cite.sty" - ], - "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" - ], - "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" - ], - "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" - ], - "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" - ], - "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" - ], - "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" - ], - "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" - ], - "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" - ], - "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" - ], - "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" - ], - "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" + "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" ], [ "file", @@ -643,56 +608,91 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" + "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" ], - "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4" + "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" + "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" ], - "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" + "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" + "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty" ], - "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" + "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158" + ], + [ + "file", + [ + "main.tex" + ], + "8b36e32cdd8a9a289b2ba161e4b888dc1a02bb95f533cb7708067bd36561cb15" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" + ], + "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" + ], + "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" + ], + [ + "file", + [ + "sections/design.tex" + ], + "13a331dfc4e8f1322e0e1f1c4df8a0f68e51a8b47f4f9e00da13ae89f2ffb899" + ], + [ + "file", + [ + "/usr/share/texmf-dist/web2c/texmf.cnf" + ], + "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" ], [ "unknown_input", [], - 1731314929.331566 - ], - [ - "file", - [ - "./main.fls" - ], - "ede699bf7ef1c9181e4a89fab28490c97ec254d283b511ec4cdc5797967e7844" + 1731348660.4600685 ], [ "file", [ "main.log" ], - "c4f96d53de81da6f629d4da0d409d810162bd55625ab2fa0e28cc16a15ad8592" + "e2a469d6433df0a822a957cbefe33371a7867caafe0d1dbf77eda681ecf99ebd" + ], + [ + "file", + [ + "./main.fls" + ], + "3a79eae4ad0da7cedf0d56dbefa2ebd65cff855c5a3348d725a5c183b4140e17" ], [ "file", [ "main.pdf" ], - "47d09a77fddd04dc10931426249a1661d4f1210b294ae708d644cd7ac29b0329" + "1ac49dd5d94f5cdc8a79c294b0d5f09fa3809dcf49b77254b83aabb9f4bcd3b1" ] ], "output_files": { - "main.aux": "578659e446da64a5f7f8264a1e3346b9ac9531a43fdf0c42a455cd8273fe04c9", - "./main.fls": "ede699bf7ef1c9181e4a89fab28490c97ec254d283b511ec4cdc5797967e7844", - "main.log": "c4f96d53de81da6f629d4da0d409d810162bd55625ab2fa0e28cc16a15ad8592", - "main.pdf": "47d09a77fddd04dc10931426249a1661d4f1210b294ae708d644cd7ac29b0329" + "main.aux": "0d75e55064bad7cfe0448e7e69525730e31b5aa3aa44fc1af233c53143ba70ab", + "main.log": "e2a469d6433df0a822a957cbefe33371a7867caafe0d1dbf77eda681ecf99ebd", + "./main.fls": "3a79eae4ad0da7cedf0d56dbefa2ebd65cff855c5a3348d725a5c183b4140e17", + "main.pdf": "1ac49dd5d94f5cdc8a79c294b0d5f09fa3809dcf49b77254b83aabb9f4bcd3b1" }, "extra": { "jobname": "./main", @@ -808,10 +808,10 @@ } }, "clean": { - "main.log": "c4f96d53de81da6f629d4da0d409d810162bd55625ab2fa0e28cc16a15ad8592", - "main.pdf": "47d09a77fddd04dc10931426249a1661d4f1210b294ae708d644cd7ac29b0329", - "main.aux": "578659e446da64a5f7f8264a1e3346b9ac9531a43fdf0c42a455cd8273fe04c9", - "./main.fls": "ede699bf7ef1c9181e4a89fab28490c97ec254d283b511ec4cdc5797967e7844", + "main.log": "e2a469d6433df0a822a957cbefe33371a7867caafe0d1dbf77eda681ecf99ebd", + "main.pdf": "1ac49dd5d94f5cdc8a79c294b0d5f09fa3809dcf49b77254b83aabb9f4bcd3b1", + "main.aux": "0d75e55064bad7cfe0448e7e69525730e31b5aa3aa44fc1af233c53143ba70ab", + "./main.fls": "3a79eae4ad0da7cedf0d56dbefa2ebd65cff855c5a3348d725a5c183b4140e17", "./main.bbl": "7107c99dc9c54cf114b4bf0d9fa9dc96c2e7ea981a7aa4225085da1ce6fe69c5", "./main.blg": "3737e5cade4674049e4c2b57afcc4511891a9f09a0744bb565c8ac5f118a28e4" } diff --git a/main.aux b/main.aux index a263a18..13a24ee 100644 --- a/main.aux +++ b/main.aux @@ -24,28 +24,21 @@ \newlabel{sec:usage_attacker_models}{{III}{2}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}Dropping Attacker Model}{2}{}\protected@file@percent } \newlabel{sub:Dropping Attacker}{{\mbox {III-A}}{2}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Replaying Attacker Model}{2}{}\protected@file@percent } -\newlabel{sub:Replay Attacker}{{\mbox {III-B}}{2}{}{}{}} \bibstyle{IEEEtran} \bibdata{main} \bibcite{Lamport_1994}{1} \bibcite{Holzmann_1997}{2} \bibcite{Clarke_Wang}{3} -\bibcite{Basin_Cremers_Dreier_Sasse_2022}{4} -\bibcite{Blanchet_Smyth_Cheval_Sylvestre}{5} -\bibcite{Kobeissi_Nicolas_Tiwari}{6} -\bibcite{Blanchet_Jacomme}{7} -\bibcite{Basin_Linker_Sasse}{8} -\bibcite{Hippel2022}{9} -\bibcite{Vardi_Wolper_1986}{10} -\bibcite{clarke2000model}{11} -\bibcite{Kozen_1977}{12} -\newlabel{lst:spin-model}{{2}{3}{}{}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}Example dropping attacker model gadget}{3}{}\protected@file@percent } +\newlabel{lst:korg_drop}{{2}{3}{}{}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}Example dropping attacker model gadget with drop limit of 3, targetting channel "cn"}{3}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Replaying Attacker Model}{3}{}\protected@file@percent } +\newlabel{sub:Replay Attacker}{{\mbox {III-B}}{3}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-C}}Rearranging Attacker Model}{3}{}\protected@file@percent } \newlabel{sub:Rearrange Attacker}{{\mbox {III-C}}{3}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-D}}Custom Attacker Models}{3}{}\protected@file@percent } \newlabel{sub:Custom Attacker Models}{{\mbox {III-D}}{3}{}{}{}} +\newlabel{lst:korg_replay}{{3}{3}{}{}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {IV}Case Studies}{3}{}\protected@file@percent } \newlabel{sec:case_studies}{{IV}{3}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-A}}SCTP}{3}{}\protected@file@percent } @@ -57,12 +50,21 @@ \@writefile{toc}{\contentsline {section}{\numberline {V}Conclusion}{3}{}\protected@file@percent } \newlabel{sec:conclusion}{{V}{3}{}{}{}} \@writefile{toc}{\contentsline {section}{References}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {VI}Appendix}{3}{}\protected@file@percent } -\newlabel{sec:Appendix}{{VI}{3}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-A}}Full Korg Soundness and Completeness Proofs}{3}{}\protected@file@percent } -\newlabel{sub:korg_proofs}{{\mbox {VI-A}}{3}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-B}}Preventing Korg Livelocks}{3}{}\protected@file@percent } -\newlabel{sub:Preventing Korg Livelocks}{{\mbox {VI-B}}{3}{}{}{}} -\newlabel{lst:drop_passer}{{3}{4}{}{}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Example dropping attacker model gadget with message skipping}{4}{}\protected@file@percent } +\bibcite{Basin_Cremers_Dreier_Sasse_2022}{4} +\bibcite{Blanchet_Smyth_Cheval_Sylvestre}{5} +\bibcite{Kobeissi_Nicolas_Tiwari}{6} +\bibcite{Blanchet_Jacomme}{7} +\bibcite{Basin_Linker_Sasse}{8} +\bibcite{Hippel2022}{9} +\bibcite{Vardi_Wolper_1986}{10} +\bibcite{clarke2000model}{11} +\bibcite{Kozen_1977}{12} +\@writefile{toc}{\contentsline {section}{\numberline {VI}Appendix}{4}{}\protected@file@percent } +\newlabel{sec:Appendix}{{VI}{4}{}{}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-A}}Full Korg Soundness and Completeness Proofs}{4}{}\protected@file@percent } +\newlabel{sub:korg_proofs}{{\mbox {VI-A}}{4}{}{}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-B}}Preventing Korg Livelocks}{4}{}\protected@file@percent } +\newlabel{sub:Preventing Korg Livelocks}{{\mbox {VI-B}}{4}{}{}{}} +\newlabel{lst:drop_passer}{{4}{4}{}{}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}Example dropping attacker model gadget with message skipping}{4}{}\protected@file@percent } \gdef \@abspage@last{4} diff --git a/main.fls b/main.fls index 31e194f..f0162d2 100644 --- a/main.fls +++ b/main.fls @@ -223,13 +223,13 @@ INPUT ./sections/conclusion.tex INPUT ./main.bbl INPUT ./main.bbl INPUT ./main.bbl -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm +INPUT ./sections/appendix.tex +INPUT ./sections/appendix.tex +INPUT ./sections/appendix.tex +INPUT ./sections/appendix.tex +INPUT ./sections/appendix.tex INPUT ./main.aux INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb INPUT /usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb diff --git a/main.log b/main.log index 97ad0c0..09b0f2b 100644 --- a/main.log +++ b/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2) 11 NOV 2024 03:48 +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2) 11 NOV 2024 13:11 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -319,11 +319,7 @@ File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) File: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count294 \l__pdf_internal_box=\box57 -) (./main.aux - -LaTeX Warning: Label `lst:spin-model' multiply defined. - -) +) (./main.aux) \openout1 = `main.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 48. @@ -410,7 +406,11 @@ LaTeX Warning: `h' float specifier changed to `ht'. LaTeX Warning: `h' float specifier changed to `ht'. -[2]) (./sections/case_studies.tex) (./sections/conclusion.tex) (./main.bbl +[2] + +LaTeX Warning: `h' float specifier changed to `ht'. + +) (./sections/case_studies.tex) (./sections/conclusion.tex) (./main.bbl ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -426,6 +426,7 @@ LaTeX Warning: `h' float specifier changed to `ht'. ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. +[3] ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -470,7 +471,7 @@ might try typing `S' now just to see what is salvageable. LaTeX Font Warning: Font shape `OT1/ptm/m/scit' undefined (Font) using `OT1/ptm/m/sc' instead on input line 15. -[3]) +) ** Conference Paper ** Before submitting the final camera ready copy, remember to: @@ -482,23 +483,17 @@ Before submitting the final camera ready copy, remember to: uses only Type 1 fonts and that every step in the generation process uses the appropriate paper size. -[4 - -] (./main.aux) +[4] (./main.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-02-20> *********** - - -LaTeX Warning: There were multiply-defined labels. - ) Here is how much of TeX's memory you used: - 6276 strings out of 476076 - 93712 string characters out of 5793776 - 2039187 words of memory out of 5000000 - 28293 multiletter control sequences out of 15000+600000 + 6344 strings out of 476076 + 94418 string characters out of 5793776 + 2116187 words of memory out of 5000000 + 28361 multiletter control sequences out of 15000+600000 597323 words of font info for 103 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 57i,8n,65p,1155b,1257s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -507,7 +502,7 @@ texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb> -Output written on ./main.pdf (4 pages, 157257 bytes). +Output written on ./main.pdf (4 pages, 160828 bytes). PDF statistics: 49 PDF objects out of 1000 (max. 8388607) 29 compressed objects within 1 object stream diff --git a/main.pdf b/main.pdf index a799539..8ea3cc3 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.synctex.gz b/main.synctex.gz index 9424549..44e3311 100644 Binary files a/main.synctex.gz and b/main.synctex.gz differ diff --git a/sections/attacker_models.tex b/sections/attacker_models.tex index 678b7d4..40b52d5 100644 --- a/sections/attacker_models.tex +++ b/sections/attacker_models.tex @@ -5,8 +5,10 @@ The first and most simple general attacker model \korg supports is an attacker that can \textit{drop} messages from a channel. The user specifies a "drop limit" value that limits the number of packets the attacker can drop from the channel. Note, a higher drop limit will increase the search space of possible attacks, thereby increasing execution time. +The dropper attacker model gadget \korg synthesizes works as follows. The gadget will nondeterministically choose to observe a message on a channel. Then, if the drop limit variable is not zero, it will consume the message. An example is shown in Figure \ref{lst:korg_drop}. + \begin{figure}[h] -\begin{lstlisting}[caption={Example dropping attacker model gadget}, label={lst:spin-model}] +\begin{lstlisting}[caption={Example dropping attacker model gadget with drop limit of 3, targetting channel "cn"}, label={lst:korg_drop}] chan cn = [8] of { int, int, int }; active proctype attacker_drop() { @@ -31,9 +33,56 @@ BREAK: \subsection{Replaying Attacker Model}% \label{sub:Replay Attacker} -The second attacker model \korg supports is an attacker that can observe and replay messages back onto a channel. Similarly to the drop limit for the dropping attacker model, the user can specify a "replay limit" that caps the number of messages the attacker can replay back onto the specified channel. +The second attacker model \korg supports is an attacker that can observe and \textit{replay} messages back onto a channel. Similarly to the drop limit for the dropping attacker model, the user can specify a "replay limit" that caps the number of messages the attacker can replay back onto the specified channel. -\jg{todo: describe impl more} +The dropper attacker model gadget \korg synthesizes works as follows. The gadget has two states, \textsc{Consume} and \textsc{Replay}. The gadget starts in the \textsc{Consume} state and nondeterministically reads (but not consumes) messages on the target channel, sending them into a local storage buffer. Once the gadget read the number of messages on the channel equivalent to the defined replay limit, its state changes to \textsc{Replay}. In the \textsc{Replay} state, the gadget nondeterministically selects messages from its storage buffer to replay onto the channel until out of messages. An example is shown in Figure \ref{lst:korg_replay}. + +\begin{figure}[h] +\begin{lstlisting}[caption={Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}, label={lst:korg_replay}] +chan cn = [8] of { int, int, int }; + +// local memory for the gadget +chan gadget_mem = [3] of { int, int, int }; + +active proctype attacker_replay() { +int b_0, b_1, b_2; +int i = 3; +CONSUME: + do + // read messages until the limit is passed + :: cn ? [b_0, b_1, b_2] -> atomic { + cn ? -> gadget_mem ! b_0, b_1, b_2; + i--; + if + :: i == 0 -> goto REPLAY; + :: i != 0 -> goto CONSUME; + fi + } + od +REPLAY: + do + :: atomic { + // nondeterministically select a random value from the storage buffer + int am; + select(am : 0 .. len(gadget_mem)-1); + do + :: am != 0 -> + am = am-1; + gadget_mem ? b_0, b_1, b_2 -> gadget_mem ! b_0, b_1, b_2; + :: am == 0 -> + gadget_mem ? b_0, b_1, b_2 -> cn ! b_0, b_1, b_2; + break; + od + } + // doesn't need to use all messages on the channel + :: atomic {gadget_mem ? b_0, b_1, b_2; } + // once mem has no more messages, we're done + :: empty(gadget_mem) -> goto BREAK; + od +BREAK: +} +\end{lstlisting} +\end{figure} \subsection{Rearranging Attacker Model}% \label{sub:Rearrange Attacker}