VETO 08. Modélisation formelle d'une architecture pour le vote électronique J. P. Gibson, E. Lallet, J-L. Raffy
|
|
- Marie-Dominique Latour
- il y a 8 ans
- Total affichages :
Transcription
1 VETO 8 Modélisation formelle d'une architecture pour le vote électronique J. P. Gibson, E. Lallet, J-L. Raffy
2 Hypothèses (1) Le vote s effectue dans des endroits dédiés (appelés kiosques) Les isoloirs sont synchronisés par des horloges à temps global (u,s) précision u : à tout instant absolu, les heures affichées par 2 horloges quelconques ne sont pas distantes de plus de u. exactitude s : à tout instant absolu, l écart entre une horloge quelconque et une référence commune (extérieure) est au plus égal à s. 2
3 Hypothèses (2) Les machines sont sûres de fonctionnement Leur mode de défaillanceest de type systèmes à silence sur défaillance => on s intéresse aux seulsproblèmes réseau 3
4 Estelle Technique de description formelle [ISO/IEC ISO 974:1997] Champ d application : Protocoles de communications Systèmes distribués Outils de développement industriel XEDT 4
5 Estelle principaux concepts (1) Architecture un ensemble de modules génériques, hierarchisés, communicants à l aide de liens de communications Communication échange de messages partage restreint de variables 5
6 Estelle principaux concepts (2) Comportement exécution parallèle synchrone exécution non déterministe Comportement interne d une instance de module actif attribué automate à états finis étendu Pas de preuve formelle - Simulation 6
7 7 Architecture générique KIOSQUE urne Urne locale liste locale d émargement Isoloir Liste locale d électeurs R o u t e u r R E S E A U Liste d électeurs options de vote liste d émargement options de vote locales urne globale
8 8 Scénarios VoteAnyWhere BD centralisées VoteAnyWhere BD partiellement réparties VoteAnyWhere BD locales VoteAnyWhere + ReVote BD partiellement réparties VoteAnyWhere + ReVote BD locales
9 Paramètres de simulation (1) Gestion du temps identification (min,max) choix (min, max) entrée dans l isoloir (min, max) arrivée des électeurs (fréquence observée)[ref] temps de transmission (loi probabilistique) Incidents réseau date de début durée 9
10 1 Paramètres de simulation (2) Nbre de kiosques (par défaut = 2) Nbre d isoloirs (par défaut = 3) Nbre d électeurs/kiosque (par défaut = 1) % d abstentions % de non locaux (VoteAnyWhere) % de tentatives de re-vote
11 11 Architecture VoteAnyWhere BD centralisées KIOSQUE Isoloir R o u t e u r R E S E A U Liste d électeurs options de vote liste d émargement urne globale
12 VoteAnyWhere BD centralisées Problème Il n existe pas, à notre connaissance, de protocole robuste en cas de défaillances de sites multiples Solutions Stocker les bulletins de vote en local Avoir sur un même site la liste d émargement et l urne et assurer l étanchéité à l aide du cryptage (pas compatible avec les normes et recommandations) 12
13 13 Principe avec un seul site mon choix djrghya cmpenocqez Liste d émargement djrghya cmpenocqez URNE
14 Solution retenue pour la simulation Les bulletins de vote sont stockés dans une urne locale A la fin du scrutin, les bulletins sont envoyés vers l urne globale On ne tient pas compte des temps de transmission en dehors des incidents réseau. Simulation avec liste d émargement - BD partiellement réparties sans liste d émargement (revote autorisé) - BD partiellement réparties - BD réparties 14
15 15 EFSM de l isoloir (1)
16 16 EFSM de l isoloir (2)
17 17 Architecture VoteAnyWhere BD partiellement réparties KIOSQUE urne Urne locale Liste d électeurs Isoloir Liste locale d électeurs R o u t e u r R E S E A U options de vote liste d émargement options de vote locales urne globale
18 18 Principe du re-vote (1) mon choix djrghya cmpenocqez mon nouveau choix djrghya cmpenocqez N fois pendant la durée du scrutin URNE
19 19 Principe du re-vote (2) djrghya cmpenocqez djrghya cmpenocqez Après la fermeture du scrutin : On élimine toutes les enveloppes ayant la même signature à l exception de la dernière (en fonction du timestamp) On récupère l enveloppe contenant le vote djrghya cmpenocqez Processus de comptage
20 2 Architecture VoteAnyWhere + Re-vote BD partiellement réparties KIOSQUE urne Urne locale Liste d électeurs Isoloir Liste locale d électeurs R o u t e u r R E S E A U options de vote options de vote locales urne globale
21 21 Architecture VoteAnyWhere + Re-vote BD locales - réseau non fiable KIOSQUE urne Urne locale Isoloir Liste d électeurs R o u t e u r R E S E A U urne globale options de vote
22 22 Simulation 1 (1) Fréquence d'arrivée des électeurs Temps min d'attente 22" 45" 42" Temps max d'attente " 8 19" Temps moyen d'attente 5 27" 2 35" 2 15" Temps médian d'attente 2 13" 2'9" 2 4" durées (en min) Défaillances réseau arrivée des défaillances Nbre de votants 1348 FILES D ATTENTE BUREAU 1 FILES D ATTENTE BUREAU 2 Nbre max d'électeurs dans le bureau de vote 1 Nbre max d'électeurs dans la file d'attente d'arrivée Nbre max d'électeurs dans la file d'attente à problème Nbre max d'électeurs dans le bureau de vote 2 Nbre max d'électeurs dans la file d'attente d'arrivée Nbre max d'électeurs dans la file d'attente à problème % de votants 67,4% Nbre de départs sans voter Dont locaux
23 23 Simulation 1 (évolution des files d attente) Sans défaillance réseau Défaillances réseau et émargement Défaillances réseau sans émargement BD partiellement réparties Défaillances réseau sans émargement BD locales
24 24 Simulation 1 (répartition des temps d attente)
25 25 Simulation 2 Fréquence d'arrivée des électeurs Temps min d'attente 23" 46" 45" Temps max d'attente " 9 48" Temps moyen d'attente 8 54" 3 5" 2 18" Temps médian d'attente 3 37" 2 16" 2 7" Défaillances Nbre max d'électeurs dans le bureau de vote FILES D ATTENTE BUREAU 1 Nbre max d'électeurs dans la file d'attente d'arrivée Nbre max d'électeurs dans la file d'attente à problème Arrivée des défaillances FILES D ATTENTE BUREAU 2 Nbre max d'électeurs dans le bureau de vote 2 Nbre max d'électeurs dans la file d'attente d'arrivée Nbre de votants 1348 Nbre max d'électeurs dans la file d'attente à problème 37 1 % de votants 67,4% Nbre de départs sans voter Dont locaux
26 26 Simulation 2 (évolution des files d attente) Sans défaillance réseau Défaillances réseau et émargement Défaillances réseau sans émargement BD partiellement réparties Défaillances réseau sans émargement BD locales
27 27 Simulation 2 (répartition des temps d attente)
28 28 Simulation 3 Fréquence d'arrivée des électeurs Temps min d'attente 23" 44" 45" Temps max d'attente " 8 11" Temps moyen d'attente 16 46" 3 33" 2 19" Temps médian d'attente 9 26" 2 15" 2 9" Défaillances Nbre max d'électeurs dans le bureau de vote Durée (en min) Arrivée des défaillances FILES D ATTENTE BUREAU 1 FILES D ATTENTE BUREAU 2 Nbre max d'électeurs dans la file d'attente d'arrivée Nbre max d'électeurs dans la file d'attente à problème Nbre max d'électeurs dans le bureau de vote 2 Nbre max d'électeurs dans la file d'attente d'arrivée Nbre de votants 1348 Nbre max d'électeurs dans la file d'attente à problème 65 1 % de votants 67,4% Nbre de départs sans voter Dont locaux
29 29 Simulation 3 (évolution des files d attente) Sans défaillance réseau Défaillances réseau et émargement Défaillances réseau sans émargement BD partiellement réparties Défaillances réseau sans émargement BD locales
30 3 Simulation 3 (répartition des temps d attente)
31 31 QUESTIONS?
32 32 Gestion de l arrivée des électeurs KIOSQUE ROUTEUR KIOSQUE ROUTEUR Isoloir Isoloir Isoloir Isoloir Isoloir Isoloir Gestion électeurs
33 33 Fréquence type d arrivée (bureaux de vote ouverts de 8h à 2h) Fréquence d'arrivée des électeurs [retour]
Vote par Internet : quel avenir?
Journée de la sécurité des systèmes d information du 22 mai 2008 Proposition d intervention Thème général : anonymat, vie privée et gestion d'identité Vote par Internet : quel avenir? Le 22 mai 2008 Benoit
Plus en détailGUIDE DE SENSIBILISATION DES ELECTEURS
1 République de Guinée Commission Electorale Nationale Indépendante GUIDE DE SENSIBILISATION DES ELECTEURS Election Présidentielle, octobre 2015 Conakry, Août 2015 1 2 Introduction Les organisations de
Plus en détailLe présent document a pour objet de définir les modalités d organisation de l élection des délégués du personnel (ou du C E) de
Le présent document a pour objet de définir les modalités d organisation de l élection des délégués du personnel (ou du C E) de Article 1 er : Effectif de l entreprise Nombre de sièges à pourvoir L effectif
Plus en détailLe ministre de l intérieur et de l aménagement du territoire Le ministre de l outre-mer. Mesdames et Messieurs les maires
MINISTERE DE L INTERIEUR ET DE L AMENAGEMENT DU TERRITOIRE MINISTERE DE L OUTRE-MER Paris, le 10 mai 2007 Le ministre de l intérieur et de l aménagement du territoire Le ministre de l outre-mer à Mesdames
Plus en détailLa garde des sceaux, ministre de la justice,
Arrêté de la DPJJ du 17 décembre 2008 fixant la date et les modalités d organisation des élections des représentants du personnel au sein des commissions administratives paritaires instituées à la direction
Plus en détailService juridique CSFV
Service juridique LE CALENDRIER DES OPERATIONS ELECTORALES Les délais mentionnés dans cet exemple le sont à titre purement indicatif, dans le respect des minima et maxima imposés par le code du travail.
Plus en détailExemples d'observations relevées dans les procès-verbaux lors du premier tour.
Exemples d'observations relevées dans les procès-verbaux lors du premier tour. Certaines de ces observations sont très intéressantes, mais les commissions de recensement et les préfets les ont-ils vraiment
Plus en détailEditorial Les élections professionnelles
Editorial Les élections Les élections sont une étape importante dans la vie d une entreprise. Elles permettent en effet la mise en place des organes en charge de représenter le personnel de l entreprise.
Plus en détailÉlections municipales de 2014. Communes de moins de 1000 habitants
Élections municipales de 2014 Communes de moins de 1000 habitants Introduction présentation générale de la réforme Importantes modifications du code électoral introduites par la loi du 17 mai 2013 et son
Plus en détailLE PROTOCOLE D ACCORD PREELECTORAL (PAP)
LE PROTOCOLE D ACCORD PREELECTORAL (PAP) Le protocole d accord se négocie entre le chef d entreprise ou son représentant (dument mandaté à cet effet) et les organisations syndicales (OS) représentatives.
Plus en détailAgrégation de liens xdsl sur un réseau radio
Agrégation de liens xdsl sur un réseau radio Soutenance TX Suiveur: Stéphane Crozat Commanditaire: tetaneutral.net/laurent Guerby 1 02/02/212 Introduction 2 Introduction: schéma 3 Définition d un tunnel
Plus en détailTable des matières. Partie I CobiT et la gouvernance TI
Partie I CobiT et la gouvernance TI Chapitre 1 Présentation générale de CobiT....................... 3 Historique de CobiT....................................... 3 CobiT et la gouvernance TI.................................
Plus en détailProtocole d'accord préélectoral d'entreprise relatif aux élections des délégués du personnel d'e.on France Management
Protocole d'accord préélectoral d'entreprise relatif aux élections des délégués du personnel d'e.on France Management Entre : E.ON France Management dont le siège social est situé à Paris (75009), 5 rue
Plus en détailProjet Sécurité des SI
Projet Sécurité des SI «Groupe Défense» Auteurs Candide SA Diffusion: limitée Type de document Compte rendu Projet Sécurité Destinataires P. LATU Date 14/12/09 M2 STRI Version 1.2 Introduction Sous-traitance
Plus en détailINSTRUCTION PERMANENTE RELATIVE AUX MACHINES A VOTER. Le Ministre de l intérieur, de la sécurité intérieure et des libertés locales
INSTRUCTION PERMANENTE RELATIVE AUX MACHINES A VOTER Paris, le 26 mai 2004 Le Ministre de l intérieur, de la sécurité intérieure et des libertés locales à Mesdames et Messieurs les préfets et Mesdames
Plus en détailCompte rendu de la séance du 29 mars 2014
Compte rendu de la séance du 29 mars 2014 Secrétaire(s) de la séance: Laëtitia MICHON Ordre du jour: - Election du Maire - Détermination du nombre d'adjoint - Election du ou des adjoints Délibérations
Plus en détailSécurisation du centre de services au sein du cloud computing La stratégie de sécurité de BMC pour l environnement SaaS LIVRE BLANC
Sécurisation du centre de services au sein du cloud computing La stratégie de sécurité de BMC pour l environnement SaaS LIVRE BLANC TABLE OF C0NTENTS INTRODUCTION...............................................................
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailThalesflaytheon ys e PROTOCOLE D ACCORD PRE- ELECTORÂL. Elections 2013 des Membres du Comité d Entreprise et des Délégués du Personnel
Thalesflaytheon ys e s PROTOCOLE D ACCORD PRE- ELECTORÂL Elections 2013 des Membres du Comité d Entreprise et des Délégués du Personnel Entre: LA SOCIETE THALES RAYTHEON SYSTEMS COMPANY SAS d une part,
Plus en détailEléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)
Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances
Plus en détailArchitecture distribuée
Architecture distribuée Conception et développement d algorithmes distribués pour le moteur Baboukweb Jean-Christophe DALLEAU Département de Mathématiques et Informatique Université de La Réunion 26 juin
Plus en détailLa nouvelle planification de l échantillonnage
La nouvelle planification de l échantillonnage Pierre-Arnaud Pendoli Division Sondages Plan de la présentation Rappel sur le Recensement de la population (RP) en continu Description de la base de sondage
Plus en détailContributions à l expérimentation sur les systèmes distribués de grande taille
Contributions à l expérimentation sur les systèmes distribués de grande taille Lucas Nussbaum Soutenance de thèse 4 décembre 2008 Lucas Nussbaum Expérimentation sur les systèmes distribués 1 / 49 Contexte
Plus en détailRapport d activité. Village électoral dans le cadre des élections législatives du 30 avril 2011
Front des organisations de la société civile pour des élections libres, transparentes et pacifiques. Rapport d activité Village électoral dans le cadre des élections législatives du 30 avril 2011 COTONOU,
Plus en détailEDS. Efficiency Data Server TÉLÉGESTION
. Efficiency Data Server TÉLÉGESTION. Efficiency Data Server - Efficiency Data Server Gestion d énergie à distance Depuis plus de 35 ans, la société Circutor est spécialisée dans le développement et la
Plus en détailSystème global d Output Management
PLOSSYS netdome Système global d Output Management? Qu est ce que PLOSSYS netdome? PLOSSYS netdome est un système global d Output Management qui couvre l ensemble des besoins d impression et de diffusion
Plus en détailDiplôme de Comptabilité et de Gestion. D é c r e t N 2 0 0 6-1 7 0 6 d u 2 2 d é c e m b r e 2 0 0 6 - A r r ê t é d u 8 m a r s 2 0 1 0
Diplôme de Comptabilité et de Gestion DCG D é c r e t N 2 0 0 6-1 7 0 6 d u 2 2 d é c e m b r e 2 0 0 6 - A r r ê t é d u 8 m a r s 2 0 1 0 Validation des Acquis de l Expérience VAE R é f é r e n t i e
Plus en détailUniversité de La Rochelle. Réseaux TD n 6
Réseaux TD n 6 Rappels : Théorème de Nyquist (ligne non bruitée) : Dmax = 2H log 2 V Théorème de Shannon (ligne bruitée) : C = H log 2 (1+ S/B) Relation entre débit binaire et rapidité de modulation :
Plus en détail!-.!#- $'( 1&) &) (,' &*- %,!
0 $'( 1&) +&&/ ( &+&& &+&))&( -.#- 2& -.#- &) (,' %&,))& &)+&&) &- $ 3.#( %, (&&/ 0 ' Il existe plusieurs types de simulation de flux Statique ou dynamique Stochastique ou déterministe A événements discrets
Plus en détailVISIOPROD - un projet Endesa France. Gestion de la production électrique. Logiciel de supervision
VISIOPROD - un projet Endesa France Gestion de la production électrique Logiciel de supervision ENDESA est un opérateur global d'électricité et de gaz, avec plus de 27000 collaborateurs dans le monde,
Plus en détailVERTELIS SUITE Suite logicielle pour optimiser votre performance énergétique
VERTELIS SUITE Suite logicielle pour optimiser votre performance énergétique Accompagnez votre démarche de performance énergétique Que vous soyez gestionnaire d énergie d un site industriel ou exploitant
Plus en détailCIRCULAIRE CDG90 COMITE TECHNIQUE COMITE D HYGIENE, DE SECURITE ET DES CONDITIONS DE TRAVAIL COMMISSION ADMINISTRATIVE PARITAIRE
CIRCULAIRE CDG90 11/12 COMITE TECHNIQUE COMITE D HYGIENE, DE SECURITE ET DES CONDITIONS DE TRAVAIL COMMISSION ADMINISTRATIVE PARITAIRE Loi n 83-634 du 13 juillet 1983 modifiée, portant droits et obligations
Plus en détailDEMANDE D INFORMATION RFI (Request for information)
OI - SERES RFI Demande d information GEPOFI Réf. : SERES_GEPOFI_RFI.doc Page 1/17 DEMANDE D INFORMATION RFI (Request for information) SOMMAIRE 1. INTRODUCTION... 3 2. PRÉSENTATION DE L EXISTANT... 4 2.1.
Plus en détailISO/CEI 27001:2005 ISMS -Information Security Management System
ISO/CEI 27001:2005 ISMS -Information Security Management System Maury-Infosec Conseils en sécurité de l'information ISO/CEI 27001:2005 ISMS La norme ISO/CEI 27001:2005 est issue de la norme BSI 7799-2:2002
Plus en détailLe rôle du Tribunal fédéral suisse comme autorité de recours dans le processus électoral
Troisième séminaire des correspondants nationaux de l ACCPUF Paris, 17 19 novembre 2003 Le rôle du Tribunal fédéral suisse comme autorité de recours dans le processus électoral par Robert Zimmermann, Docteur
Plus en détailGuide pratique pour l accessibilité effective des bureaux de vote. À suffrage universel, accessibilité universelle
À suffrage universel, accessibilité universelle Guide pratique pour l accessibilité effective des bureaux de vote accessibilite-universelle.apf.asso.fr L exercice du droit de vote, socle de toute société
Plus en détailRéplication des données
Réplication des données Christelle Pierkot FMIN 306 : Gestion de données distribuées Année 2009-2010 Echange d information distribuée Grâce à un serveur central Une seule copie cohérente Accès à distance
Plus en détailContrôleur de communications réseau. Guide de configuration rapide DN1657-0606
K T - N C C Contrôleur de communications réseau Guide de configuration rapide DN1657-0606 Objectif de ce document Ce Guide de configuration rapide s adresse aux installateurs qui sont déjà familiers avec
Plus en détailMATHÉMATIQUES. Mat-4104
MATHÉMATIQUES Pré-test D Mat-404 Questionnaire e pas écrire sur le questionnaire Préparé par : M. GHELLACHE Mai 009 Questionnaire Page / 0 Exercice ) En justifiant votre réponse, dites quel type d étude
Plus en détail1. CONFIGURATION DE LA CLE WEP... 3 2. CONFIGURATION DE LA CLE WPA... 5 3. CONFIGURATION D UN SSID SANS CHIFFREMENT... 6
Expert en Réseaux & Télécoms Diffusion : Libre Restreinte Interne Gestion des modes de chiffrement Version : 1.0 Date : 29/04/2010 RESIX - 8, rue Germain Soufflot - Immeuble le sésame - 78180 Montigny
Plus en détailCeci n est pas une urne: À propos du vote par Internet pour l'assemblée des Français de l Étranger
Ceci n est pas une urne: À propos du vote par Internet pour l'assemblée des Français de l Étranger Andrew W. Appel * Le 14 juin 2006 à Rocquencourt, France Résumé Le lundi 5 juin 2006, je me suis rendu
Plus en détailWyse WSM. L informatique légère, économique, flexible et fiable. Wyse WSM. Tout ce que vous devez savoir. Cliquez ici
Wyse WSM L informatique légère, économique, flexible et fiable Wyse WSM. Tout ce que vous devez savoir. Cliquez ici Présentation de Wyse WSM et des Clients Zéro Wyse La puissance d un PC. Sans sa complexité.
Plus en détailBeVoting. Etude des systèmes de vote électronique
BeVoting Etude des systèmes de vote électronique Partie I de «l étude vote automatisé version déf. 18122006» Version 1.1 15 Avril 2007 Page 1 de 264 1 Résumé 1.1 Portée de l étude Les administrations fédérales
Plus en détailCe document décrit une solution de single sign-on (SSO) sécurisée permettant d accéder à Microsoft Exchange avec des tablettes ou smartphones.
PERSPECTIVES Le Single Sign-On mobile vers Microsoft Exchange avec OWA et ActiveSync Ce document décrit une solution de single sign-on (SSO) sécurisée permettant d accéder à Microsoft Exchange avec des
Plus en détailCYLINDRE ET BÉQUILLE ÉLECTRONIQUES À BADGE Aperio E100 & C100
SYSTÈMES D IDENTIFICATION CYLINDRE ET BÉQUILLE ÉLECTRONIQUES À BADGE Aperio E100 & C100 CONTRÔLE D ACCÈS SANS FIL RFID Contrôle des portes en temps réel. Fonctionnalités Aperio : le chaînon manquant grâce
Plus en détailLA VIDÉOSURVEILLANCE SANS FIL
LA VIDÉOSURVEILLANCE SANS FIL Par Garry Goldenberg ALVARION garry.goldenberg@gk-consult.com INTRODUCTION Dans un monde de plus en plus sensible aux problèmes de sécurité, les systèmes de vidéosurveillance
Plus en détailCOMMISSION STATUT. Ces documents vous sont communiqués à titre indicatif et ne sauraient engager la responsabilité de ceux qui les ont produits.
1 2 COMMISSION STATUT Les guides Elections professionnelles 2014 aux organismes consultatifs : - Commission Administrative Paritaire (C.A.P) - Comité Technique (C.T) - Comité d hygiène, de sécurité et
Plus en détailECTS CM TD TP. 1er semestre (S3)
Organisation du parcours M2 IRS en alternance De façon générale, les unités d enseignements (UE) sont toutes obligatoires avec des ECTS équivalents à 3 sauf le stage sur 27 ECTS et réparties sur deux semestres
Plus en détailContrôles informatiques dans le cadre de l audit l des états financiers. Par Patrice Watier 28 avril 2010 Association des cadres scolaires du Québec
Contrôles informatiques dans le cadre de l audit l des états financiers Par Patrice Watier 28 avril 2010 Association des cadres scolaires du Québec 1 Objectifs de la présentation Identifier le rôle de
Plus en détailOutils logiciels SPC - une façon simple d optimiser les performances et la protection
Outils logiciels SPC - une façon simple d optimiser les performances et la protection SPC - Étendre l art moderne de la détection d intrusion www.spc-intruder-detection.com Answers for infrastructure.
Plus en détailP R O T O C O L E D ' A C C O R D N 2 0 1 2 / 0 3 P O U R L E S E L E C T I O N S D U C O M I T E D ' E N T R E P R I S E A N N E E S 2 0 1 3-2 0 1 4
P R O T O C O L E D ' A C C O R D N 2 0 1 2 / 0 3 P O U R L E S E L E C T I O N S D U C O M I T E D ' E N T R E P R I S E A N N E E S 2 0 1 3-2 0 1 4 Le présent protocole a été débattu entre : La SOCIETE
Plus en détailcorporate Output Management
corporate Output Management Solution globale de gestion des impressions et DE diffusion de documents pour optimiser vos processus opérationnels et réduire vos coûts Croyez-le ou non mais le succès d une
Plus en détailCobiT. Implémentation ISO 270. Pour une meilleure gouvernance des systèmes d'information. 2 e édition D O M I N I Q U E M O I S A N D
D O M I N I Q U E M O I S A N D F A B R I C E G A R N I E R D E L A B A R E Y R E Préface de Bruno Ménard, président du Cigref CobiT Implémentation ISO 270 2 e édition Pour une meilleure gouvernance des
Plus en détailAccord collectif national relatif aux élections des représentants du personnel au Conseil de Discipline National. du 14 octobre 2003 du 15.04.
Accord collectif national relatif aux élections des représentants du personnel au Conseil de Discipline National du 14 octobre 2003 du 15.04.03 Article I : principes généraux Les élections des représentants
Plus en détailSciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION
Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION Classe de terminale de la série Sciences et Technologie du Management et de la Gestion Préambule Présentation Les technologies de l information
Plus en détailIntroduction à l informatique temps réel Pierre-Yves Duval (cppm)
Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:
Plus en détailMINISTERE DE L'INTERIEUR. CIRCULAIRE MINISTERIELLE n 69-339 du 1er août 1969. adressée à MESDAMES ET MESSIEURS LES MAIRES
CONSEIL CONSTITUTIONNEL Élections législatives 2002 MINISTERE DE L'INTERIEUR CIRCULAIRE MINISTERIELLE n 69-339 du 1er août 1969 adressée à MESDAMES ET MESSIEURS LES MAIRES (mise à jour le 6 mai 1999) INSTRUCTION
Plus en détailACCESSNET -T IP Technique système TETRA d Hytera. www.hytera.de
Technique système TETRA d Hytera est la solution complète et performante pour toutes les applications de la téléphonie mobile professionnelle. www.hytera.de Bref aperçu Pour une communication TETRA professionnelle
Plus en détailINF6304 Interfaces Intelligentes
INF6304 Interfaces Intelligentes filtres collaboratifs 1/42 INF6304 Interfaces Intelligentes Systèmes de recommandations, Approches filtres collaboratifs Michel C. Desmarais Génie informatique et génie
Plus en détailRèglement des 24h vélo Folkloriques de Gouy-lez-Piéton. Les 11 et 12 avril 2015
Règlement des 24h vélo Folkloriques de Gouy-lez-Piéton Les 11 et 12 avril 2015 Cette 26 ème édition se déroulera, par équipes, durant le week-end des samedi 11 et dimanche 12 avril 2015. Le but de cette
Plus en détailELECTIONS MUNICIPALES 2014 LISTE ELECTORALE
ELECTIONS MUNICIPALES 2014 LISTE ELECTORALE Un candidat vient demander copie de la liste électorale. Quelle liste électorale doit-on lui fournir : celle qui est arrêtée au 10 janvier ou la liste avec les
Plus en détailLe Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire
Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars2013 2009avait marquéunpas importantdans
Plus en détailMYOSOTIS. Logiciel de supervision et de conduite de réseau NC. 107/2B
La protection électrique en toute sérénité MYOSOTIS NC. 107/2B Logiciel de supervision et de conduite de réseau Le logiciel MYOSOTIS permet la supervision et la conduite d'un réseau électrique d'usine
Plus en détailPanorama général des normes et outils d audit. François VERGEZ AFAI
Panorama général des normes et outils d audit. François VERGEZ AFAI 3 Système d information, une tentative de définition (1/2) Un système d information peut être défini comme l ensemble des moyens matériels,
Plus en détailCanton de Neuchâtel. Guichet unique et vote électronique «Une nouvelle dimension» Tecnologia e diritto Il governo elettronico
Canton de Neuchâtel Guichet unique et vote électronique «Une nouvelle dimension» Tecnologia e diritto Il governo elettronico Bellinzona, giovedì 18 maggio 2006 Historique du projet Démarrage du projet
Plus en détailPilotage de la Supply Chain
Pilotage de la Supply Chain ICON SUPPLY CHAIN CONTROL Présentation GALIA - Paris, Mai 2002 Entreprise 1992: Fondée par Dr.-Ing. Kurt Mannchen et Dr.-Ing. Michael Keppler 1994: SCP Solutions de Supply Chain
Plus en détailUFR de Sciences Economiques Année 2008-2009 TESTS PARAMÉTRIQUES
Université Paris 13 Cours de Statistiques et Econométrie I UFR de Sciences Economiques Année 2008-2009 Licence de Sciences Economiques L3 Premier semestre TESTS PARAMÉTRIQUES Remarque: les exercices 2,
Plus en détailNOTE RELATIVE A L ELECTION ET AU MANDAT DES EXECUTIFS MUNICIPAUX ET COMMUNAUTAIRES
1 PRÉFET DES HAUTES-PYRÉNÉES NOTE RELATIVE A L ELECTION ET AU MANDAT DES EXECUTIFS MUNICIPAUX ET COMMUNAUTAIRES I. Le conseil municipal Renouvellement général TITRE I : LA COMMUNE Les conseillers municipaux
Plus en détailVirtualisation de postes de travail et d application. Jean-Claude DAUNOIS Senior Systems Engineer VMware
Virtualisation de postes de travail et d application Jean-Claude DAUNOIS Senior Systems Engineer VMware Avantages du Cloud Computing pour les utilisateurs Meilleur confort d utilisation Disponibilité et
Plus en détailProgramme des Nations Unies pour l'environnement
NATIONS UNIES EP Programme des Nations Unies pour l'environnement Distr. GÉNÉRALE UNEP/OzL.Pro/ExCom/68/12 2 novembre 2012 FRANÇAIS ORIGINAL : ANGLAIS COMITÉ EXÉCUTIF DU FONDS MULTILATÉRAL AUX FINS D APPLICATION
Plus en détailCA ARCserve Backup r12
DOSSIER SOLUTION : CA ARCSERVE BACKUP r12 CA ARCserve Backup r12 CA ARCSERVE BACKUP R12 ASSURE UNE PROTECTION EXCEPTIONNELLE DES DONNÉES POUR LES SERVEURS, LES BASES DE DONNÉES, LES APPLICATIONS ET LES
Plus en détailL application doit être validée et l infrastructure informatique doit être qualifiée.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 Annexe 11: Systèmes informatisés
Plus en détailIntroduction à l ISO/IEC 17025:2005
Introduction à l ISO/IEC 17025:2005 Relation avec d autres normes de Management de la Qualité Formation Assurance Qualité LNCM, Rabat 27-29 Novembre 2007 Marta Miquel, EDQM-CoE 1 Histoire de l ISO/IEC
Plus en détailSauvegarde EMC pour solutions SAP HANA prêtes pour le datacenter. EMC Data Domain avec DD Boost
EMC pour solutions SAP HANA prêtes pour le datacenter EMC Data Domain avec DD Boost 1 Informations d entreprise Big Data Informations provenant des partenaires Informations «publiques» Informations structurées
Plus en détailRenouvellement du conseil d administration du CCAS/CIAS
Renouvellement du conseil d administration du CCAS/CIAS Actes-types : 1 / Fixation du nombre d administrateurs 2 / Délibération portant élections des représentants élus 3 / Affichage pour publicité aux
Plus en détailMise en place des élections des Délégués du Personnel
Les fiches pratiques de législation Mise en place des élections des Délégués du Personnel Chambre de Commerce et d Industrie de Rouen Espace Emploi Compétences Quai de la Bourse BP 641 76007 ROUEN Cedex
Plus en détailTarification comparative pour l'industrie des assurances
Étude technique Tarification comparative pour l'industrie des assurances Les technologies de l'information appliquées aux solutions d'affaires Groupe CGI inc., 2004. Tous droits réservés. Aucune partie
Plus en détailORACLE PRIMAVERA PORTFOLIO MANAGEMENT
ORACLE PRIMAVERA PORTFOLIO MANAGEMENT FONCTIONNALITÉS GESTION DE PORTEFEUILLE Stratégie d approche permettant de sélectionner les investissements les plus rentables et de créer de la valeur Paramètres
Plus en détailWindows Internet Name Service (WINS)
Windows Internet Name Service (WINS) WINDOWS INTERNET NAME SERVICE (WINS)...2 1.) Introduction au Service de nom Internet Windows (WINS)...2 1.1) Les Noms NetBIOS...2 1.2) Le processus de résolution WINS...2
Plus en détailAllocation de l adressage IP à l aide du protocole DHCP.doc
Allocation de l adressage IP à l aide du protocole DHCP.doc Sommaire 1. Ajout et autorisation d un service Serveur DHCP...2 1.1. Comment le protocole DHCP alloue des adresses IP...2 1.2. Processus de
Plus en détailIntroduction à LDAP et à Active Directory... 15. Étude de cas... 37
Introduction à LDAP et à Active Directory... 15 Généralité sur l annuaire et LDAP... 16 Qu est-ce qu un annuaire?... 16 Un peu d histoire sur le protocole... 16 LDAP version 2 et version 3... 17 Le standard
Plus en détailPourquoi se protéger? Croissance exponentielle des incidents. www.cert.org. 2004 Hades Security - Hadès Sécurité
Cours 3 : Sécurité 160000 140000 120000 100000 80000 60000 40000 20000 0 Pourquoi se protéger? 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 Croissance exponentielle des incidents
Plus en détailAnnexe IV : rapport du Président du Conseil d Administration
Annexe IV : rapport du Président du Conseil d Administration joint au rapport de gestion rendant compte des conditions de préparation et d organisation des travaux du Conseil ainsi que des procédures de
Plus en détailSpécifications Techniques d Interface
67, Édition 2 / Octobre 2000 Spécifications Techniques d Interface SRXUOHUpVHDXGH)UDQFH7pOpFRP 'LUHFWLYH&( &DUDFWpULVWLTXHVGHVLQWHUIDFHVG DFFqV DXVHUYLFH7UDQVIL[0pWURSROLWDLQ 5pVXPp Ce document présente
Plus en détailConception d une infrastructure «Cloud» pertinente
Conception d une infrastructure «Cloud» pertinente Livre blanc d ENTERPRISE MANAGEMENT ASSOCIATES (EMA ) préparé pour Avocent Juillet 2010 RECHERCHE EN GESTION INFORMATIQUE, Sommaire Résumé........................................................
Plus en détailEXIN Cloud Computing Foundation
Exemple d examen EXIN Cloud Computing Foundation Édition Septembre 2012 Droits d auteur 2012 EXIN Tous droits réservés. Aucune partie de cette publication ne saurait être publiée, reproduite, copiée, entreposée
Plus en détailISO 17799 la norme de la sécurité de l'information
ISO 17799 la norme de la sécurité de l'information Maury Infosec Conseils en sécurité de l'information La sécurité de l information L information constitue le capital intellectuel de chaque organisation.
Plus en détailMéthodologie d Ouverture, de Dépouillement et d Evaluation des Offres Relatives à la Consultation 09 S V.E.De.R
Programme Projet Instrument Européen de Voisinage et de Partenariat - Coopération Transfrontalière Italie- "Valorisation Energétique des Résidus V.E.De.R PS2.3/02" Composante.2 Communication et Diffusion
Plus en détailPilot4IT Monitoring : Mesurez la qualité et la performance perçue de vos applications.
Pilot4IT Monitoring : Mesurez la qualité et la performance perçue de vos applications. La supervision est la «surveillance du bon fonctionnement d un système ou d une activité». Elle permet de surveiller,
Plus en détailSolutions hautes performances pour le gardiennage et la surveillance
Solutions hautes performances pour le gardiennage et la surveillance Le gardiennage sera toujours nécessaire Depuis la nuit des temps, l homme surveille et protège son bien. Dans l Antiquité, seules des
Plus en détailTélégestion et logiciels, des auxiliaires pour une gestion patrimoniale performante
Programme Rencontre Technique ASCOMADE Télégestion et logiciels, des auxiliaires pour une gestion patrimoniale performante Présentation du logiciel de modélisation EPANET 1 Présentation du Logiciel Rôle
Plus en détailPourquoi superviser?
Pourquoi superviser? Olivier Brand-Foissac CNRS / Laboratoire de Physique Théorique - Orsay ANGD Mathrice - Nov 2009 Plan 1 Introduction 2 Constitution 3 Choix des types de mesure 4 Choix d un superviseur
Plus en détailLe stockage de données qui voit les affaires à votre manière. En hausse. nuage
Le stockage de données qui voit les affaires à votre manière. En hausse. nuage Désormais, rien n est plus facile que d intégrer l information d une entreprise et ses processus d affaires : il suffit d
Plus en détailA.3 Les méthodes : L applicabilité
SOMMAIRE A. Première partie A.1 Ingénierie système : du besoin au système (produit/service) A.2 SDF, Maintenance et concepts sous-jacents A.3 Les méthodes : L applicabilité A.4 GMAO = GM + AO B. Deuxième
Plus en détailUne approche à multiples niveaux en matière de sécurité des cartes de paiement
Une approche à multiples niveaux en matière de sécurité des cartes de paiement Une approche à multiples niveaux en matière de sécurité des cartes de paiement SANS PRÉSENCE DE LA CARTE 1 Une récente étude
Plus en détailFICHE PRODUIT CSI 6500 Machinery Health TM Monitor
? TM Suite FICHE PRODUIT CSI 6500 Machinery Health TM Monitor Protection et surveillance vibratoire des machines tournantes critiques de l usine Information de surveillance vibratoire temps réel des machines
Plus en détailDélibération n 39 Conseil municipal du 29 juin 2012
Direction Générale Finances et Gestion Direction du Contrôle Interne Délibération n 39 Conseil municipal du 29 juin 2012 Sociétés publiques locales et sociétés publiques locales d aménagement - Dispositif
Plus en détailUNE SOLUTION MOBILE POUR LES CONTROLES EN USINE
Traq360 UNE SOLUTION MOBILE POUR LES CONTROLES EN USINE Les contrôles des appareils de production, effectués par les techniciens lors des tournées d inspection, restent indispensables pour assurer une
Plus en détailEn application des dispositions de l article R. 421-7.1 du CCH, sont électeurs les personnes physiques :
PROTOCOLE D'ACCORD PREELECTORAL RELATIF A L'ORGANISATION DES ELECTIONS DES REPRESENTANTS DES LOCATAIRES AU CONSEIL D'ADMINISTRATION DE PAYS D AIX HABITAT Entre : L'Office Public de l Habitat PAYS D AIX
Plus en détailMise en place d un Site de Secours Backup à Koléa
REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE LA JUSTICE Mise en place d un Site de Secours Backup à Koléa Monsieur AKKA Abdelhakim Avec la mise en place de la duplication : «PKI : Public
Plus en détail