Andreea Dragut Cours de cryptographie Chapitre IV Fonctions conjecturées à sens unique : Le problème du logarithme

Dimension: px
Commencer à balayer dès la page:

Download "Andreea Dragut Cours de cryptographie Chapitre IV Fonctions conjecturées à sens unique : Le problème du logarithme"

Transcription

1 ELGamal Andreea Dragut Cours de cryptographe Chaptre IV Fonctons conjecturées à sens unque : Le problème du logarthme dscret Defnton. Un groupe cyclque G, est un groupe dans lequel l exste un élément g tel que tout élément du groupe pusse s exprmer sous forme d un multple/pussance de g, cet élément g est appelé générateur du groupe et on note G =< g >. En notaton addtve : (G, +) [n]g En notaton multplcatve : (G, ) g n Defnton. Sot G un groupe et g G, alors le groupe sous-groupe H généré par g, noté H =< g >, est le plus pett sous-groupe de G contenant g. Defnton. L ordre d un élément g d un groupe G est l ordre du sous-groupe H =< g > généré par cet élément. L ordre de g est noté ordre(g) ou o(g). S l ordre est fn, l est le plus pett enter m > 0 En notaton addtve : mg = 0 En notaton multplcatve : g m = 1 On peut dre que s l ordre de g est fn ordre(g) = H = < g > la cardnalté sous-groupe H =< g > généré par g. Exemple. Trouver l ordre de l élément 2 dans F 11 = (Z/11Z) = {1, 2,..., 10} le groupe multplcatf de restes modulo 11 F 17 = (Z/17Z) = {1, 2,..., 16} le groupe multplcatf de restes modulo 17 Dans F 11 nous avons 2 0 = 1, 2 1 = 2, 2 2 = 4, 2 3 = 8, 2 4 5, , 2 6 9, 2 7 7, 2 8 3, Mas et on commence à répéter les éléments. Donc ordre(2) = 10 et l génère tout le groupe G. Dans F 17 nous avons 2 0 = 1, 2 1 = 2, 2 2 = 4, 2 3 = 8,2 4 = 16, , , Mas et on commence à répéter les éléments. Donc 2 n est pas un générateur pour 1

2 F 17. Il génére que le sous-groupe H =< 2 >= {1, 2, 4, 8, 9, 13, 15, 16} et son ordre est la cardnalté de ce sous-groupe, donc 8. Le problème DLP peut être formulé pour un groupe générque H et < g >= G H. On va étuder après le DLP sur des groupes partculers : le groupe multplcatf (Z/pZ) et le groupe addtf de courbes ellptques. Pour certans groupes le problème du logarthme dscret est dffcle : sot on ne connaît aucun algorthme sous-exponentel qu résout le problème DLP, sot on ne connaît aucun algorthme qu résout le problème DLP pour des talles grandes (dsons de 1024 bts et plus). Defnton. [Le problème du logarthme dscret DLP] Sot H un groupe et g un générateur d ordre p d un sous-groupe G H. Étant donnés A G, trouver x tel que A = g x log g (A) = x. Le système de chffrement El Gamal est basé sur le problème du logarthme dscret, c est à dre d nverser l exponentelle modulare. Il a été créé par Taher Elgamal. Cet algorthme est utlsé par GNU Prvacy Guard et de récentes versons de PGP. La clé prvée de de ElGamal est a. La clé publque de ElGamal est A = g a (mod p), où g H avec un ordre p grand. Décrypter clé publque de ElGamal en partant de sa clé publque revent à résoudre un problème du logarthme dscret pour y = A. Créaton d un paramètre publque Un ters part de confance Trent : H le groupe chos g H avec un ordre p grand Créaton de clé on chost 1 a p 1. on calcule A = g a (mod p) on puble la clé publque (H, p, g, A) Cryptage Input : la clé publque (H, p, g, A) le message m une clé éphémère k calcul : y 1 = g k (mod p) y 2 = m A k (mod p) Output : (y 1, y 2 ) 2

3 Décryptage Input : la clé prvée a le message chffré (y 1, y 2 ) calcul : (y a 1) 1 y 2 (mod p) Théorème. [El Gamal fonctonne correctement] Sot H un groupe et g un générateur d ordre p d un sous-groupe G H (donc G a p éléments). Sot la clé prvée a tel que 1 a p = ord(g). Sot le message x et une clé éphémère k. En calculant A = g a (mod p), y 1 = g k (mod p), y 2 = m A k (mod p) selon l algorthme du ElGamal nous avons que (y a 1) 1 y 2 x (mod p) Preuve. On peut calculer (y a 1) 1 parce que avec la clé prvée on peut calculer d abord z = y a 1 (mod p) et après z 1 (mod p). (y a 1) 1 y 2 (g ak ) 1 (m A k ) (g ak ) 1 ( m(g a ) k) parce que A = g a (mod p) donc (y a 1) 1 y 2 m (mod p). Algorthmes générques pour résoudre le problème DLP Proposton. Sot G un groupe et g G un élément d ordre N p = ord(g). Le problème DLP :trouver x tel que g x = A peut être résolu en O(N) = O(S x ) pas. Preuve. On génère par multplcaton successve la lste des valeurs S x pour x = 0, 1,..., N 1. S l exste une soluton g x = A on va la retrouver dans la lste. Le problème DLP et l algorthme de Shanks peuvent être formulés pour un groupe générque H et < g >= G H. Proposton. [Shanks pas de bébé, pas de géant] Sot (G, ) un groupe et g G un élément d ordre N > 2 (pour H = G = Z p, N = p 1. L algorthme suvant résout le problème DLP en O( N log N) pas. 1. sot s = 1 + N > N 2. calculer g s 3. créer deux lstes L 1 e, g, g 2, g 3,..., g s A, A g s, A g 2s, A g 3s,..., A g s2 L 2 4. trouver une occurence commune g r0 = A g k 0 s 5. x = r 0 + k 0 s est une soluton pour g x = A. Complexté d attaque de Shanks : O(s log s) O( N log N) créer les deux lstes : 2s multplcatons 3

4 s une occurrence commune exste, on peut la trouver en O(log s) Preuve. On utlse le théorème d Euclde. Sot x 0 la soluton du DLP g x = A. Alors, ls exstent k 0, r 0 enters tels que x 0 = sk 0 + r 0, 0 r 0 < s, donc 1 x 0 < N. q 0 = x 0 r 0 s < N s < s, parce que nous avons chos s < N. On peut réécrre g x 0 = A comme L 1 g r 0 = A g k 0 s, L 2, 0 r < s, 0 k < s. Donc chaque lste a au plus s éléments. Réducton à un problème connu Supposons que dans le groupe G on peut résoudre (DLP) g x = A (mod ord(g) = p) faclement (c.à-d. en complexté sous-exponentelle). Alors, dans un groupe plus genéral on essaye de rédure faclement le (DLP) dans le groupe H à pluseurs problèmes (DLP) g x = A (mod ord(g) = p) dans des sous-groupes de type G =< g >, avec ord(g) = p un enter premer. Ce derner problème étant smlare au (DLP) g x = A (mod ord(g) = p). 1. G =< g > avec ord(g) = p k : en construsant g pk 1 qu est un élément d ordre p. 2. G =< g > avec ord(g) = p k 1 1,..., p kn n : en construsant g = g N/pk qu est un élément d ordre ord(g ) = p k et en utlsant le théorème des restes chnos pour assembler les solutons. Proposton. Sot G un groupe, p un nombre premer, g G. Il faut S p pas pour résoudre le problème DLP p : g x = h et ord(g) = p Alors s ord(g) = p k l faut O(kS p ) pour résoudre DLP g x = h. Preuve (ébauche). Sot x la soluton du DLP. x = x 0 + x 1 p + + x pk 1 k 1 ord(g pk 1 ) = p élever à la pussance p k 1, donc h pk 1 = (g x ) pk 1 = (g x 0+x 1 p+ +x k 1 p k 1 ) pk 1 = g0p x k 1 (g pk ) }{{} =1 = (g pk 1) x 0 x 1 +x 2 p+ +x k 1 p k 1 (DLP p facle) :(g pk 1 ) x 0 = h pk 1, g pk 1 G et son ordre est ord(g pk 1 ) = p 4

5 Pour détermner x 1, l faut élever à la pussance p k 2. Donc h pk 2 = g x 0p k 2 g xpk 1 1 (g pk 1 ) x 1 = (h g x 0 ) pk 2 Proposton. Sot G un groupe et g G, ord(g) = N = p k 1 1 p kt t. Sot un algorthme qu résout DLP k p en O(S p k ) pas, alors DLP g x = h peut être résolu dans O( t =1 S p k +log N) pas. Algorthme Pohlng Hellmann 1. Pour chaque 1 t, g = g N/pk (mod N) et h = h N/pk z sot z la soluton du DLP g = h. (mod N), ord(g ) = p k est 2. on résout le système x z 1 (mod p k 1 1 ). x z t (mod p kt t ) Preuve. Le premer pas prend O( k S p ) et le système du théorème des restes chnos prend O(log N) pas. S x est la soluton du système de congruences pour chaque l exste un w enter et x = z + p k w. (g x ) N/pk = g (z +p k = g Nz p k w ) N p k g Nw = g Nz p k (g N ) w g N 1 (mod N) parce que ord(g) = N ( N ) z p = g k N = g z p = h = h k Donc N x N log p k p k g h (mod N). ( ) N Parce que pgcd = 1 pour tout j, nous avons qu l exste les enters α 1,..., α t donc p k, N p k j j t =1 donc x = log g h (mod N). α N p k α 1 N p k 1 1 x + + α t N p kt t t =1 = 1 N α log p k g (h) (mod N) 5

6 El Gamal sur ((Z/nZ) = Z/nZ, +), (F p = Z/pZ, ) Le problème du logarthme dscret en (Z/nZ) = Z/nZ, ) est dffcle, mas pas autant que dans un groupe générque. En (Z/nZ), ) on connaît des algorthmes sous-exponentels pour le résoudre, comme l algorthme de calcul d ndex. Dans un groupe générque on dot se contanter des algorthmes de Shanks et Pohlng et d autres, mas qu sont tous exponentels. Cec a des conséquences sur la talle du groupe à utlser pour que le problème DLP reste dffcle. Le nombre premer p dot avor au mnmum 1024 bts pour le (Z/nZ), pour assurer la même sécurté qu un groupe générque d ordre ayant 160 bts. Rappel sur le groupe (F p = Z/pZ, ) Proposton. L anneau Z/nZ est un corps s, et seulement s, n est un nombre premer. Plus, pour tout nombre premer p, F p est le seul corps de cardnal p. La structure du groupe multplcatf de Z/pZ est celle d un groupe abelén fn cyclque d ordre φ(p) = p 1. Théorème. [racne prmtve/générateur] Sot p premer. Alors l exste g F p tel que (F p, ) = {1, g,..., g p 2 }. L ordre de g est ord(g) = F p = p 1. Corollare. (du Th. Lagrange) Sot p un enter premer. Sot G =< g > (F p, ) et ord(g) = G = q. Alors q/p 1. Exemple. F 11 : 2 0 = 1, 2 1 = 2, 2 2 = 4, 2 3 = 8, 2 4 5, , 2 6 9, 2 7 7, 2 8 3, 2 9 6, , mas 2 n est pas un générateur pour Z 17. Exemple. Le groupe multplcatf F 11 a la cardnalté 10, donc les ordres des elements de Z 11 sont : 1, 2, 5, 10. Defnton (DLP Problème du logarthme dscret en (F p = Z/pZ, )). Sot p premer, g un générateur (racne prmtve) de F p, et h F p. DLPp : trouver 1 x p 1 tel que g x = h (mod p). Le nombre x s appelle le logarthme dscret de h en base g. Remarque. log g F p Z p 1 est une foncton ben défne, et log g (ab) = log g (a) + log g (b), a, b F p. Remarque. S DLPp a une soluton, l a a une nfnté. S x 0 est une soluton, on a g x 0 = h. Mas selon le pett théorème de Fermat, g p 1 1 (mod p). Donc x 0 + k(p 1), avec k enter, est auss une soluton. 6

7 Exercce. Coder A = 01,B = 02,...,Z = 26. Un mot devenne une sequence de nombres (AB = 0102 = 102, OB = 1502). Sot p = , g = 7,a = 113 tel que a k = (mod p). La clé publque est(p, g, A) = (150001, 7, 66436). La clé prvée est a = 113. Sot le message H Mom : x 1 = 0809 = 809 et x 2 = Cryptage : Sot la clé éphémère k = On calcule y 11 = g k (mod ). Donc y 1 = On calcule y 21 = x 1 A k = 809 (7 113 ) 1000, donc y (mod ) et y 2 2 = x 2 A k = (7 113 ) (mod ). On transmet les deux pares (90429, 15061) et (90429, 57422). Décryptage : On calcule (y a 11) 1 y 21 ( ) (mod ), Donc (y a 11) 1 y (mod ). Exercce. A résoudre en utlsant le logcel de calcul modulare de http ://ptrow.com/perl/calculator.pl (a) Sot p = 541, g = 2, a = 113 et k = 101. Crypter x = 200 and x = 201 en utlsant ElGamal. (b) Sot p = 541, g = 2, a = 101. Décrypter les chffrés ElGamal y = (54, 300) and y = (54, 301). Exercce. Sot F 13 Sot p = 13, g = 2,a = 7. On calcule la clé publque A = a k = (mod 13). La clé publque est(p, g, A) = (13, 7, 11). La clé prvée est a = 113. Sot le message : x = 3. Cryptage : Sot la clé éphémère k = 5. On calcule y 1 = g k (mod 13). On calcule y 2 = x A k = 3 (11) 5, donc y (mod 13). On transmet la pare (6, 8). Décryptage : On calcule (y a 1) 1 y 2 (6 7 ) Exercce. Calculer log en H = Z/(p 1)Z, p = 809. Donc n p + 1 = 29. Pas de bébé : (j, 525 (3 j ) 1 (mod p) pour j = 0,, 28 : L 2 : ( 0, 525 ) ( 1, 175 ) ( 2, 328 ) ( 3, 379 ) ( 4, 396 ) ( 5, 132 ) ( 6, 44 ) ( 7, 554 ) ( 8, 724 ) ( 9, 511 ) ( 10, 440 ) ( 11, 686 ) ( 12, 768 ) ( 13, 256 ) ( 14, 355 ) ( 15, 388 ) ( 16, 399 ) ( 17, 133 ) ( 18, 314 ) ( 19, 644 ) ( 20, 754 ) ( 21, 521 ) ( 22, 713 ) ( 23, 777 ) ( 24, 259 ) ( 25, 356 ) ( 26, 658 ) ( 27, 489 ) ( 28, 163 ) Pas de géant : (j, 3 j s (mod p)) pour j = 0,, 28 : L 1 : ( 0, 1 ) ( 1, 99 ) ( 2, 93 ) ( 3, 308 ) ( 4, 559 ) ( 5, 329 ) ( 6, 211 ) ( 7, 664 ) ( 8, 207 ) ( 9, 268 ) ( 10, 644 ) ( 11, 654 ) ( 12, 26 ) ( 13, 147 ) ( 14, 800 ) ( 15, 727 ) ( 16, 781 ) ( 17, 464 ) ( 18, 632 ) ( 19, 275 ) ( 20, 528 ) ( 21, 496 ) ( 22, 564 ) ( 23, 15 ) ( 24, 676 ) ( 25, 586 ) ( 26, 575 ) ( 27, 295 ) ( 28, 81 ) Donct = 10 p = 309 Attaques : El Gamal en (F p) Le problème DLP est facle à résoudre pour F p : un algorthme du type calcul d ndex résout le problème en temps sous-exponentel. 7

8 Remarque. Parce que F p = p 1 pour p premer l est donc toujours pare. Donc c est meux de chosr p = 2q + 1 avec q un nombre premer large. Exemple. On résout 5448 x = 6909 dans Z Le nombre premer p = a la proprété que p 1 est dvsle par 5 4, et l est facle de vérfer que 5448 a l ordre exactement 5 4 dans Z Le premer pas est la résoluton de ( ) x 0 = , ce qu se rédut à x 0 = Cette équaton est facle la soluton est x 0 = 1, donc notre valeur ntale pour x est x = 1. Le pas suvant est la résoluton de ( ) x 1 = ( x 0 ) 52 = ( ) 52, ce qu se rédut à x 1 = Remarquons qu l sufft de vérfer seulement des valeurs de x 1 entre 1 et 4, même s dans le cas où q serat grand, l serat plus convenable d utlser un algorthme plus rapde comme celu de Shanks avec les pas de bébé-pas de géant pour résoudre ce problème de logarthme dscret. De toutes manères, la soluton est x 1 = 2, donc la valeur de x est mantenant x = 11 = Contnuant, nous résolvons mantenant ( ) x 2 = ( x 0 x 1 5 ) 5 = ( ) 5, ce qu se rédut à x 2 = 1. Donc x 2 = 0, ce qu veut dre que la valeur de x reste à x = 11. Le pas fnal est la résoluton de ( ) x 3 = x 0 x 1 5 x = Cec se rédut à résoudre x 3 = 6320, ce qu a la soluton x 3 = 4. Donc notre réponse fnale est x = 511 = Pour vérfer le résultat, on peut calculer = 6909 dans Z Exemple. Consdérons le problème de logarthme dscret 23 x = 9689 dans Z

9 q e g (p 1/qe ) h (p 1/qe ) Résoltn ( g ) (p 1/qe ) x = h (p 1/q e) pour x Table 4.1 Tros sous-problèmes du logarthme dscret La base 23 est une racne prmtve dans Z 11251, c est-à-dre elle a l ordre Comme = est un produt de nombres premers petts, l algorthme de Pohlg-Hellman devrat fonctonner ben. Dans la notaton de sa descrpton, on pose p = 11251, g = 23, h = 9689, N = p 1 = Le premer pas est la résoluton de tros sous-problèmes de logarthme dscret, comme ndqué dans la table 4.1. Remarquons que le premer problème est trval, tands que le trosème problème est le problème qu on vent de résoudre dans l exemple De toutes manères, les problèmes ndvduels dans ce pas de l algorthme peuvent être résolus avec Shanks. Le second pas est l utlsaton du théorème des restes chnos pour résoudre les congruences smultanées x 1 (mod 2), x 4 (mod 3 2 ), x = 511 (mod 5 4 ) La plus pette soluton est x = On vérfe notre réponse en calculant = 9689 dans Z Exemple. Illustrer la méthode pas-de-bébé-pas-de-géant (babystep-gantstep) en l utlsant pour résoudre le problème du logarthme dscret g x = h dans Z p avec g = 9704, h = 13896, et p = Le nombre 9704 a l ordre 1242 dans Z Sot n = = 36 et u = g n = = La table 4.2 donne les valeurs de g k et h u k pour k = 1, 2,...,. Depus la table on trouve la collson = = dans Z Utlsant le fat que 2494 = , on calcule = = ( ) 32 = dans Z Par conséquent, x = 1159 résout le problème 9704 x = dans Z

10 k g k h u k k g k h u k k g k h u k k g k h u k Table 4.2 Pas-de-bébé-pas-de-géant pour résoudre 9704 x (mod 17389) El Gamal Courbes ellptques On s nteresse aux courbes ellptques élémentares en forme d équaton de Weerstrass. Defnton. Sot a, b R. Une courbe ellptque E(a,b) est une courbe algébrque du trosème degré (cubque) (c.à-d l ensemble des ponts (x, y) R R et un pont à l nfn) vérfant l équaton : y 2 = x 3 + ax + b (mod p) où a, b R tels que δ := 16(4a b 2 ) 0, c.à-d où le second membre, polynôme du 3ème degré en x, n a pas de soluton double. La quantté δ s appelle le dscrmnant de la courbe. Le graphe d une courbe ellptque depend du sgne du dscrmnant : postf : l présente deux composantes (Ex : y 2 = x 3 x, δ := 64, le polynôme cubque x 3 + ax + b a exactement tros racnes réelles dstnctes) négatf :l présente deux composantes (Ex : y 2 = x 3 x + 1, δ := 368, le polynôme cubque x 3 + ax + b a exactement une racne réelle) 10

11 Fgure 4.1 Courbes ellptques Addton sur les courbes ellptques : Théorème (Bézout). Deux courbes algébrques projectves planes C,D de degrés m et n, défnes sur un corps algébrquement clos et sans composante rréductble commune, ont exactement mn ponts d ntersectons, comptés avec multplctés. Par deux ponts dstncts P, Q stués sur une courbe ellptque passe une drote ben défne. Comme consequence une drote sécante passant par deux ponts d une courbe ellptque recoupe la courbe en un trosème pont (dstnct ou non). Ce pont est consderé la somme P+Q.(vor fgure 4.2). Lemme 1. Sot a, b R. Les ponts ratonnels d une courbe ellptque E(a,b) forment un groupe abélen E(a, b) avec l operaton d addton suvante : Sot P = (x 1, y 1 ), Q = (x 2, y 2 ) E(a, b). S P = O alors P + Q = P S Q = O alors P + Q = Q S x 2 = x 1 et y 2 = y 1 alors P + Q = O Autrement P +Q = (x 3, y 3 ) avec x 3 = λ 2 x 1 x 2, y 3 = λ(x 1 x 3 ) y 1, où λ = 3x 2 1+a 2y 1 s P = Q et λ = y 2 y 1 x 2 x 1 snon. Donc Le pont à l nfn O est l élément neutre : P + O = O + P = P L nverse de P = (x 1, y 1 ) est Q(x 1, y 1 ), P + Q = Q + P = O 11

12 Fgure 4.2 Addton courbes ellptques P + Q = (x 3, y 3 ) avec x 3 = λ 2 x 1 x 2, y 3 = λ(x 1 x 3 ) y 1, où λ = 3x2 1 +a 2y 1 s P = Q et λ = y 2 y 1 x 2 x 1 snon. La proprété d assocatvté peut être drectement vérfe. Pour la multplcaton scalare sur E(a, b) on utlse la notaton suvante : P, [2]P = P + P, [3]P = [2]P + P,..., [n]p = [n 1]P + P. Les résultats précédents sont encore valables lorsque le corps de défnton de la courbe ellptque est F k p avec p > 3. On denote le groupe correspondant par E(a, b, p). Pour les applcatons en cryptographe les asymetrque l nous faut : une manère effcace de calculer [n]p, un sous-groupe cyclque de E(a, b, p), connaître/approxmer l ordre du groupe E(a, b, p) et les ponts ratonnels, évaluer la dffculté du problème du logarthme dscret/factorsaton. Pour calculer np l y a l algorthme Double and Add qu est très smlare à celu de l exponentaton pour RSA avec addtons à la place des multplcatons. Pour calculer On decompose [k]p d abord en bnare k = t k 2, où k 0, 1 et t = [log 2 k], k t = 1. Après [2](...([2]([2]([2]([2]([2]P + [k (l 1) ]P ) + [k (l 2) ]P ) + [k (l 3) ]P ) +... ) + [k 1 ]P ) + [k 0 ]P La ordre du groupe pour K = F p k = Z p k Z = [2 l ]P + [k (l 1) 2 l 1 ]P + + [k 1 2]P + [k 0 ]P avec p > 3 est donnée par le résulta suvant : Théorème (Hasse). Sot q = p k alors q q E(a, b, p) q q et l algorthme de Schoof permet de détermner le nombre de ponts sur une courbe ellptque. Théorème ( Tsfasman-Voloch-Ruck Théorème de structure). Sot q = p k. Le groupe E(a, b, p) est sot un groupe cyclque sot somorphe avec un produt de deux groupes cyclques Z/uZ/ Z/vZ où u pgcd(v, q 1) 12

13 Système de cryptage ellptque à clé publque ElGamal sur E(a, b, p) Créaton de paramètre publque Une entté de confance chost et puble un nombre premer p (large), une courbe ellptque E sur Z p k et un pont P dans E(a, b, p) Créaton de clé Chosr une clé prvée n A. Calculer Q A = n A P dans E(a, b, p) Publer la clé publque Q A Cryptage Chosr le texte en clar x E(a, b, p). Chosr une clé éphémère k Utlser la clé publque d Alce Q A pour calculer y 1 = kp E(a, b, p) et y 2 = x + kq A E(a, b, p). Envoyer le texte chffré (y 1, y 2 ). Décryptage Calculer y 2 n A y 1 E(a, b, p). Cette valeur est égale à x Le système de cryptage ellptque à clé publque El Gamal fonctonne très ben, mas l présente quelques dffcultés d ordre pratque : 1. Il n ya pas de manère évdente pour attacher des messages en clar à des ponts de E(F p ). 2. Le système de cryptage ellptque El Gamal a un taux d expanson de message de 4- pour-1, tands que le système de cryptage sur F p El Gamal a un taux d expanson de message de 2-pour-1. Les avantages de l utlsaton du problème du logarthme dscret sur des courbes ellptques sont gue DLP est dffcle sur le groupe assocé à une courbe ellptque (c.à.d. qu l n y a pas d attaque connue de complexté sous-exponentelle) et que les clés peuvent être plus pettes pour assurer un nveau de sécurté équvalent : RSA 1024bts versus ECC 160bts. Pour le problème de factorsaton (c.à-d. la décomposton en produt de facteurs enters premers) sur les courbes ellptques l y a parm d autres l algorthme probablste de Lenstra qu a une complexté sous-exponentelle. 13

14 Class Talle typque de clé Exemples Clé publque bts (non courbe-ellptque) bts (courbe ellptque) Dffe-Hellman, ElGamal, DSA Clé symétrque bts DES, AES Hash N/A SHA, MD5 Table 4.3 Types d algorthmes et leur talles de clé actuelles 14

Q x2 = 1 2. est dans l ensemble plus grand des rationnels Q. Continuons ainsi, l équation x 2 = 1 2

Q x2 = 1 2. est dans l ensemble plus grand des rationnels Q. Continuons ainsi, l équation x 2 = 1 2 Exo7 Nombres complexes Vdéo parte. Les nombres complexes, défntons et opératons Vdéo parte. Racnes carrées, équaton du second degré Vdéo parte 3. Argument et trgonométre Vdéo parte 4. Nombres complexes

Plus en détail

Généralités sur les fonctions 1ES

Généralités sur les fonctions 1ES Généraltés sur les fonctons ES GENERALITES SUR LES FNCTINS I. RAPPELS a. Vocabulare Défnton Une foncton est un procédé qu permet d assocer à un nombre x appartenant à un ensemble D un nombre y n note :

Plus en détail

Remboursement d un emprunt par annuités constantes

Remboursement d un emprunt par annuités constantes Sére STG Journées de formaton Janver 2006 Remboursement d un emprunt par annutés constantes Le prncpe Utlsaton du tableur Un emprunteur s adresse à un prêteur pour obtenr une somme d argent (la dette)

Plus en détail

Plan. Gestion des stocks. Les opérations de gestions des stocks. Les opérations de gestions des stocks

Plan. Gestion des stocks. Les opérations de gestions des stocks. Les opérations de gestions des stocks Plan Geston des stocks Abdellah El Fallah Ensa de Tétouan 2011 Les opératons de gestons des stocks Les coûts assocés à la geston des stocks Le rôle des stocks Modèle de la quantté économque Geston calendare

Plus en détail

Mesure avec une règle

Mesure avec une règle Mesure avec une règle par Matheu ROUAUD Professeur de Scences Physques en prépa, Dplômé en Physque Théorque. Lycée Alan-Fourner 8000 Bourges ecrre@ncerttudes.fr RÉSUMÉ La mesure d'une grandeur par un système

Plus en détail

Les jeunes économistes

Les jeunes économistes Chaptre1 : les ntérêts smples 1. défnton et calcul pratque : Défnton : Dans le cas de l ntérêt smple, le captal reste nvarable pendant toute la durée du prêt. L emprunteur dot verser, à la fn de chaque

Plus en détail

Corrigé du problème de Mathématiques générales 2010. - Partie I - 0 0 0. 0.

Corrigé du problème de Mathématiques générales 2010. - Partie I - 0 0 0. 0. Corrgé du problème de Mathématques générales 2010 - Parte I - 1(a. Sot X S A. La matrce A est un polynôme en X donc commute avec X. 1(b. On a : 0 = m A (A = m A (X n ; le polynôme m A (x n est annulateur

Plus en détail

Montage émetteur commun

Montage émetteur commun tour au menu ontage émetteur commun Polarsaton d un transstor. ôle de la polarsaton La polarsaton a pour rôle de placer le pont de fonctonnement du transstor dans une zone où ses caractérstques sont lnéares.

Plus en détail

Contrats prévoyance des TNS : Clarifier les règles pour sécuriser les prestations

Contrats prévoyance des TNS : Clarifier les règles pour sécuriser les prestations Contrats prévoyance des TNS : Clarfer les règles pour sécurser les prestatons Résumé de notre proposton : A - Amélorer l nformaton des souscrpteurs B Prévor plus de souplesse dans l apprécaton des revenus

Plus en détail

Exercices d Électrocinétique

Exercices d Électrocinétique ercces d Électrocnétque Intensté et densté de courant -1.1 Vtesse des porteurs de charges : On dssout une masse m = 20g de chlorure de sodum NaCl dans un bac électrolytque de longueur l = 20cm et de secton

Plus en détail

hal-00409942, version 1-14 Aug 2009

hal-00409942, version 1-14 Aug 2009 Manuscrt auteur, publé dans "MOSIM' 008, Pars : France (008)" 7 e Conférence Francophone de MOdélsaton et SIMulaton - MOSIM 08 - du mars au avrl 008 - Pars - France «Modélsaton, Optmsaton et Smulaton des

Plus en détail

Terminal numérique TM 13 raccordé aux installations Integral 33

Terminal numérique TM 13 raccordé aux installations Integral 33 Termnal numérque TM 13 raccordé aux nstallatons Integral 33 Notce d utlsaton Vous garderez une longueur d avance. Famlarsez--vous avec votre téléphone Remarques mportantes Chaptres à lre en prorté -- Vue

Plus en détail

Editions ENI. Project 2010. Collection Référence Bureautique. Extrait

Editions ENI. Project 2010. Collection Référence Bureautique. Extrait Edtons ENI Project 2010 Collecton Référence Bureautque Extrat Défnton des tâches Défnton des tâches Project 2010 Sasr les tâches d'un projet Les tâches représentent le traval à accomplr pour attendre l'objectf

Plus en détail

DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS

DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS Le cabnet Enetek nous démontre les mpacts négatfs de la multplcaton des stocks qu au leu d amélorer le taux de servce en se rapprochant du clent, le dégradent

Plus en détail

Fiche n 7 : Vérification du débit et de la vitesse par la méthode de traçage

Fiche n 7 : Vérification du débit et de la vitesse par la méthode de traçage Fche n 7 : Vérfcaton du débt et de la vtesse par la méthode de traçage 1. PRINCIPE La méthode de traçage permet de calculer le débt d un écoulement ndépendamment des mesurages de hauteur et de vtesse.

Plus en détail

Assurance maladie et aléa de moralité ex-ante : L incidence de l hétérogénéité de la perte sanitaire

Assurance maladie et aléa de moralité ex-ante : L incidence de l hétérogénéité de la perte sanitaire Assurance malade et aléa de moralté ex-ante : L ncdence de l hétérogénété de la perte santare Davd Alary 1 et Franck Ben 2 Cet artcle examne l ncdence de l hétérogénété de la perte santare sur les contrats

Plus en détail

Chapitre 3 : Incertitudes CHAPITRE 3 INCERTITUDES. Lignes directrices 2006 du GIEC pour les inventaires nationaux de gaz à effet de serre 3.

Chapitre 3 : Incertitudes CHAPITRE 3 INCERTITUDES. Lignes directrices 2006 du GIEC pour les inventaires nationaux de gaz à effet de serre 3. Chaptre 3 : Incerttudes CHAPITRE 3 INCERTITUDES Lgnes drectrces 2006 du GIEC pour les nventares natonaux de gaz à effet de serre 3.1 Volume 1 : Orentatons générales et établssement des rapports Auteurs

Plus en détail

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Exercices - Polynômes : corrigé. Opérations sur les polynômes Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)

Plus en détail

MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES

MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES Émle Garca, Maron Le Cam et Therry Rocher MENESR-DEPP, bureau de l évaluaton des élèves Cet artcle porte sur les méthodes de

Plus en détail

Grandeur physique, chiffres significatifs

Grandeur physique, chiffres significatifs Grandeur physque, chffres sgnfcatfs I) Donner le résultat d une mesure en correspondance avec l nstrument utlsé : S avec un nstrument, ren n est ndqué sur l ncerttude absolue X d une mesure X, on consdère

Plus en détail

Nombres premiers. Comment reconnaître un nombre premier? Mais...

Nombres premiers. Comment reconnaître un nombre premier? Mais... Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement

Plus en détail

Économétrie. Annexes : exercices et corrigés. 5 e édition. William Greene New York University

Économétrie. Annexes : exercices et corrigés. 5 e édition. William Greene New York University Économétre 5 e édton Annexes : exercces et corrgés Wllam Greene New York Unversty Édton françase drgée par Dder Schlacther, IEP Pars, unversté Pars II Traducton : Stéphane Monjon, unversté Pars I Panthéon-Sorbonne

Plus en détail

ÉLÉMENTS DE THÉORIE DE L INFORMATION POUR LES COMMUNICATIONS.

ÉLÉMENTS DE THÉORIE DE L INFORMATION POUR LES COMMUNICATIONS. ÉLÉMETS DE THÉORIE DE L IFORMATIO POUR LES COMMUICATIOS. L a théore de l nformaton est une dscplne qu s appue non seulement sur les (télé-) communcatons, mas auss sur l nformatque, la statstque, la physque

Plus en détail

Stéganographie Adaptative par Oracle (ASO)

Stéganographie Adaptative par Oracle (ASO) Stéganographe Adaptatve par Oracle ASO Sarra Kouder, Marc Chaumont, Wllam Puech To cte ths verson: Sarra Kouder, Marc Chaumont, Wllam Puech. Stéganographe Adaptatve par Oracle ASO. CORESA 12: COmpresson

Plus en détail

BTS GPN 2EME ANNEE-MATHEMATIQUES-MATHS FINANCIERES MATHEMATIQUES FINANCIERES

BTS GPN 2EME ANNEE-MATHEMATIQUES-MATHS FINANCIERES MATHEMATIQUES FINANCIERES MATHEMATIQUES FINANCIERES I. Concepts généraux. Le référentel précse : Cette parte du module M4 «Acquérr des outls mathématques de base nécessares à l'analyse de données économques» est en relaton avec

Plus en détail

Chapitre IV : Inductance propre, inductance mutuelle. Energie électromagnétique

Chapitre IV : Inductance propre, inductance mutuelle. Energie électromagnétique Spécale PSI - Cours "Electromagnétsme" 1 Inducton électromagnétque Chaptre IV : Inductance propre, nductance mutuelle. Energe électromagnétque Objectfs: Coecents d nductance propre L et mutuelle M Blan

Plus en détail

Integral T 3 Compact. raccordé aux installations Integral 5. Notice d utilisation

Integral T 3 Compact. raccordé aux installations Integral 5. Notice d utilisation Integral T 3 Compact raccordé aux nstallatons Integral 5 Notce d utlsaton Remarques mportantes Remarques mportantes A quelle nstallaton pouvez-vous connecter votre téléphone Ce téléphone est conçu unquement

Plus en détail

CREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE?

CREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE? CREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE? Boulanger Frédérc Avanssur, Groupe AXA 163-167, Avenue Georges Clémenceau 92742 Nanterre Cedex France Tel: +33 1 46 14 43

Plus en détail

INTERNET. Initiation à

INTERNET. Initiation à Intaton à INTERNET Surfez sur Internet Envoyez des messages Téléchargez Dscutez avec Skype Découvrez Facebook Regardez des vdéos Protégez votre ordnateur Myram GRIS Table des matères Internet Introducton

Plus en détail

CHAPITRE 14 : RAISONNEMENT DES SYSTÈMES DE COMMANDE

CHAPITRE 14 : RAISONNEMENT DES SYSTÈMES DE COMMANDE HAITRE 4 : RAISONNEMENT DES SYSTÈMES DE OMMANDE RAISONNEMENT DES SYSTÈMES DE OMMANDE... 2 INTRODUTION... 22 RAELS... 22 alcul de la valeur ntale de la répone à un échelon... 22 alcul du gan tatque... 22

Plus en détail

STATISTIQUE AVEC EXCEL

STATISTIQUE AVEC EXCEL STATISTIQUE AVEC EXCEL Excel offre d nnombrables possbltés de recuellr des données statstques, de les classer, de les analyser et de les représenter graphquement. Ce sont prncpalement les tros éléments

Plus en détail

Quelques tests de primalité

Quelques tests de primalité Quelques tests de primalité J.-M. Couveignes (merci à T. Ezome et R. Lercier) Institut de Mathématiques de Bordeaux & INRIA Bordeaux Sud-Ouest Jean-Marc.Couveignes@u-bordeaux.fr École de printemps C2 Mars

Plus en détail

Dirigeant de SAS : Laisser le choix du statut social

Dirigeant de SAS : Laisser le choix du statut social Drgeant de SAS : Lasser le chox du statut socal Résumé de notre proposton : Ouvrr le chox du statut socal du drgeant de SAS avec 2 solutons possbles : apprécer la stuaton socale des drgeants de SAS comme

Plus en détail

IDEI Report # 18. Transport. December 2010. Elasticités de la demande de transport ferroviaire: définitions et mesures

IDEI Report # 18. Transport. December 2010. Elasticités de la demande de transport ferroviaire: définitions et mesures IDEI Report # 18 Transport December 2010 Elastctés de la demande de transport ferrovare: défntons et mesures Elastctés de la demande de transport ferrovare : Défntons et mesures Marc Ivald Toulouse School

Plus en détail

Le Prêt Efficience Fioul

Le Prêt Efficience Fioul Le Prêt Effcence Foul EMPRUNTEUR M. Mme CO-EMPRUNTEUR M. Mlle Mme Mlle (CONJOINT, PACSÉ, CONCUBIN ) Départ. de nass. Nature de la pèce d dentté : Natonalté : CNI Passeport Ttre de séjour N : Salaré Stuaton

Plus en détail

1 Introduction. 2 Définitions des sources de tension et de courant : Cours. Date : A2 Analyser le système Conversion statique de l énergie. 2 h.

1 Introduction. 2 Définitions des sources de tension et de courant : Cours. Date : A2 Analyser le système Conversion statique de l énergie. 2 h. A2 Analyser le système Converson statque de l énerge Date : Nom : Cours 2 h 1 Introducton Un ConVertsseur Statque d énerge (CVS) est un montage utlsant des nterrupteurs à semconducteurs permettant par

Plus en détail

1.0 Probabilité vs statistique...1. 1.1 Expérience aléatoire et espace échantillonnal...1. 1.2 Événement...2

1.0 Probabilité vs statistique...1. 1.1 Expérience aléatoire et espace échantillonnal...1. 1.2 Événement...2 - robabltés - haptre : Introducton à la théore des probabltés.0 robablté vs statstque.... Expérence aléatore et espace échantllonnal.... Événement.... xomes défnton de probablté..... Quelques théorèmes

Plus en détail

Pro2030 GUIDE D UTILISATION. Français

Pro2030 GUIDE D UTILISATION. Français Pro2030 GUIDE D UTILISATION Franças Contents Garante... Introducton... 1 Artcle nº 605056 Rév C Schéma nº A605056 Novembre 2010 2010 YSI Incorporated. Le logo YSI est une marque déposée de YSI Incorporated.

Plus en détail

RAPPORT DE STAGE. Approcher la frontière d'une sous-partie de l'espace ainsi que la distance à cette frontière. Sujet : Master II : SIAD

RAPPORT DE STAGE. Approcher la frontière d'une sous-partie de l'espace ainsi que la distance à cette frontière. Sujet : Master II : SIAD UFR SCIENCES ET TECHNOLOGIES DEPARTEMENT DE MATHEMATIQUES ET INFORMATIQUE 63 177 AUBIERE CEDEX Année 2008-2009 Master II : SIAD RAPPORT DE STAGE Sujet : Approcher la frontère d'une sous-parte de l'espace

Plus en détail

Chapitre 7. Sécurité des réseaux. Services, attaques et mécanismes cryptographiques. Hdhili M.H. Cours Administration et sécurité des réseaux

Chapitre 7. Sécurité des réseaux. Services, attaques et mécanismes cryptographiques. Hdhili M.H. Cours Administration et sécurité des réseaux Chapitre 7 Sécurité des réseaux Services, attaques et mécanismes cryptographiques Hdhili M.H Cours Administration et sécurité des réseaux 1 Partie 1: Introduction à la sécurité des réseaux Hdhili M.H Cours

Plus en détail

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises Les détermnants de la détenton et de l usage de la carte de débt : une analyse emprque sur données ndvduelles françases Davd Boune Marc Bourreau Abel Franços Jun 2006 Département Scences Economques et

Plus en détail

Cryptographie et fonctions à sens unique

Cryptographie et fonctions à sens unique Cryptographie et fonctions à sens unique Pierre Rouchon Centre Automatique et Systèmes Mines ParisTech pierre.rouchon@mines-paristech.fr Octobre 2012 P.Rouchon (Mines ParisTech) Cryptographie et fonctions

Plus en détail

Ecole Polytechnique de Montréal C.P. 6079, succ. Centre-ville Montréal (QC), Canada H3C3A7 lucas.greze@polymtl.ca robert.pellerin@polymtl.

Ecole Polytechnique de Montréal C.P. 6079, succ. Centre-ville Montréal (QC), Canada H3C3A7 lucas.greze@polymtl.ca robert.pellerin@polymtl. CIGI 2011 Processus d accélératon de proets sous contrantes de ressources avec odes de chevaucheent LUCAS GREZE 1, ROBERT PELLERIN 1, PATRICE LECLAIRE 2 1 CHAIRE DE RECHERCHE JARISLOWSKY/SNC-LAVALIN EN

Plus en détail

Prêt de groupe et sanction sociale Group lending and social fine

Prêt de groupe et sanction sociale Group lending and social fine Prêt de roupe et sancton socale Group lendn and socal fne Davd Alary Résumé Dans cet artcle, nous présentons un modèle d antsélecton sur un marché concurrentel du crédt. Nous consdérons l ntroducton de

Plus en détail

MODÈLE D ISING À UNE ET DEUX DIMENSIONS.

MODÈLE D ISING À UNE ET DEUX DIMENSIONS. Chapter MODÈLE DISIG À UE ET DEUX DIMESIOS.. ITRODUCTIO. ous commençons, dans ce chaptre, létude dun problème de mécanque statstque de la matère condensée où leffet des nteractons est mportant. Le modèle

Plus en détail

Calculer le coût amorti d une obligation sur chaque exercice et présenter les écritures dans les comptes individuels de la société Plumeria.

Calculer le coût amorti d une obligation sur chaque exercice et présenter les écritures dans les comptes individuels de la société Plumeria. 1 CAS nédt d applcaton sur les normes IAS/IFRS Coût amort sur oblgatons à taux varable ou révsable La socété Plumera présente ses comptes annuels dans le référentel IFRS. Elle détent dans son portefeulle

Plus en détail

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE. MEMOIRE Présentée à

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE. MEMOIRE Présentée à REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE MEMOIRE Présentée à L Unversté de Batna Faculté des Scences Département de Physque

Plus en détail

La théorie classique de l information. 1 ère partie : le point de vue de Kolmogorov.

La théorie classique de l information. 1 ère partie : le point de vue de Kolmogorov. La théore classque de l nformaton. ère parte : le pont de vue de Kolmogorov. La sute de caractères comme outl de descrpton des systèmes. La scence peut être vue comme l art de compresser les données quelles

Plus en détail

Be inspired. Numéro Vert. Via Caracciolo 20 20155 Milano tel. +39 02 365 22 990 fax +39 02 365 22 991

Be inspired. Numéro Vert. Via Caracciolo 20 20155 Milano tel. +39 02 365 22 990 fax +39 02 365 22 991 Ggaset SX353 / französsch / A31008-X353-P100-1-7719 / cover_0_hedelberg.fm / 03.12.2003 s Be nspred www.onedrect.fr www.onedrect.es www.onedrect.t www.onedrect.pt 0 800 72 4000 902 30 32 32 02 365 22 990

Plus en détail

Projet de fin d études

Projet de fin d études Unversté Franços Rabelas Tours Ecole Polytechnque Unverstare de Tours Département Informatque Projet de fn d études Ordonnancement Juste à Temps avec geston des stocks Chopn Antone Mrault Arnaud 3ème année

Plus en détail

Tests de primalité et cryptographie

Tests de primalité et cryptographie UNIVERSITE D EVRY VAL D ESSONNE Tests de primalité et cryptographie Latifa Elkhati Chargé de TER : Mr.Abdelmajid.BAYAD composé d une courbe de Weierstrass et la fonction (exp(x), cos (y), cos(z) ) Maîtrise

Plus en détail

Sommaire Introduction Les bases de la cryptographie Introduction aux concepts d infrastructure à clés publiques Conclusions Références

Sommaire Introduction Les bases de la cryptographie Introduction aux concepts d infrastructure à clés publiques Conclusions Références Sommaire Introduction Les bases de la cryptographie Introduction aux concepts d infrastructure à clés publiques Conclusions Références 2 http://securit.free.fr Introduction aux concepts de PKI Page 1/20

Plus en détail

Interface OneNote 2013

Interface OneNote 2013 Interface OneNote 2013 Interface OneNote 2013 Offce 2013 - Fonctons avancées Lancer OneNote 2013 À partr de l'nterface Wndows 8, utlsez une des méthodes suvantes : - Clquez sur la vgnette OneNote 2013

Plus en détail

Fonction de hachage et signatures électroniques

Fonction de hachage et signatures électroniques Université de Limoges, XLIM-DMI, 123, Av. Albert Thomas 87060 Limoges Cedex France 05.55.45.73.10 pierre-louis.cayrel@xlim.fr Licence professionnelle Administrateur de Réseaux et de Bases de Données IUT

Plus en détail

TD 1. Statistiques à une variable.

TD 1. Statistiques à une variable. Danel Abécasss. Année unverstare 2010/2011 Prépa-L1 TD de bostatstques. Exercce 1. On consdère la sére suvante : TD 1. Statstques à une varable. 1. Calculer la moyenne et l écart type. 2. Calculer la médane

Plus en détail

Mots-clés : Système multicapteurs, Réseau local, Réseaux de neurones, Supervision, Domotique. xigences système d'une nouvelle

Mots-clés : Système multicapteurs, Réseau local, Réseaux de neurones, Supervision, Domotique. xigences système d'une nouvelle Mots-clés : xgences système d'une nouvelle fonctonnalté dans l'habtat ndvduel : cas de la survellance Système multcapteurs, Réseau local, Réseaux de neurones, Supervson, Domotque. des personnes âgées et

Plus en détail

Pourquoi LICIEL? Avec LICIEL passez à la vitesse supérieure EPROUVE TECHNICITE CONNECTE STABILITE SUIVIE COMMUNAUTE

Pourquoi LICIEL? Avec LICIEL passez à la vitesse supérieure EPROUVE TECHNICITE CONNECTE STABILITE SUIVIE COMMUNAUTE L og c el s de D agnos t c s I mmob l er s Cont ac t eznous 32BddeS t r as bougcs3010875468 Par scedex10tel. 0253354064Fax0278084116 ma l : s er v c e. c l ent @l c el. f r Pourquo LICIEL? Implanté sur

Plus en détail

Contact SCD Nancy 1 : theses.sciences@scd.uhp-nancy.fr

Contact SCD Nancy 1 : theses.sciences@scd.uhp-nancy.fr AVERTISSEMENT Ce document est le frut d'un long traval approuvé par le jury de soutenance et ms à dsposton de l'ensemble de la communauté unverstare élarge. Il est soums à la proprété ntellectuelle de

Plus en détail

Calcul de tableaux d amortissement

Calcul de tableaux d amortissement Calcul de tableaux d amortssement 1 Tableau d amortssement Un emprunt est caractérsé par : une somme empruntée notée ; un taux annuel, en %, noté ; une pérodcté qu correspond à la fréquence de remboursement,

Plus en détail

P R I S E E N M A I N R A P I D E O L I V E 4 H D

P R I S E E N M A I N R A P I D E O L I V E 4 H D P R I S E E N M A I N R A P I D E O L I V E 4 H D Sommare 1 2 2.1 2.2 2.3 3 3.1 3.2 3.3 4 4.1 4.2 4.3 4.4 4.5 4.6 5 6 7 7.1 7.2 7.3 8 8.1 8.2 8.3 8.4 8.5 8.6 Contenu du carton... 4 Paramétrage... 4 Connexon

Plus en détail

Introduction à l étude des Corps Finis

Introduction à l étude des Corps Finis Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur

Plus en détail

Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux

Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Damien Stehlé LIP CNRS/ENSL/INRIA/UCBL/U. Lyon Perpignan, Février 2011 Damien Stehlé Problèmes arithmétiques issus de la cryptographie

Plus en détail

Page 5 TABLE DES MATIÈRES

Page 5 TABLE DES MATIÈRES Page 5 TABLE DES MATIÈRES CHAPITRE I LES POURCENTAGES 1. LES OBJECTIFS 12 2. LES DÉFINITIONS 14 1. La varaton absolue d'une grandeur 2. La varaton moyenne d'une grandeur (par unté de temps) 3. Le coeffcent

Plus en détail

En vue de l'obtention du. Présentée et soutenue par Elayeb Bilel Le 26 juin 2009

En vue de l'obtention du. Présentée et soutenue par Elayeb Bilel Le 26 juin 2009 THÈSE En vue de l'obtenton du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délvré par Insttut Natonal Polytechnque de Toulouse (INPT) Dscplne ou spécalté : Informatque Présentée et soutenue par Elayeb Blel Le

Plus en détail

EH SmartView. Identifiez vos risques et vos opportunités. www.eulerhermes.be. Pilotez votre assurance-crédit. Services en ligne Euler Hermes

EH SmartView. Identifiez vos risques et vos opportunités. www.eulerhermes.be. Pilotez votre assurance-crédit. Services en ligne Euler Hermes EH SmartVew Servces en lgne Euler Hermes Identfez vos rsques et vos opportuntés Plotez votre assurance-crédt www.eulerhermes.be Les avantages d EH SmartVew L expertse Euler Hermes présentée de manère clare

Plus en détail

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises Les détermnants de la détenton et de l usage de la carte de débt : une analyse emprque sur données ndvduelles françases Davd Boune a, Marc Bourreau a,b et Abel Franços a,c a Télécom ParsTech, Département

Plus en détail

MEMOIRE. Présenté au département des sciences de la matière Faculté des sciences

MEMOIRE. Présenté au département des sciences de la matière Faculté des sciences REPUBLIQUE LERIEN DEMOCRTIQUE ET POPULIRE Mnstère de l ensegnement supéreur et de la recherche scentfque Unversté El-Hadj Lakhdar-BTN- MEMOIRE Présenté au département des scences de la matère Faculté des

Plus en détail

CHAPITRE DEUX : FORMALISME GEOMETRIQUE

CHAPITRE DEUX : FORMALISME GEOMETRIQUE CHPITRE DEUX FORMLISME GEOMETRIQUE. CHPITRE DEUX : FORMLISME GEOMETRIQUE verson.3, -8 I. GEOMETRIE DNS L ESPCE-TEMPS ) Prncpe de relatvté Le prncpe de relatvté peut s exprmer ans : toutes les los physques

Plus en détail

GEA I Mathématiques nancières Poly. de révision. Lionel Darondeau

GEA I Mathématiques nancières Poly. de révision. Lionel Darondeau GEA I Mathématques nancères Poly de révson Lonel Darondeau Intérêts smples et composés Voc la lste des exercces à révser, corrgés en cours : Exercce 2 Exercce 3 Exercce 5 Exercce 6 Exercce 7 Exercce 8

Plus en détail

Dynamique du point matériel

Dynamique du point matériel Chaptre III Dynaqe d pont atérel I Généraltés La cnéatqe a por objet l étde des oveents des corps en foncton d teps, sans tenr copte des cases q les provoqent La dynaqe est la scence q étde (o déterne)

Plus en détail

Rapport de stage de fin de première année : exemples de groupes, leur traitement par MAGMA, et applications en cryptographie

Rapport de stage de fin de première année : exemples de groupes, leur traitement par MAGMA, et applications en cryptographie Rapport de stage de fin de première année : exemples de groupes, leur traitement par MAGMA, et applications en cryptographie Encadré par Guénaël Renault Tristan Vaccon juin 2009-juillet 2009 Table des

Plus en détail

Le théorème de Thalès et sa réciproque

Le théorème de Thalès et sa réciproque Le théorème de Thalès et sa réciproque I) Agrandissement et Réduction d une figure 1) Définition : Lorsque toutes les longueurs d une figure F sont multipliées par un même nombre k on obtient une autre

Plus en détail

Pour plus d'informations, veuillez nous contacter au 04.75.05.52.62. ou à contact@arclim.fr.

Pour plus d'informations, veuillez nous contacter au 04.75.05.52.62. ou à contact@arclim.fr. Régulaton Sondes & Capteurs Détente frgo électronque Supervson & GTC Humdfcaton & Déshu. Vannes & Servomoteurs Comptage eau, elec., énerge Ancens artcles Cette documentaton provent du ste www.arclm.eu

Plus en détail

Triangle de Pascal dans Z/pZ avec p premier

Triangle de Pascal dans Z/pZ avec p premier Triangle de Pascal dans Z/pZ avec p premier Vincent Lefèvre (Lycée P. de Fermat, Toulouse) 1990, 1991 1 Introduction Nous allons étudier des propriétés du triangle de Pascal dans Z/pZ, p étant un nombre

Plus en détail

LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régime») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF

LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régime») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF 1 LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régme») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF AVIS AUX RETRAITÉS ET AUX PARTICIPANTS AVEC DROITS ACQUIS DIFFÉRÉS Expédteurs

Plus en détail

VIELLE Marc. CEA-IDEI Janvier 1998. 1 La nomenclature retenue 3. 2 Vue d ensemble du modèle 4

VIELLE Marc. CEA-IDEI Janvier 1998. 1 La nomenclature retenue 3. 2 Vue d ensemble du modèle 4 GEMINI-E3 XL France Un outl destné à l étude des mpacts ndustrels de poltques énergétques et envronnementales VIELLE Marc CEA-IDEI Janver 1998 I LA STRUCTURE DU MODELE GEMINI-E3 XL FRANCE 3 1 La nomenclature

Plus en détail

Gestion des Clés Publiques (PKI)

Gestion des Clés Publiques (PKI) Chapitre 3 Gestion des Clés Publiques (PKI) L infrastructure de gestion de clés publiques (PKI : Public Key Infrastructure) représente l ensemble des moyens matériels et logiciels assurant la gestion des

Plus en détail

En vue de l'obtention du. Présentée et soutenue par Meva DODO Le 06 novembre 2008

En vue de l'obtention du. Présentée et soutenue par Meva DODO Le 06 novembre 2008 THÈSE En vue de l'obtenton du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délvré par l'unversté Toulouse III - Paul Sabater Spécalté : Informatque Présentée et soutenue par Meva DODO Le 06 novembre 2008 Ttre

Plus en détail

Faire des régimes TNS les laboratoires de la protection sociale de demain appelle des évolutions à deux niveaux :

Faire des régimes TNS les laboratoires de la protection sociale de demain appelle des évolutions à deux niveaux : Réformer en profondeur la protecton socale des TNS pour la rendre plus effcace Résumé de notre proposton : Fare des régmes TNS les laboratores de la protecton socale de deman appelle des évolutons à deux

Plus en détail

Qualité de service 7. Ordonnanceurs de paquets. Contexte. Intégration de services. Plan. Multiplexage. FIFO/DropTail. Priorités

Qualité de service 7. Ordonnanceurs de paquets. Contexte. Intégration de services. Plan. Multiplexage. FIFO/DropTail. Priorités NE52 éseaux avancés Qualté de servce hrstophe Deleuze ESISA/INPG LIS 7 déc 24/3 jan 25 ontexte commutaton de crcuts partage statque solaton complète ex : vox gaspllage de la bande passante commutaton de

Plus en détail

CONSERVATOIRE NATIONAL DES ARTS ET METIERS

CONSERVATOIRE NATIONAL DES ARTS ET METIERS ONSEVAOIE NAIONAL DES AS E MEIES ELEONIQUE ANALOGIQUE PH / ELE 4 / DU GEII ere année ------------------------- ------------------------- Dder LE UYE / Perre POVEN Janer ABLE DES MAIEES APPELS D ELEOINEIQUE...5.

Plus en détail

Paquets. Paquets nationaux 1. Paquets internationaux 11

Paquets. Paquets nationaux 1. Paquets internationaux 11 Paquets Paquets natonaux 1 Paquets nternatonaux 11 Paquets natonaux Servces & optons 1 Créaton 3 1. Dmensons, pods & épasseurs 3 2. Présentaton des paquets 4 2.1. Face avant du paquet 4 2.2. Comment obtenr

Plus en détail

CRYPTOGRAPHIE. Signature électronique. E. Bresson. Emmanuel.Bresson@sgdn.gouv.fr. SGDN/DCSSI Laboratoire de cryptographie

CRYPTOGRAPHIE. Signature électronique. E. Bresson. Emmanuel.Bresson@sgdn.gouv.fr. SGDN/DCSSI Laboratoire de cryptographie CRYPTOGRAPHIE Signature électronique E. Bresson SGDN/DCSSI Laboratoire de cryptographie Emmanuel.Bresson@sgdn.gouv.fr I. SIGNATURE ÉLECTRONIQUE I.1. GÉNÉRALITÉS Organisation de la section «GÉNÉRALITÉS»

Plus en détail

LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50. Année 2004-2005 MODÉLISATION. Recherche des paramètres d'une représentation analytique J.P.

LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50. Année 2004-2005 MODÉLISATION. Recherche des paramètres d'une représentation analytique J.P. LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50 Année 004-005 MODÉLISATION Recherche des paramètres d'une représentaton analytque JP DUBÈS 3 MODÉLISATION Recherche des paramètres d'une représentaton analytque

Plus en détail

I. Présentation générale des méthodes d estimation des projets de type «unité industrielle»

I. Présentation générale des méthodes d estimation des projets de type «unité industrielle» Evaluaton des projets et estmaton des coûts Le budget d un projet est un élément mportant dans l étude d un projet pusque les résultats économques auront un mpact sur la réalsaton ou non et sur la concepton

Plus en détail

Système solaire combiné Estimation des besoins énergétiques

Système solaire combiné Estimation des besoins énergétiques Revue des Energes Renouvelables ICRESD-07 Tlemcen (007) 109 114 Système solare combné Estmaton des besons énergétques R. Kharch 1, B. Benyoucef et M. Belhamel 1 1 Centre de Développement des Energes Renouvelables

Plus en détail

GENESIS - Generalized System for Imputation Simulations (Système généralisé pour simuler l imputation)

GENESIS - Generalized System for Imputation Simulations (Système généralisé pour simuler l imputation) GENESS - Generalzed System for mputaton Smulatons (Système généralsé pour smuler l mputaton) GENESS est un système qu permet d exécuter des smulatons en présence d mputaton. L utlsateur fournt un ensemble

Plus en détail

UNE ETUDE ECONOMÉTRIQUE DU NOMBRE D ACCIDENTS

UNE ETUDE ECONOMÉTRIQUE DU NOMBRE D ACCIDENTS BRUSSELS ECONOMIC REVIEW - CAHIERS ECONOMIQUES DE BRUXELLES VOL. 49 - N 2 SUMMER 2006 UNE ETUDE ECONOMÉTRIQUE DU NOMBRE D ACCIDENTS DANS LE SECTEUR DE L ASSURANCE AUTOMOBILE* MARÍA DEL CARMEN MELGAR**

Plus en détail

METHODE AUTOMATIQUE POUR CORRIGER LA VARIATION LINGUISTIQUE LORS DE L INTERROGATION DE DOCUMENTS XML DE STRUCTURES HETEROGENES

METHODE AUTOMATIQUE POUR CORRIGER LA VARIATION LINGUISTIQUE LORS DE L INTERROGATION DE DOCUMENTS XML DE STRUCTURES HETEROGENES METHODE AUTOMATIQUE POUR CORRIGER LA VARIATION LINGUISTIQUE LORS DE L INTERROGATION DE DOCUMENTS XML DE STRUCTURES HETEROGENES Ourda Boudghaghen(*),Mohand Boughanem(**) yugo_doudou@yahoo.fr, bougha@rt.fr

Plus en détail

Documents de travail. «La taxe Tobin : une synthèse des travaux basés sur la théorie des jeux et l économétrie» Auteurs

Documents de travail. «La taxe Tobin : une synthèse des travaux basés sur la théorie des jeux et l économétrie» Auteurs Documents de traval «La taxe Tobn : une synthèse des travaux basés sur la théore des jeux et l économétre» Auteurs Francs Bsmans, Olver Damette Document de Traval n 2012-09 Jullet 2012 Faculté des scences

Plus en détail

Des solutions globales fi ables et innovantes. www.calyon.com

Des solutions globales fi ables et innovantes. www.calyon.com Des solutons globales f ables et nnovantes www.calyon.com OPTIM Internet: un outl smple et performant Suv de vos comptes Tratement de vos opératons bancares Accès à un servce de reportng complet Une nterface

Plus en détail

La Quantification du Risque Opérationnel des Institutions Bancaires

La Quantification du Risque Opérationnel des Institutions Bancaires HEC Montréal Afflée à l Unversté de Montréal La Quantfcaton du Rsque Opératonnel des Insttutons Bancares par Hela Dahen Département Fnance Thèse présentée à la Faculté des études supéreures en vue d obtenton

Plus en détail

Séparation de Sources par lissage cepstral des masques binaires

Séparation de Sources par lissage cepstral des masques binaires Séparaton de Sources par lssage cepstral des masques bnares Ibrahm Mssaou 1 Zed Lachr 1, 2 (1) École natonale d ngéneurs de Tuns, ENIT, BP. 37 Le Belvedere, 1002 Tuns, Tunse (2) Insttut natonal des scences

Plus en détail

UNIVERSITÉ DU QUÉBEC À MONTRÉAL L ASSURANCE AUTOMOBILE AU QUÉBEC : UNE PRIME SELON LE COÛT SOCIAL MARGINAL MÉMOIRE PRÉSENTÉ COMME EXIGENCE PARTIELLE

UNIVERSITÉ DU QUÉBEC À MONTRÉAL L ASSURANCE AUTOMOBILE AU QUÉBEC : UNE PRIME SELON LE COÛT SOCIAL MARGINAL MÉMOIRE PRÉSENTÉ COMME EXIGENCE PARTIELLE UNIVERSITÉ DU QUÉBEC À MONTRÉAL L ASSURANCE AUTOMOBILE AU QUÉBEC : UNE PRIME SELON LE COÛT SOCIAL MARGINAL MÉMOIRE PRÉSENTÉ COMME EXIGENCE PARTIELLE DE LA MAÎTRISE EN ÉCONOMIQUE PAR ERIC LÉVESQUE JANVIER

Plus en détail

Calculs des convertisseurs en l'electronique de Puissance

Calculs des convertisseurs en l'electronique de Puissance Calculs des conertsseurs en l'electronque de Pussance Projet : PROGRAMMAON ate : 14 arl Auteur : herry EQUEU. EQUEU 1, rue Jules Massenet 37 OURS el 47 5 93 64 herry EQUEU Jun [V37] Fcher : ESGN.OC Calculs

Plus en détail

Pour l épreuve d algèbre, les calculatrices sont interdites.

Pour l épreuve d algèbre, les calculatrices sont interdites. Les pages qui suivent comportent, à titre d exemples, les questions d algèbre depuis juillet 003 jusqu à juillet 015, avec leurs solutions. Pour l épreuve d algèbre, les calculatrices sont interdites.

Plus en détail

Mes Objectifs. De, par, avec Sandrine le Métayer Lumières de Philippe Férat. spectacle produit par la Cie DORE

Mes Objectifs. De, par, avec Sandrine le Métayer Lumières de Philippe Férat. spectacle produit par la Cie DORE Me Objectf De, par, avec Sandrne le Métayer Lumère de Phlppe Férat pectacle produt par la Ce DORE t j Me objectf numéro prx du Jury aux Gradn du rque (Le Hvernale/ Avgnon) p l e t t a r d, p Sandrne le

Plus en détail

LE PRINCIPE DU RAISONNEMENT PAR RÉCURRENCE

LE PRINCIPE DU RAISONNEMENT PAR RÉCURRENCE LE PRINCIPE DU RAISONNEMENT PAR RÉCURRENCE. Exemple troductf (Les élèves qu coasset déà be le prcpe peuvet sauter ce paragraphe) Cosdéros la sute (u ), défe pour tout, par : u u u 0 0 Cette sute est défe

Plus en détail

GATE Groupe d Analyse et de Théorie Économique DOCUMENTS DE TRAVAIL - WORKING PAPERS W.P. 08-24. Préférences temporelles et recherche d emploi

GATE Groupe d Analyse et de Théorie Économique DOCUMENTS DE TRAVAIL - WORKING PAPERS W.P. 08-24. Préférences temporelles et recherche d emploi GATE Groupe d Analyse et de Théore Économque UMR 5824 du CNRS DOCUMENTS DE TRAVAIL - WORKING PAPERS W.P. 08-24 Préférences temporelles et recherche d emplo «Applcatons économétrques sur le panel Européen

Plus en détail

Bibliothèque thermodynamique des logiciels ProSim

Bibliothèque thermodynamique des logiciels ProSim Bblthèque thermdynamque des lgcels PrSm La mdélsatn d un système physque repse sur la cnnassance d'un certan nmbre de prprétés de crps purs et de bnares. Ces prprétés servent de base à la détermnatn des

Plus en détail