Read without ads and support Scribd by becoming a Scribd Premium Reader.
See Premium Plans
 
Commentmonordinateuravoteamaplace   
(et amoninsu) 
LaurentGR  EGOIRE 
laurent.gregoire@gmail.com
27mai2012 
R´esum´e
EnMai2012,lesfran caisresidant al'etrangerontlapossibilitede voterviaInternetpourlesdeuxtoursdeselectionslegislatives.L'objectif decetarticleestdemontrerenquoilesystemedevoteutiliseestsensible a uneattaquedetype\hommedumilieu"( 
\maninthemiddleattack" 
), paruneinjectiondecode;commentlarealiserdanslesfaits;etune demonstrationd'uneattaquereussie,lorsd'unvote,enconditionsreelles. 
Table des mati`eres
1 Introduction22 Mise en œuvre3
2.1Generalites..............................3 2.2  Etapesenimage...........................4 2.3Recuperationduprogrammeclient.................5 2.4Decompilationetanalyseduprogrammeclient..........6 2.5Modicationduprogrammeclient.................9 2.6Modicationdel'environnementd'executiondelamachinevirtuelle13 2.7Programmed'injection\ achaud"..................15 
3 D´emonstration174 Contre-mesures185 Conclusion19
1 
 
1 Introduction
Uneconditionnecessaire|maispassusante|, alasecuriteduvoteparIn- ternetestlanecessited'avoirunsystemeabledeboutenbout,toutaulongde lacha^nedetraitementdel'information.Cettecha^nedetraitementsecompose destroiselementsprincipauxsuivants: {Leclient:cequis'executesurl'ordinateurdel'electeur, {Lacommunicationentreleclientetleserveur, {Leserveur:cequis'executechezl'organisateurdel'election,ouunprestataire prive. Latechnologieutiliseepourlapartiecliente,danslecadredeceselections,est unprogrammeJava,signe,telechargeviauneliaisonsecurisee(protocole 
https 
) depuisleserveurdevote,etquis'executeatraverslenavigateurclient,viale mecanisme 
Javaweb-start 
,dansunenvironnementd'executionlocal.Cetenvi- ronnementd'executionestcequel'onappelleune 
machinevirtuelleJava 
(ou JVM| 
JavaVirtualMachine 
),quipermetd'executerdefa con\securisee" 
1 
ducodeJavacompile,aussiappele 
bytecode 
. Lasecuritedeboutenboutnecessiteuneconanceetunema^triseabsoluedu systemesurlequels'executeleprogrammeclient.Danscertainscas,l'electeur peut-^etreameneautiliserunordinateurqu'ilnecontr^ olepaslui-m^eme,comme unordinateurpublicouunpostesursonlieudetravail.Cen'estmalheureuse- mentpaslecas,departlanaturem^emedestechnologiesutilisees,etdufaible niveaudesecuritedel'ordinateuretdusystemed'exploitationclient. L'attaquemiseenuvreicipresupposequel'ordinateursurlequell'electeur votepeut^etre 
compromis 
.Parcompromis,onentendqu'unprogrammemali- cieuxfonctionneal'insudel'utilisateur,commelefontleschevauxdeTroieou leslogicielsespions.Ceprogrammepeut-^etreinstallepartoutepersonneayant unaccesphysique alamachine,ouplussimplementvialetelechargementpar l'utilisateurd'unprogrammemalicieux,deguisesousuneformeanodine,comme parexempleuneconomiseurd'ecranouunjeu. Pourrappel,uneetudedatantde2010montreque,sur22millionsd'ordinateurs analyses,presde48%sontinfectesparcegenredeprogramme 
2 
.Malheureuse- 
1.nousverronsplusloinceque\securise"signie... 2.http://zd.net/cM9btD 
2 
 
ment,lamajoritedesutilisateursn'ensontpasconscient,etneprennentpas touteslesmesuresdesecuriteadequatespourevitercesproblemes.D'autrepart, d'unpointdevue alafoisdemocratiqueetd'organisation,onpeutdicilement n'autoriseravoterquelesseulselecteurspouvantassurerlasecuritedeleur ordinateur. Pourcetteetude,ilaetenecessairedechoisirdeuxcandidatsd'exemple.Le choixducandidatdupartipirateestunclind'ilcarcecandidatafaitpart desonoppositionradicaleauvoteelectronique.Celaneprejugenidelarealite desfaits,nidechoixpersonnels. 
2 Mise en œuvre
2.1 G´en´eralit´es
L'attaqueserealiseentroisetapes: 1.Ladecompilationetl'analyseducodeclientutilisepourlevote, 2.Lamodicationdelapartieducodepermettantdemodierlechoixde l'electeur asoninsu, 3.L'injectionducodeainsimodiedanslamachinevirtuelle. Lesdeuxpremieresetapessefontparl'attaquant,unefoispourtoutes,sur n'importequellemachinequidisposed'uncompted'electeur.Latroisiemeetape s'eectueparunprogrammeinstallesurlesordinateursdevotecompromis. L'utilisationdecodeJavanousfacilitelat^ achesurtouteslesetapesduproces- sus. Premierement,lebytecodeJavaestunerepresentationcompleteettresfacile- mentdecompilableducodesourceinitial.LelanguageJavaetantunlanguage reexif,l'integraliteducodesource|sauflescommentaires,dontonpeutse passer|estpresentdanslecodecompile.Ceciinclutlesnomsdeclasses,les nomsdevariables,ainsiquetoutelastructuresemantiqueduprogramme 
3 
.Il estainsiaisedereconstituerlecodesourceinitial. Ensecond,lesmachinesvirtuellespossedentenstandardunmodedefonc- tionnementspecial,ditde 
debogage 
,o ul'onouvreuncanaldecommunication avecl'exterieur,permettant aunprogrammeurd'inspecteretdemodierle 
3.Pour^etretoutafaitprecis,ilexistequelquescasrares(boucles 
for 
et 
while 
)quisontsur-  jectifsparrapportalatransformationdecompilation,danslesenso udeuxstructuressources dierentesproduisentlem^emebytecode.Maiscecasn'estpasg^enant,carlasemantiquedu codesourceestidentiquedanslesdeuxcas. 
3 
Search
Search History:
Searching...
Result 00 of 00
00 results for result for
  • p.
    • Notes
    Load more