Relevant bibliographies by topics / Spécification de protocoles / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Spécification de protocoles.

Dissertations / Theses on the topic 'Spécification de protocoles'

Author: Grafiati
Published: 14 March 2023
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 42 dissertations / theses for your research on the topic 'Spécification de protocoles.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Duchene, Julien. "Développement et évaluation d'obfuscations de protocoles basées sur la spécification." Electronic Thesis or Diss., Toulouse, INSA, 2018. http://www.theses.fr/2018ISAT0054.

Full text
Abstract:
Il existe de plus en plus de protocoles de communications différents. La spécification de beaucoup d’entre eux est disponible. Cependant, quand il s’agit de moyens de communication propriétaires, cette spécification est gardée secrète : un attaquant qui aurait accès à cette spécification pourrait compromettre un système utilisant ce protocole. Même s’il n’a pas accès à cette spécification, l’attaquant peut l’obtenir par rétro-conception. Ainsi, il est intéressant de créer des protocoles qui sont difficiles à rétro-concevoir. Dans cette thèse, nous proposons une nouvelle approche spécifiquement
APA, Harvard, Vancouver, ISO, and other styles
2

Chatzikokolakis, Konstantinos. "Spécification et vérification des protocoles de sécurité probabilistes." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00003950.

Full text
Abstract:
Le concept de l'anonymat entre en jeu dans les cas où nous voulons garder le secret sur l'identité des agents qui participent à un certain événement. Il existe un large éventail de situations dans lesquelles cette propriété peut être nécessaire ou souhaitable, par exemple: web de vote surf, les dons anonymes, et l'affichage sur les babillards. L'anonymat est souvent formulées de manière plus générale comme une propriété de dissimulation d'informations, à savoir la propriété qu'une partie des informations relatives à un certain événement est tenu secret. Il faut être prudent, cependant, de ne p
APA, Harvard, Vancouver, ISO, and other styles
3

Yahmadi, Imed. "Vers un calcul pour la spécification et l'analyse des protocoles cryptographiques." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq26295.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bonet, d'Oléon Karen de. "Spécification et validation du protocole de communication KerNet+." Nantes, 1991. http://www.theses.fr/1991NANT2066.

Full text
Abstract:
L'objet du travail présenté ici consiste en la spécification complète d'un protocole de communication, appelé KerNet+, de la couche Application du modèle de référence normalisé par l'ISO pour l'Interconnexion des Systèmes Ouverts. Ce protocole introduit et définit un ensemble de services de communication, mis directement à la disposition des tâches utilisateur des sites communicants et conçus pour s'appliquer spécifiquement aux tâches de conduite et de pilotage en temps réel de procédés industriels continus et manufacturiers complexes. Les hypothèses adoptées pour spécifier le protocole KerNet
APA, Harvard, Vancouver, ISO, and other styles
5

Rodriguez, Carlos. "Spécification et validation de systèmes en Xesar." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00326427.

Full text
Abstract:
Étude de méthodes de spécification et vérification des protocoles de communication. La méthode de vérification mise en œuvre consiste a évaluer les spécifications du protocole sur un modèle fini qui le représente. Le langage de spécification est basé sur un mu calcul permettant l'expression aussi bien de comportements que de propriétés
APA, Harvard, Vancouver, ISO, and other styles
6

Rieu, Christine. "Outil d'aide à la spécification et à l'implémentation de protocoles de transfert." Clermont-Ferrand 2, 1989. http://www.theses.fr/1989CLF21105.

Full text
Abstract:
Une approche de conception est construite à partir d'une classification fonctionnelle des informations manipulées. Un support graphique permet de decrire la communication à réaliser. La technique de description proposée est ensuite vérifiée au moyen d'un logiciel de vérification de systèmes décrits sous forme de réseaux de Petri de type Predicats-Transitions.
APA, Harvard, Vancouver, ISO, and other styles
7

Romero, Hernandez Ivan. "Modélisation, spécification formelle et vérification de protocoles d'interaction : une approche basée sur les rôles." Grenoble INPG, 2004. http://www.theses.fr/2004INPG0159.

Full text
Abstract:
Dans cette thèse nous présentons une approche pour la spécification, modélisation et validation des protocoles d'interaction entre agents réactifs. Cette approche est basée sur la notion de rôle-attribut, telle qu'elle est définie dans les méthodologies orientées agent GAIA et MAD KIT. Les rôles peuvent être vus comme des attributs sociaux assignés aux agents, et qui sont pris dans chaque interaction entre agents pour accomplir la fonctionnalité de l'ensemble, cette approche peut permettre d'envisager la définition de schémas de conduite entre des rôles génériques et les traduire vers un ensem
APA, Harvard, Vancouver, ISO, and other styles
8

Dakroury, Yasser. "Spécification et validation d'un protocole de messagerie multi-serveur pour l'environnement MMS." Nantes, 1990. http://www.theses.fr/1990NANT2041.

Full text
Abstract:
On présente un nouveau concept pour l’implémentation du protocole MMS: le protocole de multi-serveur. De sa définition, le protocole multi-serveur MMS envisage une coopération possible entre plusieurs serveurs MMS pour exécuter un service demandé par l'utilisateur client. Ce protocole de multi-serveur nécessite la définition d'un nouveau type d'objet, c'est-à-dire l'objet reparti. Une architecture générale a été introduite pour présenter les interactions possibles entre l'utilisateur client et les serveurs, dits principal et secondaire(s). Cette architecture repose sur le fait que l'objet est
APA, Harvard, Vancouver, ISO, and other styles
9

Auriol, Guillaume. "Spécification et implémentation d'une architecture de signalisation à gestion automatique de la QdS dans un environnement IP multi domaines." Toulouse, INSA, 2004. http://www.theses.fr/2004ISAT0029.

Full text
Abstract:
L’Internet du futur aura à transporter les données de nouvelles applications avec des garanties de qualité de service (QdS). De ce besoin résulte la nécessité d’en re-concevoir l’architecture. Par ailleurs, la structure de l’Internet, composé de domaines indépendants vis à vis de la gestion de la QdS, pose le problème de la continuité du service lors de la traversée de plusieurs domaines. Face à ces deux problématiques, la thèse soutenue est celle d’un système de communication offrant des garanties de QdS par flux applicatif dans un environnement Internet multi domaines. Son architecture intèg
APA, Harvard, Vancouver, ISO, and other styles
10

Jacinto, Montes Ricardo R. "Protocoles de validation à deux phases dans les systèmes transactionnels répartis : spécification, modélisation et vérification." Toulouse 3, 1995. http://www.theses.fr/1995TOU30050.

Full text
Abstract:
Assurer la coherence des donnees dans un traitement reparti est un probleme majeur qui a besoin, pour etre resolu, de la definition des regles de fonctionnement precises. Dans ce contexte, l'osi a defini le protocole iso-tp (transaction processing) pour la realisation des traitements transactionnels repartis. Iso-tp est un protocole a controle centralise base sur une structure hierarchique arborescente qui s'appuie sur la fonction ccr (commitment concurrency & recovery) afin d'assurer la coherence des relations bipoint qui composent l'arbre transactionnel. Pour maitriser la complexite des meca
APA, Harvard, Vancouver, ISO, and other styles
11

Andrey, Laurent. "Protocoles de communication et grammaires attribuées." Nancy 1, 1993. http://www.theses.fr/1993NAN10083.

Full text
Abstract:
Le but de l'étude est d'examiner l'adéquation des grammaires attribuées pour décrire formellement des protocoles de communication et pour en dériver quasi-automatiquement une implantation d'une entité de protocole. Les protocoles considérés sont ceux des couches basses du modèle OSI, et l'utilité de telles descriptions formelles est placée dans le contexte général de l'ingénierie des protocoles. La contribution personnelle consiste en une proposition du formalisme GAPP (grammaires attribuées pour les protocoles) basée sur les travaux existants en intégrant des idées issues des applications tra
APA, Harvard, Vancouver, ISO, and other styles
12

Talbi, Mehdi. "Spécification et vérification automatique des propriétés des protocoles de vote électronique en utilisant la logique ADM." Rennes 1, 2010. http://www.theses.fr/2010REN1S073.

Full text
Abstract:
Les systèmes de vote électronique sont basés sur des protocoles cryptographiques faisant usage de primitives avancées (chiffrement homomorphe, signature en aveugle, etc. ) et impliquant des canaux de communication élaborés (anonymes, privés) dans le but de garantir certaines propriétés de sécurité : éligibilité, équité, anonymat, etc. Pour les systèmes critiques tels que celui du vote électronique, l’usage des méthodes formelles, pour prouver que les propriétés prétendues satisfaites par un protocole sont réellement garanties, devrait être incontournable. Dans cette thèse, nous proposons d’uti
APA, Harvard, Vancouver, ISO, and other styles
13

Dupeux, Arnaud. "Spécification et implantation de protocoles OSI : une expérience de la couche transport dans le langage ADA." Bordeaux 1, 1986. http://www.theses.fr/1986BOR10527.

Full text
Abstract:
Validation des protocoles, amelioration des algorithmes existants. Specification et description detaillees d'une entite de transport osi, gestion des conflits et des evenements, proposition d'un modele. Langage ada et ses possibilites pour exprimer des phenomenes paralleles; application: programmation de l'architecture de la couche transport osi
APA, Harvard, Vancouver, ISO, and other styles
14

Belakhdar, Omar. "Les protocoles de coopération dans les systèmes multi-agents : langage de spécification, modèle d'agent et cadre de développement." Chambéry, 1999. http://www.theses.fr/1999CHAMS001.

Full text
Abstract:
Nous nous plaçons dans le contexte de la résolution distribuée de problèmes, contexte dans lequel les agents coopèrent à la résolution d'un problème par envoi de messages. Pour coopérer, les agents utilisent des protocoles de coopération. Dans cette thèse, nous proposons un langage de spécification de protocoles de coopération (appelé Cooplas) ayant une structure suffisamment générale pour permettre de décrire une classe de processus de coopération sous forme de conversations inter-agents. Ce langage utilise un schéma général de coopération basé sur des connaissances en théorie des actes de la
APA, Harvard, Vancouver, ISO, and other styles
15

Zwecker, Stella. "Représentation et spécification d'architectures d'interconnexion de réseaux hétérogènes vers la définition d'une base de connaissances." Toulouse 3, 1993. http://www.theses.fr/1993TOU30052.

Full text
Abstract:
L'objet de cette these est de definir une methodologie pour la specification d'architectures d'interconnexion de reseaux heterogenes, et d'integrer cette methodologie au sein d'un systeme base sur l'utilisation de techniques d'intelligence artificielle. La methodologie permet: 1) d'evaluer l'incompatibilite des reseaux a interconnecter (lorsque des adressages et/ou les couples service-protocole d'une couche sont incompatibles, les entites de cette couche sont incapables de s'identifier et/ou de dialoguer), 2) de realiser une specification orientee fiabilite de l'architecture d'interconnexion r
APA, Harvard, Vancouver, ISO, and other styles
16

Ayoub, Dit Ayadi Mohamed. "Contribution à la spécification formelle et vérification d'architectures de communication pour les transactions distribuées (couches hautes du modèle de référence OSI DE L'ISO)." Toulouse 3, 1990. http://www.theses.fr/1990TOU30118.

Full text
Abstract:
Les travaux presentes dans ce memoire portent sur la specification formelle et l'analyse des mecanismes commitment concurrency recovery (ccr) et transaction processing (tp) de la couche application du modele osi de l'iso pour les reseaux d'ordinateurs. Ces mecanismes permettent la realisation d'actions atomiques sur des liaisons bipoints (ccr) et dans un contexte arborescent (tp). Deux techniques complementaires de description formelle sont utilisees: le modele reseaux de petri etiquete (rpte) et le langage estelle. La modelisation de la fonction ccr au moyen du modele rpte a montre en particu
APA, Harvard, Vancouver, ISO, and other styles
17

Garnier, Gérard. "Modélisation de protocoles : application à la couche liaison de données de F.I.P." Nancy 1, 1992. http://www.theses.fr/1992NAN10308.

Full text
Abstract:
Les architectures multicouches de protocoles et de services, basées sur le modèle de référence de l'O. S. I. (open systems interconnection) font appel à de nombreux et complexes mécanismes dont il est absolument nécessaire de spécifier le comportement de manière complète et non ambigüe. Seule une approche fondée sur une technique de description formelle permet de satisfaire à cet objectif. L'utilisation d'une telle approche permet en outre d'effectuer une majorité des vérifications et validations, au cours de l'élaboration même d'un cahier des charges ou de la conception d'un système. En consé
APA, Harvard, Vancouver, ISO, and other styles
18

Saad, Khorchef Fares. "Cadre Formel pour le Test de Robustesse des Protocoles de Communication." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2006. http://tel.archives-ouvertes.fr/tel-00138202.

Full text
Abstract:
Dans le domaine des télécommunications, il est indispensable de valider rigoureusement les protocoles avant de les mettre en service. Ainsi, il faut non seulement tester la conformité d'un protocole, mais il s'avère aussi nécessaire de tester sa robustesse face à<br />des événements imprévus. La littérature concernant le test de robustesse est beaucoup moins conséquente que le test de conformité. A travers ce document, nous considérons la définition de la robustesse suivante : "la capacité d'un système, conforme à sa spécification nominale, à adopter un comportement acceptable en présence d'al
APA, Harvard, Vancouver, ISO, and other styles
19

Elabd, Emad. "Conformité de services Web par rapport à des spécifications de haut niveau." Phd thesis, Université Claude Bernard - Lyon I, 2011. http://tel.archives-ouvertes.fr/tel-00867892.

Full text
Abstract:
Actuellement, la technologie des services Web évolue rapidement, en étant soutenue par les grands acteurs du domaine des systèmes d'information. Les applications basés sur services Web sont faiblement couplées et utilisables de façon automatique via l'utilisation d'un ensemble de normes basées sur XML. Hormis la description syntaxique des messages, il est nécessaire d'avoir une description sémantique du comportement des services. En effet, lors de la conception d'un service ou lors d'une composition de services, il est important de vérifier la conformité avec un cahier des charges. L'enrichiss
APA, Harvard, Vancouver, ISO, and other styles
20

Amyay, Omar. "Méthodologie de spécification d'activités de communication dans une architecture multi-couches vers la définition d'une base de connaissances." Toulouse 3, 1991. http://www.theses.fr/1991TOU30209.

Full text
Abstract:
La specification des services et protocoles de communication dans une architecture multi-couches, de type osi, est une problematique essentielle dans le contexte de la conception de reseaux d'ordinateurs. Il s'agit d'obtenir, a partir d'un ensemble de contraintes dites donnees initiales qui caracterisent le probleme pose, une specification operationnelle du couple service-protocole d'une couche donnee. Une methodologie de resolution de cette problematique a ete definie en termes d'etapes de synthese et de verification. La planification de ces etapes constitue une trajectoire de specification.
APA, Harvard, Vancouver, ISO, and other styles
21

Elabd, Emad. "Compliance of Web services over a high level specification." Thesis, Lyon 1, 2011. http://www.theses.fr/2011LYO10122/document.

Full text
Abstract:
Actuellement, la technologie des services Web évolue rapidement, en étant soutenue par les grands acteurs du domaine des systèmes d'information. Les applications basés sur services Web sont faiblement couplées et utilisables de façon automatique via l'utilisation d'un ensemble de normes basées sur XML. Hormis la description syntaxique des messages, il est nécessaire d’avoir une description sémantique du comportement des services. En effet, lors de la conception d'un service ou lors d'une composition de services, il est important de vérifier la conformité avec un cahier des charges. L’enrichiss
APA, Harvard, Vancouver, ISO, and other styles
22

Bhatia, Sapan. "Optimisations de compilateur optimistes pour les systèmes réseaux." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13169.

Full text
Abstract:
Cette thèse présente un ensemble de techniques qui permettent l'optimisation des performances des systèmes réseaux modernes. Ces techniques reposent sur l'analyse et la transformation des programmes impliqués dans la mise en oeuvre des protocoles réseaux. La première de ces techniques fait appel à la spécialisation de programmes pour optimiser des piles de protocoles réseaux. La deuxième, que nous avons nommée spécialisation distante, permet à des systèmes embarqués limités en ressources de bénéficier de la pécialisation de programmes en déportant à travers le réseaux les opérations de spécial
APA, Harvard, Vancouver, ISO, and other styles
23

Lambolais, Thomas. "Modélisation du développement de spécifications LOTOS." Vandoeuvre-les-Nancy, INPL, 1997. http://www.theses.fr/1997INPL106N.

Full text
Abstract:
Notre travail s'inscrit dans les premières étapes du développement de logiciels concernant le passage d'un cahier des charges à une spécification formelle, dans le domaine des réseaux de télécommunications. Notre sujet consiste à étudier la modélisation des étapes de développement de spécifications en langage LOTOS. Le modèle utilisé, PROPLANE, a été préalablement établi pour d'autres domaines. Par le biais d'un nouveau domaine d'application, l'objectif à long terme de notre étude est d'évaluer le modèle PROPLANE et de proposer des améliorations si nécessaire. LOTOS est constitué d'une algèbre
APA, Harvard, Vancouver, ISO, and other styles
24

Viho, Gagnon Gbédé. "Une contribution à la suppression des anomalies dans les protocoles de communication." Bordeaux 1, 1991. http://www.theses.fr/1991BOR10573.

Full text
Abstract:
Actuellement, plusieurs methodes et outils permettent de specifier les protocoles de communication et d'y detecter les anomalies. Cependant, peu de methodes sont developpees pour supprimer ces anomalies. Dans cette these, nous proposons: 1) une methode de synthese qui guide la specification et evite l'occurrence des receptions non specifiees et des transitions non executables; 2) deux methodes qui interviennent apres detection des anomalies et proposent des solutions pour supprimer les receptions non specifiees, les deadlocks et les boucles bloquantes. Les outils developpes mettant en uvre ces
APA, Harvard, Vancouver, ISO, and other styles
25

Allouis, Tristan. "Spécification de paramètres techniques et stratégie d'échantillonnage pour la conception de nouveaux capteurs lidars dédiés à la cartographie de forêts." Thesis, Paris, AgroParisTech, 2011. http://www.theses.fr/2011AGPT0086/document.

Full text
Abstract:
Les forestiers ont besoin d'outils permettant de cartographier les essences, la hauteur, la structure ou la biomasse des peuplements. Même si le lidar aéroporté (light detection and ranging, détection et télémétrie par laser) ne permet pas de mesurer l'ensemble de ces variables, il permet d'accéder aux hauteurs et à la biomasse de manière rapide, précise et surtout spatialisée sur de grandes surfaces. Cependant, les lidars aujourd'hui utilisés en forêts n'ont pas été conçus spécifiquement pour étudier la végétation, et l'ajustement de leurs caractéristiques techniques est supposé permettre d'a
APA, Harvard, Vancouver, ISO, and other styles
26

Dridi, Khaled. "Spécification du protocole MAC pour les réseaux IEEE 802.11e à différentiation de services sous contrainte de mobilité." Thesis, Paris Est, 2011. http://www.theses.fr/2011PEST1016/document.

Full text
Abstract:
Cette thèse a pour objectif de proposer de nouvelles approches d'ordonnancement, de coopération et de gestion de la mobilité dans les réseaux sans fil de type IEEE 802.11. Le maintien de la qualité de service (QoS), au niveau MAC, représente la caractéristique fondamentale de ces approches. L'analyse des mécanismes existants nous a conduits à retenir le protocole EDCF, supportant la QoS, comme une base de travail pour l'ensemble de nos propositions. Dans le but de pallier certaines faiblesses du standard 802.11, une nouvelle architecture à base de multi-ordonnanceurs HCF-T, est proposée. Les p
APA, Harvard, Vancouver, ISO, and other styles
27

Corrales, Juan-Carlos. "Appariement de spécifications de comportements pour la découverte de services." Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 2008. http://tel.archives-ouvertes.fr/tel-00323970.

Full text
Abstract:
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approaches for services retrieval are mostly limited to the matching of their inputs/outputs possibly enhanced with some ontological knowledge. Recent works have demonstrated that this approach is not sufficient to discover relevant components. In this dissertation we argue that, in many situations, the service discovery should be based on the specification of service behavior. The idea behind it, is to develop matching tec
APA, Harvard, Vancouver, ISO, and other styles
28

Dridi, Khaled, and Khaled Dridi. "Spécification du protocole MAC pour les réseaux IEEE 802.11e à différentiation de services sous contrainte de mobilité." Phd thesis, Université Paris-Est, 2011. http://tel.archives-ouvertes.fr/tel-00681041.

Full text
Abstract:
Cette thèse a pour objectif de proposer de nouvelles approches d'ordonnancement, de coopération et de gestion de la mobilité dans les réseaux sans fil de type IEEE 802.11. Le maintien de la qualité de service (QoS), au niveau MAC, représente la caractéristique fondamentale de ces approches. L'analyse des mécanismes existants nous a conduits à retenir le protocole EDCF, supportant la QoS, comme une base de travail pour l'ensemble de nos propositions. Dans le but de pallier certaines faiblesses du standard 802.11, une nouvelle architecture à base de multi-ordonnanceurs HCF-T, est proposée. Les p
APA, Harvard, Vancouver, ISO, and other styles
29

Exposito, Garcia Ernesto José. "Spécification et mise en oeuvre d'un protocole de transport orienté Qualité de Service pour les applications multimédias." Toulouse, INPT, 2003. http://www.theses.fr/2003INPT028H.

Full text
Abstract:
De nos jours, des applications multimédia présentant de fortes contraintes temporelles, de bande passante et de synchronisation multimédia ont été conçues. Ces applications sont aussi capables de tolérer un service de communication imparfait (c'est-à-dire un service partiellement ordonné et/ou partiellement fiable). Cependant, les services de communication actuellement disponibles au niveau transport ou réseaux ne satisfont pas entièrement ces besoins complexes de Qualité de Service (QdS). Cette thèse propose la conception d'un protocole de transport de nouvelle génération orienté QdS : QoSTP
APA, Harvard, Vancouver, ISO, and other styles
30

Zouinkhi, Ahmed. "Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10010/document.

Full text
Abstract:
La surveillance d'entrepôts de produits chimiques est une opération délicate dans le sens où elle passe par une connaissance de la nature de chaque produit stocké, sur leur localisation, sur leur possible interaction et sur les actions à mettre en oeuvre en cas d'alerte. Pour faciliter cette gestion de stockage, cette thèse propose d'utiliser le concept de l'ambiant où le produit possède son propre système d'information et de communication sans fil de façon à le rendre intelligent et autonome. Cette thèse propose et développe un modèle de comportement interne de produit actif permettant une ap
APA, Harvard, Vancouver, ISO, and other styles
31

Zouinkhi, Ahmed. "Contribution à la modélisation de produit actif communicant, Spécification et Evaluation d'un protocole de communication orienté sécurité des produits." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00594402.

Full text
Abstract:
La surveillance d'entrepôts de produits chimiques est une opération délicate dans le sens où elle passe par une connaissance de la nature de chaque produit stocké, sur leur localisation, sur leur possible interaction et sur les actions à mettre en œuvre en cas d'alerte. Pour faciliter cette gestion de stockage, cette thèse propose d'utiliser le concept de l'ambiant où le produit possède son propre système d'information et de communication sans fil de façon à le rendre intelligent et autonome. Cette thèse propose et développe un modèle de comportement interne de produit actif permettant une app
APA, Harvard, Vancouver, ISO, and other styles
32

Zouinkhi, Ahmed. "Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10010.

Full text
Abstract:
La surveillance d'entrepôts de produits chimiques est une opération délicate dans le sens où elle passe par une connaissance de la nature de chaque produit stocké, sur leur localisation, sur leur possible interaction et sur les actions à mettre en oeuvre en cas d'alerte. Pour faciliter cette gestion de stockage, cette thèse propose d'utiliser le concept de l'ambiant où le produit possède son propre système d'information et de communication sans fil de façon à le rendre intelligent et autonome. Cette thèse propose et développe un modèle de comportement interne de produit actif permettant une ap
APA, Harvard, Vancouver, ISO, and other styles
33

Daveau, Jean-Marc. "Spécifications systèmes et synthèse de la communication pour le co-design logiciel/matériel." Grenoble INPG, 1997. https://tel.archives-ouvertes.fr/tel-00002996.

Full text
Abstract:
Au fur et à mesure que la complexité s'accroit, il devient nécessaire de définir de nouvelles méthodes permettant de la gérer. Une des façons de maîtriser cette complexité est d'élever le niveau d'abstraction des spécifications en utilisant des langages de spécification systèmes. D'un autre côté, l'élévation du niveau d'abstraction augmente le fossé entre les concepts utilisés pour la spécification (processus communicants, communication abstraite) et ceux utilisés par les langages de description de matériel. Bien que ces langages soient bien adaptés à la spécification et la validation de systè
APA, Harvard, Vancouver, ISO, and other styles
34

Seng, Sorithy. "Sonde de détection d'intrusion réseau avec suivi d'état de protocole et détection d'anomalie, de la modélisation à la combinaison entre des méthodes de spécification et de fouille de données (data mining)." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAS023.

Full text
Abstract:
Cette thèse se positionne dans le contexte des sondes de détection d'intrusion réseaux (NIDS). Elle part du constat que la grande majorité des NIDS disposent d'une vision statique des échanges réseaux : ils analysent les paquets réseaux sans tenir compte des échanges de paquets précédents. Cette vision statique limite leurs capacités à détecter des attaques se déroulant dans le temps et mettant en œuvre plusieurs paquets réseaux. Il existe bien évidemment des NIDS capables de détecter des attaques s'étalant sur plusieurs paquets, mais cela est en général réalisé à l'aide d'artifices non trivia
APA, Harvard, Vancouver, ISO, and other styles
35

Villemur, Thierry. "Conception de services et de protocoles pour la gestion de groupes coopératifs." Phd thesis, Université Paul Sabatier - Toulouse III, 1995. http://tel.archives-ouvertes.fr/tel-00146528.

Full text
Abstract:
Le travail coopératif est un domaine qui étudie le travail de groupes d'utilisateurs de façon générale. Sa finalité est la conception de collecticiels, ensembles logiciels qui contiennent les outils, les applications, et les plate-formes qui supportent les activités de groupes d'utilisateurs. La gestion de ces groupes et les échanges d'information entre leurs membres nécessitent la définition de nouveaux services de communication adaptés aux besoins des agents en coopération. Les travaux menés dans ce mémoire ont consisté à définir, à concevoir et à gérer la structuration des groupes coopérati
APA, Harvard, Vancouver, ISO, and other styles
36

Siafa, Amine. "Protocole multipoint fiable et ordonné pour applications coopératives asynchrones." Chambéry, 1998. http://www.theses.fr/1998CHAMS024.

Full text
Abstract:
Un nombre important de protocoles de communication multipoint ont été développés pour supporter les besoins très variés des applications de groupe en termes de fiabilité, d'extensibilité, d'ordre, de débit, etc. Etant donnée la variété des besoins, la conception d'un protocole multipoint satisfaisant un large ensemble d'applications parait impossible sans l'introduction de la notion de qualité de service. L'introduction de la qualité de service confère au protocole la proprete de flexibilité qui permet de répondre aux besoins subtils de certaines applications, sans pour autant pénaliser les ap
APA, Harvard, Vancouver, ISO, and other styles
37

Diaz, Nava Mario. "Proposition d'une méthodologie de conception de circuits intégrés de communication : réalisation d'un communicateur pour le réseau local FIP." Phd thesis, Grenoble INPG, 1986. http://tel.archives-ouvertes.fr/tel-00320454.

Full text
Abstract:
FIP=Factory Instrumentation Protocol. On réalise un circuit intégré de communication pour le réseau FIP, projet national de communication entre automates réflexes, capteurs et actionneurs. Le circuit intégré est spécifié pour permettre soit la connexion de capteurs simples, soit la connexion de capteurs intelligents ou des automates de réseau. La conception de ce circuit intégré «à la demande» résulte d'une méthodologie originale. Cette méthodologie est orientée vers la conception de circuits VLSI de communication à partir d'une bibliothèque d'opérateurs flexibles, d'une part pour réduire le t
APA, Harvard, Vancouver, ISO, and other styles
38

Matiedje, Tawa Jeanne. "Extension événementielle d'une méthode formelle légère et application à l'analyse du protocole distribué Chord." Thesis, Toulouse, ISAE, 2019. http://www.theses.fr/2019ESAE0029.

Full text
Abstract:
Cette étude concerne l’utilisation de la logique du premier ordre et la logique temporelle linéaire pour la spécification et la vérification des systèmes dynamiques ayant des structures riches. Elle concerne l’étude de la correction de fonctionnement du protocole de recherche distribuée Chord. L’objectif est d’une part d’améliorer la spécification et la vérification des systèmes dans le langage formel Electrum qui est une extension dynamique du langage formel Alloy basé sur la logique du premier ordre temporelle linéaire.Pour ce faire, nous avons développé une couche syntaxique au-dessus d’Ele
APA, Harvard, Vancouver, ISO, and other styles
39

Gineste, Mathieu. "Spécification d'un cadre générique pour l'expression et le déploiement de la Qualité de Service dans les architectures de communication : application à une architecture de communication par satellite." Paris 6, 2006. http://www.theses.fr/2006PA066267.

Full text
Abstract:
L’évolution des applications vers le multimédia et des réseaux vers une hétérogénéité d’architectures protocolaires, a placé la notion de Qualité de Service au cœur des architectures de communication émergentes ; Ceci soulève la question de l’expression de la QdS et de l’adaptation aux besoins applicatifs de la diversité des services disponibles. Cette thèse propose un cadre sémantique et syntaxique pour décrire les contraintes applicatives et les services sous-jacents, et sélectionner et composer les services de communication, répondant aux besoins applicatifs. Les systèmes satellitaires intè
APA, Harvard, Vancouver, ISO, and other styles
40

Mateescu, Radu. "Vérification des propriétés temporelles des programmes parallèles." Phd thesis, Grenoble INPG, 1998. http://www.theses.fr/1998INPG0039.

Full text
Abstract:
"La vérification formelle est indispensable pour assurer la fiabilité des applications critiques comme les protocoles de communication et les systèmes répartis. La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers). Cependant, les logiques temporelles "classiques", définies sur un vocabulaire d'actions atomiques, ne sont pas adaptées aux langages de description
APA, Harvard, Vancouver, ISO, and other styles
41

Romero-Hernandez, Ivan. "Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles." Phd thesis, 2004. http://tel.archives-ouvertes.fr/tel-00266421.

Full text
Abstract:
Dans cette thèse on présente une proposition pour la spécification de protocoles de communication utilisés dans le contexte de systèmes multiagent, et qui nous appelons basée sur rôles. L'idée de rôle est récurrente dans le domaine de systèmes multiagent, et représente ce qui fait un agent dans une organisation, c'est à dire, la fonctionnalité qui est accomplie par l'agent dans le système, fonctionnalité qui est exprimée très souvent sous la forme d'échanges de messages qui suivent un protocole o séquence predéfinie. En nous centrant exclusivement sur l'aspect de l'interaction, il est possible
APA, Harvard, Vancouver, ISO, and other styles
42

Zemmouri, Fathya. "Un modèle de validation automatique de mécanismes de sécurisation des communications." Thèse, 2003. http://hdl.handle.net/1866/14537.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography