Applications de la théorie de la décision statistique à l évaluation de la sécurité de stégosystèmes

Documents pareils
La voix en images : comment l évaluation objectivée par logiciel permet d optimiser la prise en charge vocale

Système de diffusion d information pour encourager les PME-PMI à améliorer leurs performances environnementales

Budget Constrained Resource Allocation for Non-Deterministic Workflows on a IaaS Cloud

statique J. Bertrand To cite this version: HAL Id: jpa

Dessin assisté par ordinateur en lycée professionnel

Sur le grossissement des divers appareils pour la mesure des angles par la réflexion d un faisceau lumineux sur un miroir mobile

Program Analysis and Transformation: From the Polytope Model to Formal Languages

Compte-rendu de Hamma B., La préposition en français

L indice de SEN, outil de mesure de l équité des systèmes éducatifs. Une comparaison à l échelle européenne

Les intermédiaires privés dans les finances royales espagnoles sous Philippe V et Ferdinand VI

Jean-Luc Archimbaud. Sensibilisation à la sécurité informatique.

AGROBASE : un système de gestion de données expérimentales

Notes de lecture : Dan SPERBER & Deirdre WILSON, La pertinence

Peut-on perdre sa dignité?

Les Champs Magnétiques

Étude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire

Comptabilité à base d activités (ABC) et activités informatiques : une contribution à l amélioration des processus informatiques d une banque

Sylvain Meille. Étude du comportement mécanique du plâtre pris en relation avec sa microstructure.

MATHS FINANCIERES. Projet OMEGA

Famille continue de courbes terminales du spiral réglant pouvant être construites par points et par tangentes

Un SIG collaboratif pour la recherche historique Partie. Partie 1 : Naissance et conception d un système d information géo-historique collaboratif.

La complémentaire santé : une généralisation qui

Les déterminants du volume d aide professionnelle pour. reste-à-charge

Sur la transformation de l électricité statique en électricité dynamique

Adaptation et cloud computing : un besoin dabstraction pour une gestion transverse

Un exemple spécifique de collaboration : Le produit-partage

Calculer les coûts ou bénéfices de pratiques sylvicoles favorables à la biodiversité : comment procéder?

Jessica Dubois. To cite this version: HAL Id: jpa

e-science : perspectives et opportunités pour de nouvelles pratiques de la recherche en informatique et mathématiques appliquées

Modèle d évaluation quantitative des risques liés au transport routier de marchandises dangereuses

LES CLAUSES DES CONTRATS DE DETTE DES PETITES ENTREPRISES : CAS DES ENTREPRISES CANADIENNES

LIVRAISON DE COLIS ET LOGISTIQUE URBAINE : QUELLES RECOMPOSITIONS DE LA MESSAGERIE EN MILIEU URBAIN?

Réseaux sociaux virtuels et création de valeur

UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4140

Perspectives du développement de l énergie solaire en U.R.S.S. : conversion thermodynamique en électricité

Protection de la vie privée basée sur des ontologies dans un système Android

Les liaisons intermoléculaires de l eau étudiées dans

Probabilités III Introduction à l évaluation d options

Compression Compression par dictionnaires

curité du patient 19 mai 2009 Aurore MAYEUX Guy CLYNCK LIE

LA CONJONCTION MÊME SI N EXISTE PAS!

AICp. Vincent Vandewalle. To cite this version: HAL Id: inria

Contrôle d Admission Basé sur un Plan de Connaissance

La diversification de la mise en valeur traditionnelle des bas-fonds en zone de savane humide du Togo et les conséquences sur l environnement

INTELLIGIBILITÉ DE LA PAROLE EN CHAMBRE SOURDE - INFLUENCE DU DIFFUSEUR

P h i l h a r m o n i s

Le modèle de Black et Scholes

HAL-Pasteur. La plate-forme d archive ouverte de l Institut Pasteur. Formation au dépôt d articles.

Les taxis piégés par communes

Ateliers L A TEX L A TEX portable ou

Technique RSR /DCo

La communication sociétale : entre opportunités et risques d opportunisme

PROGRAMMATION MOTRICE ET STRATÉGIES COGNITIVES DANS UNE TÂCHE DE SYNCHRONISATION

ISAN System: 5 Œuvre à épisodes ou en plusieurs parties

Lot 4: Validation industrielle. Youness LEMRABET Pascal YIM, 19/11/2010

La vidéosurveillance à l école : du maintien de l ordre à l autodiscipline

SYSTEMES LINEAIRES DU PREMIER ORDRE

l Agence Qui sommes nous?

Automatisation. Industrialisation des tests

L'important C'est la rose

Condition inf-sup pour l Elément Fini de Taylor-Hood È ¾ -iso-è ½

La régulation du réseau Internet

PLANIFICATION ET BUDGÉTISATION

MODELE A CORRECTION D ERREUR ET APPLICATIONS

Coûts, avantages et inconvénients des différents moyens de paiement

DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris.


Analyser les réseaux avec R (packages statnet, igraph et tnet)

ISAN System: 3 Création d un V-ISAN

Un exemple d étude de cas

PeTEX Plateforme pour e-learning et expérimentation télémétrique

Etudier l informatique

Etude des convertisseurs statiques continu-continu à résonance, modélisation dynamique

Scroll down for the full contact details of these training centres.

Comment régler un litige avec son vendeur de produits financiers?

Bourses d excellence pour les masters orientés vers la recherche

Introduction au pricing d option en finance

Décomposition de Föllmer-Schweizer. explicite d un passif d assurance vie. au moyen du calcul de Malliavin

Notice d'exploitation

Swap: Utilisation et risques Approche de gestion pour les consommateurs

ADJOINT TECHNIQUE PROTHESISTE DENTAIRE Interne AIX MARSEILLE 2 AIX-MARSEILLE UNIVERSITE AIX MARSEILLE 2

Services à la recherche: Data Management et HPC *

La Relation Client : Quand l Analyse du Discours rencontre le Marketing

CCP PSI Mathématiques 1 : un corrigé

RAPID Prenez le contrôle sur vos données

ALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII

Examen de Guide de palanquée ANMP

COURS GRATUITS. A- Approche de quelques fonctions du tableau de bord et leur signification respective

2. Quelle est la valeur de la prime de l option américaine correspondante? Utilisez pour cela la technique dite de remontée de l arbre.

Méthode : On raisonnera tjs graphiquement avec 2 biens.

Chapitre 3: TESTS DE SPECIFICATION

Présentation des autres éléments du résultat global

La santé de votre entreprise mérite notre protection.

Prenez le train de l évolution maintenant pour gérer le stress des réseaux de demain

Gestion Electronique de Document (ECM/GED)

Le libre parcours moyen des électrons de conductibilité. des électrons photoélectriques mesuré au moyen de la méthode des couches minces. J. Phys.

S il existe, le numéro d identification à la TVA (TVA ID) délivré par le pays de résidence ainsi que la documentation justificative correspondante

Travail émotionnel et soins infirmiers

Transcription:

Applications de la théorie de la décision statistique à l évaluation de la sécurité de stégosystèmes Rémi Cogranne, Cathel Zitzmann, Florent Retraint, Lionel Fillatre, Igor Nikiforov To cite this version: Rémi Cogranne, Cathel Zitzmann, Florent Retraint, Lionel Fillatre, Igor Nikiforov. Applications de la théorie de la décision statistique à l évaluation de la sécurité de stégosystèmes. 2012. <hal-00691452> HAL Id: hal-00691452 https://hal.archives-ouvertes.fr/hal-00691452 Submitted on 26 Apr 2012 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

t s t é r é s st t st q à é t sé r té sté s2stè s é r t t3 r t tr t tr t r r rs té t r 2 s r r r P r 2 s és é s t 1t ér t ss t r t s st t r sté 2st s s r r s r s r r s q st r t tt r ét t r tr ôté st ss t r s sté r s s s r r s r r ss r t ss t t sé r sé t rés t r st tr r térêt t é r é s st t st q r sté r t sté 2s r 2 P rs st t sé r t st s ss t r ét t r t s é s r rr s t s s t ±1 s r r s st t st q s t st s t 2t q t ét s t s t s t t sé s r r s r ét s r té s rt s é sté r è ré s s s t r s st 1 té r ttr r t q t st t rt st s é s r s st t é s s 2 r s st st t st q 2 t ès s ét t t r s t té s r sé r té è tr t sté r t sté 2s s t 1 t t s r s ôté sté r s t r s r t s s é ér q r t tr ôté sté 2st 2s s é s é r r t t r ét t r rés r t s é s t t r rt t t s sé t t s sté r st à rté t s st r r s r s sé r té s s r t sté 2s s ss r té st rs r s r t st t s r tés rr rs s t 2t q t s r t r r té rr r r s r t t r r ss ét t t st r t té ôté tr été é r t r r tr rs r r Pr t

sté r r té st r s r r r r t s ss s é t t rés r t sé r té é r s s ét s ét t r t s é s t été r sé s s ttér t r r t t s à 1 t s ét s r sé s s s rés t ts t s t é ér t s t ét st t st q st ss é r rs r r s q tr rs s t s ér q s tr s rés t t t é r q s r té s rt é r r rré té sté r q q st t 1 t r t q rés t rt r ét r sé s s é s rt r rr s r s é ±1 t t st s ss t st é t s s r r s s t 2t q t ét s ss t st st t sé r s r r té s rt s é ér q s s tr t r sq t è té 1 s t r s st t sé r ttr r t q t st r sé s r s tr t s rs s t r t té r t ss tt t st s r té s rt é ss é à sé r té t t t st r t q é é s r s s s r s t r è sté 2s s s q t r C = c 1,...,c N ) T r rés t é r t r st t é N é t s és b ts s s rs q t é s st té Z = {0;...;2 b 1} r c n n è é t rés t q t t c n = Q θ n +ξ n ), ù r ét r st θ n R r rés t s ér t é t q c n t s ξ n N0,σ n ) st ré s t r é t r r rés t t s s r ts q s t t Q ) r rés t q t t r r s é r é t s é è s s t r t r k Z, Q x) = k x [ k 1 /2); k + 1 /2)[. str t c n té P θn = {p θn [k]} k Z st é r ) k Z, p θn [k] = 1 k+ 1 ) 2 x θn ) φ dx = x θn φ )+o 2 ). σ n σ n σ n σ n k 1 2 ù φu)= 1 2π exp[ u2 2 ] st s té r té r N0,1) é s r st t st q t t s rt r t s r s s s s 1 ss rt s s t s s t s s s t t sé s s ts ss 0 1 s t éq r s t r té s rt s s é t s c n st t q sté r s t sér r ss st t é L ts σ 2 n

t 1 s rt R = L /N rès s rt ss r rr s r té é S st é r Q ± θ n;r = { q ± θ n;r [k] } q ± θ n;r [k] = 1 R 2 ) p θn [k]+ R 4 p θ n [k +1]+p θn [k 1]). k Z rs 2s é Z t r t sté 2s st é r tr s 1 2 t ès s s s s t s H 0 = {z n P θn, n = 1...,N} s H 1 = {z n Q ± θ n;r, n = 1...,N}. s t 1t ér t t st tr r t st st t st q δ:z N {H 0 ;H 1 } rt t à ss K α0 s t sts t r té ss r st ré r α 0 r r s r t s K α0 = {δ : P H0 [δz) = H 1 ] α 0 } t ss β δ Z) st r té ét t ss é β δ Z) = P H1 δz) = H 1 ) t sté r st t r t 1 s r ss β δ Z) t s ss r é t r r rt à R st s ss t r sté 2s rsq t 1 s rt R s q r n {1,...,N} s r ètr s θ n t σ n s t s sté 2st 2 P rs r t é rè s q t str r t st s ss t PP ss K α0 P r rés r r è t st PP st é r N N q ± H 0 s lnλ ± R z θ n) = ln [z ) n;r n] < τ α0 δ ± R = p i=1 n=1 θn [z n ] N N q ± H 1 s lnλ ± R z θ n) = ln [z ) n;r n] τ α0, i=1 [ ù lnλ ± R z n) =log exp k θn σ 2 n n=1 ) +exp θn k σ 2 n p θn [z n ] )]) 1 2σn 2 log4), t τ α0 st s t éq t P H0 [Λ R Z) τ α0 ] = α 0 r tér s r s r r s t st δ ± R st s s P r rés r r è st r sé t s r t é rè t tr r t é rè s r r s2 t t q q s s r tt t rs tr r q r t t R ]0;1] s é s τ α0 st s2 t t q t é rsq N r τ α0 = σ ± 0 Φ 1 1 α 0 )+µ ± 0 N, µ ± 0 t σ± 0 r s t t µ± R t σ± R s 1 r rs ts r rt r s lnλ ± R z n) s s 2 t ès H 0 r s t t s s

2 t ès t r t H 1 R ]0;1] ê ç ss t st δ ± R K α 0 st s2 t t q t ) σ 0 ± β δ ± = 1 Φ Φ 1 1 α 0 )+µ ± 0 µ± R ) N R σ ±. R 1 r ss ss t st PP δ ± R st t rés t t r t t r t s r é sé sq s r ètr s θ n σ n t R s t s sés s r ss q st r t tt r t st r ét t r t s é s tr t s s β δ ± t r s é s τ α0 s t r R r rré té sté r q t s q r s tr r rt r s Λ ± R t é s r s s st t t r t r r té s é t r sé r rés t r è t r sé r té sté s2stè t sté r t ss t st PP δ ± R r t s r r té s rt s s tr t r s t sé r té é t s ré r s tt t té t té s rt é à rs r P r t t α 0,β ) 0 < α 0 < β < 1 té s rt é Z à rs r s s t t st δ st é r L max 1 ts r t s ss s Z t t ss r t sé r té sté r s s ù t st δ ér α δ α 0 β δ β 1 r ss t ss β ± δ R ss é t st ss t δ ± R r t ét r t s t t q σ± 0 σ± R σ± 1 r s t Pr s t P r t t α0,β ), 0 < α0 < β < 1 q q s t r sq t r sté r ré L ré r L L ± = σ± 1 N Φ 1 µ ± 1 µ± 0 ) 1 α0) Φ 1 1 β ) ) ss r q ss t st δ ± R PP s ss K α 0 ér β± δ R = β r s t r r s ér r L ± ss r t q s rt r L L ± ts r t s r t à sté r q t st s ss t K α 0 t t t st t r ss s ér r à β és t ts ér q s r st t st q r sé s t rt été q é s t t rés t ts s t s s t q s r t très r t

ss βα0) ss βα0) ét t r ét t r t st δ ± ss r α 0 r s t s r R = 1 ét t r ét t r t st δ ± ss r α 0 r s t s r R = 0.5 r r s βα 0 ) rés t t r r s ét t rs tés ±1 s r s R=1 t R=0.5 ét t rt s r ét t r t s é s r rr s st r sté s ét é 1 té s ét s r s t s r r t ss s r sé ét s q s t s s t 1t ér t s é s s s ét s ét t té à rr s r s t s r 2s s t s st r ré s r s rt r t s ss été s str r rt ét r t s rés t ts t s 1 s s ré ts ét t rs r sés s ttér t r t s r r s s t é é s q r q t ét st t st q 2 t été é r t q s r ètr s θ n t σ n s t s s sté 2st r s st r è é r t s st t sé s st t s s t t sés s r rt r s Λ ± R z n) s r r s s ét t rs s t stré s r q t s s r r s r r r s R = 1 t r r r s R = 0.5 s r s tr t q t st st t st q r sé δ ± r ss ét t s ér r 1 1 ét t rs r s t 1 s rt R = 0.5 ér ss st é èr t r r R = 1 s s t rs t s s r ét r sé s st q é s s ét t r t s é s r rr s ±1 t st s ss t st s r r t s ç s r é sé ù s r ètr s é r t é ér q s t s s r r s

t st s t 2t q t 1 té s q r t rt r s r r s r ss q st r t tt r t tr rt s r r té s rt é r t ss t sé r té ré é è ré s s s t r s st t sé r ttr r t q t st t s r r s s r t très r t ét t rt s é ér s ö t t st t 2s s r r P s 2 r r t st t st r r t r 2st tt ts 3 ss r tr t tr t3 ét t t r t é s é t t s s r r t3 tr r tr t r P r r r st 2s s r t r r 2 r t3 tr r tr t r P t t r t s r t t st Pr ss Pr r s r t3 tr tr t r r P t t st s 2 s q t 3 s r t s t r t 2 s r t r2 st r r s r t t t t st s t t Pr ss r s t s t r r t r 2 t Pr s r t s t s r rs t2 Pr ss st t r t 2s s s t r 2s s Pr ss t t rs r t2 r s t r t st r 2 Pr ss tt rs st t t st 2 t s s t r r r 1 rr t 2s s r s t s t r q 2 s t Pr ss P t r s t t3 r tr t r tr r P t t st s t s r t t t r t r r 2