1195documents trouvés
MIRAS: Livrable L2.5. Plan de sécurité pour l'évaluation clinique d'un déambulateur robotisé
J.CAQUAS, J.GUIOCHET, Q.A.DO HOANG, V.PASQUI
Robosoft, Meylan, TSF, ISIR, Jussieu
Rapport de Contrat : Projet ANR MIRAS. ANR-08-TECS-009-04, Juillet 2012, 10p. , N° 12364
Diffusion restreinte
127684A meta-model for tests of avionic embedded systems
A.GUDUVAN, H.WAESELYNCK, V.WIELS, G.DURRIEU, Y.FUSERO, M.SCHIEBER
TSF, ONERA/DTIM, Cassidian, Colomiers
Rapport LAAS N°12369, Juillet 2012, 16p.
Diffusable
127689Cyber-attaques et cyber-défenses: problématique et évolution
Y.DESWARTE, S.GAMBS
TSF, IRISA
Revue Scientifique : Revue de l'Electricité et de l'Electronique, N°2, pp.23-35, Juin 2012 , N° 12242
Diffusable
127434Campagne de collecte de données et vie privée
N.HADERER, M.NUNEZ DEL PRADO, R.ROUVOY, M.O.KILLIJIAN, M.ROY
LIFL, TSF
Manifestation avec acte : GDR GPL'12, Renne (France), 20-22 Juin 2012, 2p. , N° 12339
Lien : http://hal.inria.fr/hal-00711609
Diffusable
Plus d'informations
Résumé
Les communautés scientifiques ont souvent recours à la simulation dans le but de valider leurs théories. Cependant, la pertinence des résultats obtenus est fortement dépendante de la qualité des traces générées par les simulateurs. Ce phénomène est particulièrement vrai lorsque l'on considère les traces de mobilité humaine qui sont difficilement prévisibles. Dans ce contexte, la popularité des nouvelles générations de smartphones, équipés d'une grande variété de capteurs (GPS, bluetooth, accéléromètre, etc.), offre de nouvelles perspectives pour la collecte de données réalistes au sein d'une population. Cependant, la nature sensible, du point de vue de la vie privée, des informations collectées représente un des principaux obstacles aux déploiement généralisé d'une application de collecte de données et à son adoption auprès des utilisateurs. C'est pourquoi nous présentons UBILAB , une nouvelle plate-forme permettant aux scientifiques de mettre en place facilement des campagnes de collecte de données et d'inférer automatiquement différentes attaques sur les données partagées par les utilisateurs mobiles afin de les avertir d'un risque potentiel d'atteinte à leurs informations privées.
Génération hors ligne d'attributs certifiés et de pseudonymes certifiés à chaînabilité contrôlée
Y.DESWARTE
TSF
Manifestation sans acte : Atelier Protection de la Vie Privée (APVP 2012), Ile de Groix (France), 18-20 Juin 2012, 4p. , N° 12241
Diffusable
127541Nao: fundamental support to Master's student projects
M.TAIX, C.BRIAND, P.TRUILLET, A.DE BONNEVAL, I.FERRANE, J.PINQUIER
GEPETTO, MOGISA, IRIT-UPS, TSF
Manifestation sans acte : Nao Tech Day, paris (France), 13 Juin 2012, 25p. , N° 12402
Diffusable
127784IronHide: Plate-forme d'attaques par entrées-sorties
F. LONE SANG, V.NICOMETTE, Y.DESWARTE
TSF
Manifestation avec acte : Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2012), Rennes (France), 6-8 Juin 2012, 23p. , N° 12093
Diffusable
127520Chapitre 16. Conclusion
J.ARLAT, N.MATTA
TSF, UTT
Ouvrage (contribution) : Supervision, surveillance et sûreté de fonctionnement des grands systèmes, Sous la direction de N.Matta, Y.Vandenboomgaerde, J.Arlat; Traité IC2, Hermès, 373p., 2012, Mai 2012, Chapitre 16, pp.361-369 , N° 12259
Diffusable
127289System dependability: characterization and benchmarking
Y.CROUZET, K.KANOUN
TSF
Ouvrage (contribution) : Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Vol.84, A.Hurson, S.Sedigh (Eds), Elsevier, 264p., N°978-0-12-396525-7, Mai 2012, pp.93-139 , N° 12375
Lien : http://hal.archives-ouvertes.fr/hal-00761042
Diffusable
Plus d'informations
Abstract
This chapter presents briefly basic concepts, measures and approaches for dependability characterization and benchmarking, and examples of benchmarks, based on dependability modeling and measurements. We put emphasis on Commercial Off-the-Shelf components (COTS) on COTS-based systems. To illustrate the various concepts, techniques and results of dependability benchmarking, we present two examples of benchmarks: one addressing the system and service level of a COTS-based fault tolerant system, and one dedicated to COTS software components. The first benchmark shows how dependability modeling can be used to benchmark alternative architectural solutions of instrumentation and control systems of nuclear power plants. The benchmarked measure corresponds to system availability. The second benchmark shows how controlled experiments can be used to benchmark operating systems taking Windows and Linux as examples. The benchmark measures are robustness, reaction time and restart time.
Exécution répartie et temps-réel de réseaux de Petri
O.BALDELLON, M.ROY, J.C.FABRE
TSF
Manifestation avec acte : Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), La Grande Motte (France), 29 Mai - 1 Juin 2012, 4p. , N° 12212
Lien : http://hal.archives-ouvertes.fr/hal-00689991
Diffusable
Plus d'informations
Résumé
L'émergence de systèmes distribués, réactifs à l'environnement et de plus en plus complexes pose de nom- breuses problématiques scientifiques. En particulier, malgré les progrès faits pour limiter les erreurs lors de leur conception, la présence de fautes résiduelles est quasiment inévitable du fait de la complexité croissante des systèmes considérés. Il devient nécessaire d'introduire des mécanismes pour gérer les fautes potentielles lors de l'exécution ; on parle alors de supervision. Cet article introduit une approche permettant une supervision distribuée et efficace d'une propriété exprimée sous la forme d'un réseau de Petri.