![[SEE]](logosee.gif)
Club 63
Systèmes Informatiques de Confiance
Présidente : Karama.Kanoun (LAAS-CNRS)
Le site web du club est désormais accessible ici.
Pour vous inscrire au club, remplir et renvoyer cette fiche.
Cette page regroupe les programmes et transparents des journées et réunions passées du club et de ses cercles.
Journées passées
[Programme et transparents de la
journée].
[Programme et transparents de la journée].
[Programme et transparents de la journée].
Le programme de la journée est le suivant :
- Michel Riguidel (ENST).
Introduction.
- Jean-Francois Geneste (EADS).
Protection des avions contre le terrorisme.
[transparents]
- Yves Deswarte (LAAS-CNRS).
Tolérance aux intrusions sur Internet.
[transparents]
- Fabien Autrel (ONERA-Toulouse).
La détection d'intrusion.
- Discussion.
Le "facteur humain" est pris en compte dans la conception et l'exploitation des
systèmes à travers des données, issues d'observations effectives de
comportements humains. L'objectif de cette journée est de faire le point sur les
études et techniques qui permettent de générer ou d'utiliser de telles données :
gestion du retour d'expérience, conception de systèmes intégrant une coopération
personne-machine, ...
Le programme de la journée est le suivant :
- Pierre Boutin (IPSN DES SEFH).
Améliorer la sûreté par la prise en compte des facteurs humains
et organisationels : différentes approches, leurs limites.
[article pdf]
- Laurent Chaudron (ONERA).
Prise en compte du retour d'expérience dans la conception des
systèmes embarqués.
[transparents pdf]
- Laurence Rognin (Eurocontrol/Pacte Novation).
Le concept de délégation limitée entre contrôleurs et
pilotes. Facteurs humains et sécurité dans le contrôle du
trafic aérien.
[transparents ppt]
- Frédéric Cuppens (ONERA).
Détection d'Intrusion Coopérative et Reconnaissance
d'Intentions Malveillantes.
[transparents ppt]
- Marc Mersiol (LAAS-CNRS).
Répartition des fonctions entre agents humains et agents
automatiques : présentation d'une méthode et d'un outil.
[transparents ppt]
La modélisation comportementale des systèmes critiques, couplée à des
outils d'analyse et de simulation est utilisée pour de multiples
raisons. Dans les phases amont de conception du système, elle permet
de pré-dimensionner l'architecture matérielle ou encore d'évaluer au
plus tôt les risques engendrés par l'architecture fonctionnelle du
système. PLus tard, elle permettra de réaliser des simulations plus
fines et d'explorer des situations trop dangereuses pour être testées
sur le système réel.
La réalisation des modèles et leur exploitation posent divers
problèmes. Quels sont les modèles pertinents pour les besoins d'une
analyse ? Quels outils assistent la réalisation et l'exploitation des
modèles ? Environnements de modélisation de haut niveau ? Structures
d'accueil de simulations ? Comment peut-on s'assurer de la fidélité du
modèle par rapport au système étudié ? Comment peut-on partager des
données de simulation de manière cohérente ? sûre ? etc.
L'objectif de cette journée est de répondre à ces questions.
Le programme de la journée est le suivant :
- A. Arnold, G. Point, A. Griffault, A. Rauzy Sébastien Gérard
(Labri, Université de Bordeaux).
Le formalisme AltaRica de description de systèmes
complexes.
[resume txt]
- Marc Bouissou (EDF).
Modélisation des systèmes programmés en langage FIGARO.
[resume txt
transparents pdf]
- Exposé de Michel Barat (ONERA).
[transparents ppt]
- Marc Dacier (IBM Zürich).
La modélisation comportementale dans la détection d'intrusions.
[resume txt]
- Maxime Neyret et Patrick Salaün (EDF).
Utilisation de la modélisation comportementale comme
outil supplémentaire pour la qualification des COTS.
[transparents ppt]
- Eric Marsden (LAAS).
Description formelle d'un protocole à métaobjets.
[transparents pdf ps]
- Bruno Traverson (EDF/Division R&D).
Sécurisation d'environnements CORBA - Le cas des
coupe-feux pour les accès Internet.
[transparents pdf ps]
- Laurent Frèrebeau (BULLSOFT).
Modèle de sécurité de Java 1.2.
[transparents pdf ppt]
- Mariano Belaunde (CNET).
Utilisation des techniques de métamodélisation pour
la construction de Référentiels.
[transparents pdf ppt]
- Michel Lemoine (ONERA).
L'approche objet pour capitaliser et faire coopérer
des codes de calcul.
[transparents pdf]
- Sébastien Gérard (CEA/PSA).
Spécialisation d'UML pour la spécification et le
prototypage de systèmes embarqués dans l'automobile.
[transparents pdf ppt]
-
"Synthèse des travaux de l'IRISA sur le test des protocoles
et ses perspectives" par Claude Jard, directeur de recherche au CNRS, responsable
de l'équipe Pampa à l'IRISA, Rennes
[resumé html]
[transparents ps 2,5 mega]
[article]
-
"Génération automatique de séquences
de test de systèmes temporisés" par Patrice Laurençot,
Richard Castanet, Labri, Bordeaux
[résumé html]
[transparents]
[article]
-
"Test de Types Abstraits et de Processus : une théorie
unificatrice" par Marie-Claude Gaudel (LRI, Universite de Paris-Sud
et CNRS, Orsay) & Perry R. James (Departamento de Ciencia da Computacao
IME-Universidade de Sao Paulo, Sao Paulo, Brazil
[résumé html]
[transparents]
[article ps]
-
"Test statistique structurel et fonctionnel" par Pascale Thévenod,
LAAS-CNRS, Toulouse
[résumé html]
[transparents pdf]
[article]
-
"Méthodes de test pour les systèmes programmés
au CEA-LETI" par Jean-Pierre Gallois, CEA-LETI
[résumé html]
[transparents]
[article]
-
"Un outil de test du niveau de sécurité d'un
réseau : Nessus", par Renaud Deraison
[résumé]
[transparents pdf]
[article]
-
"Le test dans le processus d'évaluation avec les
critères ITSEC ou les Critères Communs" par Alain Ribault, AQL
[résumé]
[transparents]
[article]
- Carlos Martin (SCSSI).
Evaluation : les Critères Communs.
Certification : le schéma d'évaluation francais.
[transparents pdf]
- Yves Deswarte (LAAS-CNRS).
SQUALE : une proposition de critères de sûreté de fonctionnement.
[transparents pdf]
- Marc Bouissou (EDF/DER).
Argumentaires de sûreté : comment formaliser les
évaluations des experts avec la méthode SERENE ?
[transparents pdf]
- Benoit Caillaud (IRISA).
Le projet Modistarc : le développement d'un outil de test de
conformité de composants OSEK/VDX pour l'industrie automobile.
[transparents pdf]
- Francis Boschat (RATP).
Certification des automatismes de METEOR.
[transparents pdf]
Réunions passées
- Analyse et évaluation de la sûreté de fonctionnement à base de modèles, le 02 février 2006
[transparents]
- Sûrete de fonctionnement des réseaux de télécommunications, le 09 janvier 2003
[transparents]
- Validation et Certification de Logiciels Critiques, le 31 janvier 2002
[transparents]
- Robotique et Sûreté de fonctionnement, le 30 novembre 2000
[transparents]
- Les normes de la SdF et leurs évolutions, le 23 mars 2000
[transparents]
- COTS et réutilisation, 14 octobre 1999
[transparents]
- Conception et validation des mécanismes de tolérance aux fautes, 9 mars 1999
[transparents]
- Réunion le 03/02/2004 sur le thàme "Certification et méthodes formelles"
[transparents]
- Réunion le 27/11/2003 sur le thàme "Développer des applications :
De UML au Code, le rôle de MDA"
[transparents]
- Réunion le 22/05/2003 sur le thàme "Composants : gestion, composition"
[transparents]
- Réunion le 23/05/2002 sur le thàme "Objets temps réel"
[transparents]
- Architectures Logicielles le 25 octobre 2001
[transparents]
- Objets temps réel, le 20 septembre 2001
[transparents]
- Objets temps réel, le 18 janvier 2001
[transparents]
- Trusted components, le 25 mai 2000
[transparents]
- L'évolution des techniques de validation des spécifications formelles, 29 et 30 novembre 1999
[transparents]
- UML et techniques formelles, 2 février 1999
[transparents]
- Sécurité dans les réseaux mobiles, le 11 mars 2004
[transparents]
- La protection des documents electroniques, le 23 octobre 2003
[transparents]
- Signature électronique, le 25 avril 2002
[transparents]
- Accces sécurises aux réseaux, le 20 décembre 2001
[transparents]
- Gestion des incidents - CERT, le 7 décembre 2000
[programme]
- Détection d'intrusion, le 19 juin 2000
[transparents]
- Nouvelle législation sur la cryptologie ; infrastructures à clés publiques, le 9 mars 2000
[transparents]
- La sécurité windows NT, le 3 mai 1999
[programme]