Dissertationen zum Thema „Industrial protocol“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Industrial protocol" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Pallares, Joan. „Study of industrial environment using Zigbee protocol and modeling industrial noise“. Thesis, Högskolan i Gävle, Avdelningen för elektronik, matematik och naturvetenskap, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-27025.
Der volle Inhalt der QuellePhua, Cheng Tatt Valance. „A communication protocol framework for wireless sensor networks in industrial environments“. University of Western Australia. School of Computer Science and Software Engineering, 2009. http://theses.library.uwa.edu.au/adt-WU2009.0179.
Der volle Inhalt der QuelleCui, Qin. „TDMA-based Routing Protocol in Industrial Wireless Sensor Networks“. Thesis, Mittuniversitetet, Avdelningen för informations- och kommunikationssystem, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-19748.
Der volle Inhalt der QuelleNorén, Henrik. „Industrial Ethernet and new possibilities - Simplifying function tests of industrial devices“. Thesis, Institutionen för systemteknik, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-52533.
Der volle Inhalt der QuelleWhat do you do if you are implementing a new fieldbus protocol in your embed- ded industrial system and want to test it? This was the question that a group of engineers at ABB Corporate Research was asking themselves. Normally, the easiest way would probably be to buy a matching device supporting the same protocol and hook it up to the system. You might also need some equipment to listen in on the traffic between the two, so you’d need to buy that too.
But what if you are working with a limited budget? Or what if this protocol is fairly new, and matching devices are hard to find? Or what if you want to test cases that can’t normally be achieved with normal usage?
Normally, with traditional fieldbus standards, this could be complicated. You would probably need an additional sample of your new system, with some cus- tom made test code, and use this to test the original system. This is not a bad method, but this report will give an example of the new possibilities that comes with the new Ethernet base fieldbus standards emerging on the market today. It will highlight the possibility to create a test tool for your industrial system to use on a standard PC.
”Why?” you might ask. The report suggests that this solution is cheap, fast and flexible. First of all, no special hardware was needed, which had a posi- tive impact on cost. The only thing used was a PC and some standard office equipment.
Second, once the test tool was created, new test cases was really fast and easy to make. The test tool was designed to function as a general framework for creating dynamic test sequences based on Ethernet.
Third, the tool is flexible enough to test a lot of different cases, even cases not allowed by the standard. It made it possible to test cases that would have required the use of several samples of test system simultaneously to work. Also, because Ethernet is such a well known standard, there are a lot of existing software tools at your disposal. For example, free software for capturing and analyzing the test results was used during the tests. Furthermore, since the test tool was designed to be easily extendable to handle more protocols, it is even more flexible and useable for future similar problems.
Liang, Kuei-Chia. „Explicit representation of design requirements and its impact on industrial designing“. Thesis, University of Derby, 1999. http://hdl.handle.net/10545/215211.
Der volle Inhalt der QuelleThompson, Shaun. „Application of controller area network bus and CANopen protocol in Industrial Automation“. Thesis, Thompson, Shaun (2018) Application of controller area network bus and CANopen protocol in Industrial Automation. Honours thesis, Murdoch University, 2018. https://researchrepository.murdoch.edu.au/id/eprint/44816/.
Der volle Inhalt der QuelleDerhamy, Hasan. „Towards Interoperable Industrial Internet of Things : An On-Demand Multi-Protocol Translator Service“. Licentiate thesis, Luleå tekniska universitet, Institutionen för system- och rymdteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-138.
Der volle Inhalt der QuellePettersson, William. „An Evaluation of IoT Protocol Efficiency and suitability : For smart vehicles, smart homes & industrial scenarios“. Thesis, Mittuniversitetet, Institutionen för informationssystem och –teknologi, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-42392.
Der volle Inhalt der QuelleInternet of things (IoT) is the base topic of this thesis, and it is a rapidly growing area, it can be described as a network of communicating devices sharing information and streamlining tasks in addition to increasing efficiency and security. It is expected to be 24 billion connected devices by year 2050 and with this growth comes an increased demand on understanding the IoT protocols to be able to choose a suitable protocol for a given scenario. This thesis will discuss this area and pick one protocol to evaluate specifically regarding latency, throughput, and scalability. The protocol chosen were MQTT (Message Queuing Telemetry Transport). Based on these values then discuss whether the protocol is a suitable candidate for the scenarios. The data to evaluate this will be gathered by measuring the end-to-end time of the protocol in respect to the number of communicating programs, and to measure the time it takes to communicate a number of messages with respect to the number of programs handling the communication. These tests are performed with a local PC acting as the broker and a Raspberry pi running each of the communicating programs on individual terminals. The results were that latency seem to have a close to liner relation, and that throughput seem to have an exponentially decreasing relation with respect to number of clients cooperating. The measured results are analyzed and discussed and concluded that the protocol is a fitting candidate for most scenarios such as smart cars, smart homes and to some extent industry. The biggest flawed concluded was the protocols high standard deviation for individual messages latency. The outcome of the benchmarks measurement showed that increasing the number of nodes would not result in superior performance. It was noted that an optimal number of nodes was found to be between 1 and 20 for all the tests performed. The study showed that no load balancer could be considered a clear winner, instead, different configurations of load balancers performed varyingly well at different tests.
Piccinini, Andrea. „Innovative Architecture for Industrial Monitoring System“. Doctoral thesis, Università degli studi di Bergamo, 2019. http://hdl.handle.net/10446/128134.
Der volle Inhalt der QuelleRobson, Alessio Costa. „DISTRIBUIÇÃO E FRACIONAMENTO DE METAIS EM SOLOS DO DISTRITO INDUSTRIAL DE SÃO LUÍS DO MARANHÃO“. Universidade Federal do Maranhão, 2014. http://tedebc.ufma.br:8080/jspui/handle/tede/994.
Der volle Inhalt der QuelleThe geochemical fractions of Cd, Pb, Cu, Cr, Ni, Zn were determined according to the protocol developed by the Comunnity Bureau of Reference (BCR). The fractions of the protocol are divided into exchangeable (F1), reducible (F2), oxidisable (F3). A new fraction, the residual (F4), was included in the fractionation. The concentration of metals was determined by atomic emission spectrometry by inductively coupled plasma (ICP-OES). In addition, a mobility experiment was conducted by spiking a standard solution of metals to soils and subsequent application of the BCR protocol. The results of fractionation in the original soils detected only the presence of Pb, distributed in exchangeable (F1) and residual fractions (F4), indicating that soils are not contaminated. The mobility experiment showed that added metals in soils were retained in the fractions F1 and F3. Most acid soils have lower metal immobilization metals in fraction F1 (r2 = 0.99). The decreasing order of metals in each fraction contaminated soils was: F1 (55.3%)> F3 (18.75%)> F2 (6.35%). The application of principal component analysis (PCA) identified that the Cr showed higher affinity to organic fraction (F3), followed by Cu. The soils of the industrial district do not have values that offer risk to the ecosystem. In turn, these soils, due to its acidity and low organic matter content, provide unfavorable conditions to metal retention, favoring leaching in case of eventual contamination.
As frações geoquímicas dos metais Cd, Pb, Cu, Cr, Ni, Zn foram determinadas conforme o protocolo desenvolvido pelo Comunnity Bureau of Reference (BCR). As frações do protocolo são divididas em trocável (F1), redutível (F2), oxidável (F3). Uma nova fração, a residual, foi incluída no fracionamento. A concentração de metais foi determinada por espectrometria de emissão atômica por plasma indutivamente acoplado (ICP-OES). Adicionalmente, foi conduzido um experimento de mobilidade mediante adição de uma solução-padrão de metais aos solos e posterior aplicação do protocolo BCR. Os resultados do fracionamento nos solos originais apresentaram detectaram apenas a presença de Pb, distribuídos em frações trocáveis(F1) e residuais, indicando que os solos não estão contaminados. O experimento de mobilidade demonstrou que os metais adicionados nos solos ficaram retidos nas frações F1 e F3. Os solos mais ácidos apresentam menor imobilização de metais na fração F1 (r2 = 0,99). A ordem decrescente dos metais em cada fração dos solos contaminados foi: F1 (55,3%) > F3 (18,75%) > F2 (6,35%). A aplicação da análise do componente principlal (PCA) permitiu identificar que o Cr apresentou maior afinidadepela fração orgânica (F3), seguido pelo Cu. Os solos do distrito industrial investigado não apresentam valores que oferecem risco ao ecossistema. Por sua vez, esses solos, devido a sua acidez e baixo teor de matéria orgânica, propriciam condições desfavoráveis a retenção de metais,favorecendo a lixiviação dos mesmos em caso de eventual contamainação. .
Hervella, Cassio. „Projeto e desenvolvimento de um controlador logico programavel flexivel para controle de manipuladores e robos industriais“. [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265020.
Der volle Inhalt der QuelleDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-07-22T16:01:59Z (GMT). No. of bitstreams: 1 Hervella_Cassio_M.pdf: 6637417 bytes, checksum: a9b3d4d37dcc1eba14ccf5bd3013af19 (MD5) Previous issue date: 1997
Resumo: Neste trabalho foi projetado, desenvolvido e implementado um sistema de controle programável flexível, para aplicação principal no controle de manipuladores e robôs industriais. Como método de abordagem global de um problema de controle automático, podemos dividí-lo em quatro partes principais, a primeira sendo a medição, aquisição e tratamento das grandezas a controlar, a segunda sendo o algoritmo de controle e o sistema de acionamento, a terceira sendo a automatização via programação e simulação de trajetórias e tarefas, e finalmente, a quarta parte sendo a interface homem-máquina. Sendo assim, subdividiu-se o sistema de controle desenvolvido em quatro módulos principais, sendo eles, o módulo de Monitoramento e Supervisão, o módulo de Controle e Acionamento, o módulo de Programação e Simulação e o módulo de Interface com o Usuário; por sua vez, estes módulos são compostos por vários sub-sistemas modulares, que foram projetados, desenvolvidos e testados separadamente, para que fossem flexíveis e confiáveis, tendo sido integrados em seguida, de várias maneiras, de modo a atender às características específicas de cada aplicação. Dentre os sistemas desenvolvidos, temos, por exemplo, interfaces de interface de entrada e saída de dados digitais, interfaces de supervisão de posição, interfaces de acionamento de potência, interfaces de decodificação de sinais de encoders; programas de testes para as interfaces desenvolvidas, programa de interface gráfica para utilização pelo usuário, e outros. Numa aplicação típica, no controle de um robô industrial, podemos ter diversos tipos de atuadores, sensores, mecanismos e arquiteturas do sistema mecânico a controlar, assim, com a substituição de alguns módulos, obtêm-se uma integração flexível que atende as necessidades de cada caso, sem que seja necessário um sistema de controle completamente novo, tomando a automação mais simples, eficiente e rápida. Por exemplo, na automação de um robô, podem ser necessários dois computadores, para que as cargas de processamento de dados de controle e a carga de processamento da interface gráfica com o usuário possam ser divididas entre estes; porém, numa aplicação, como o posicionamento de uma câmera de vídeo, a simplicidade do sistema mecânico, permite a utilização de um único computador, ou mesmo, uma interface dedicada, sendo mantida toda a estrutura global do sistema de controle
Abstract: In this work, it has been designed, developed and implemented a programmable flexible control system, for main application in the control of manipulators and industrial robots. As a global approaxing method for an automatic control problem, we can divide it in four main parts, the first beeing the measument, aquisition and treatment of the variables to control, the second beeing the control algorithm and the actioning system, the third beeing the automation throw programming and simulating of jobs and trajectories, and finally,the fourth beeing the man-machineinterface. Thus, we divided the developed control system in four main modules, which are, the Monitoring and Supervising module, the Actioning and Control module, the Simutation and Programming module and the User's Interface; which are compound by various modular subsystems, that were designed, developed and tested separately, so that they would be dependable and flexible, beeing then integrated, in many ways, to full-fill the specific caracteristics of each application. Within the developed systems, we have, for example, digital data input and output interface boards, position supervising boards, power driving boards, encoder sinal decodifying boards; test programs for the developed boards, graphics interface program to be utilized by the user, and others. In a tipical application, in controlling an industrial robot, we can have many diferent types of actuators, sensors, mechanisms and architectures of the mechanical system to control, thus, by substituting a few modules we can obtain a flexible integration that answers to the needs of each case, without the need of a completely new control system, making the automation more simple,eficient and fast. As an example, in the automation of a robot, may be neccessary two computers, so that the data processing loads of control and the user's graphics interface processing load can be divided between these, but, in an application, like a vídeo camera positioning, the simplicity of the mechanical system, enables the use of only one computer, or even, a dedicated board, beeing keept the global structure of the control system
Mestrado
Mecanica dos Sólidos e Projeto Mecanico
Mestre em Engenharia Mecânica
Aybar, Guray. „Simulation And Performance Evaluation Of A Distributed Real-time Communication Protocol For Industrial Embedded Systems“. Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613921/index.pdf.
Der volle Inhalt der Quelles on the average, causing no asynchronousity in their instantaneous operational states. The D3RIP Simulator is useful in keeping track of any variable in the D3RIP system automaton at any instant up to 1µ
s resolution.
Shen, Wei. „A Protocol Framework for Adaptive Real-Time Communication in Industrial Wireless Sensor and Actuator Networks“. Doctoral thesis, Mittuniversitetet, Avdelningen för informations- och kommunikationssystem, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-22110.
Der volle Inhalt der QuelleGozcu, Ahmet Korhan. „Implementation And Evaluation Of A Synchronous Time-slotted Medium Access Protocol For Networked Industrial Embedded Systems“. Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613569/index.pdf.
Der volle Inhalt der QuelleCicillini, Daniele Aparecida. „Desenvolvimento de um algoritmo de escalonamento para rede Foundation Fieldbus“. Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/18/18149/tde-25062008-150542/.
Der volle Inhalt der QuelleThis dissertation presents and implements a scheduling algorithm for the Foundation Fieldbus technology. The algorithm named FFSMART schedules cyclic or periodic communication messages among field devices connected to a fieldbus. The FFSMART is a pre-runtime scheduling algorithm, which allows meeting the restrictions of precedence from function blocks, customizing and optimizing the use of the system resources. The algorithm was implemented using the Visual Basic programming language and validated in a real application environment using configuration strategies, and the results were satisfactory.
Ågren, David. „Improving system integration by standardizing and automating the Modbus protocol“. Thesis, Luleå tekniska universitet, Digitala tjänster och system, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-79529.
Der volle Inhalt der QuelleMuradzikwa, Samson. „The SADC trade protocol and industrial performance in Southern Africa : a case of the automotive industry in Zimbabwe“. Master's thesis, University of Cape Town, 1999. http://hdl.handle.net/11427/9943.
Der volle Inhalt der QuelleIt is generally accepted that regional cooperation and integration can facilitate renewed industrial growth and sustainable development, particularly among the developing countries of the world. Even the developed economies have not been able to avoid the tendency towards integration, as it is believed that the benefits to be reaped far outweigh the associated costs. The purpose of this research is to focus on the Southern African region, more particularly, the SADC region. The SADC Trade and Investment Protocol was signed by all SADC members in August of 1996 and it was envisaged that a free trade area would be established by 2002 by means of a gradual tariff phase down, and the removal of an other impediments to intra-regional trade. What is of concern to individual member states are the implications of such a protocol on industrial performance and trade patterns in the region.
Martins, Mauricio Pires. „Estruturação da parte de comando de um sistema automatizado de produção com enfase na implementação de um sistema de supervisão“. [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265035.
Der volle Inhalt der QuelleTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-07-25T12:49:29Z (GMT). No. of bitstreams: 1 Martins_MauricioPires_D.pdf: 8710691 bytes, checksum: 56d689278ea3902d6877db56e7475126 (MD5) Previous issue date: 1998
Resumo: Este trabalho apresenta um estudo da automação relativo ao planejamento do processo, monitoração de máquinas e equipamentos, fluxo de materiais, supervisão do sistema e redes de comunicação. No trabalho são desenvolvidos programas para monitoração de máquinas e equipamentos. São apresentados e implementados algoritmos e soluções para o uso de interfaces, utilizando-se como hardware básico, um microcomputador e como linguagem de programação, o Visual Basic. São apresentados exemplos de sistemas automatizados desenvolvidos e implementados no Laboratório de Automação, onde são feitos testes comparativos de programação em Diagrama de Relés e Grafcet. Baseado na hierarquia do planejamento de sistemas CIM (Computer Integrated Manufacturing), é implementado um sistema de supervisão ao ambiente experimental PIPEFA (Plataforma Industrial para Pesquisa Ensino e Formação em Automação), que simula um sistema integrado de produção. Utilizando-se de redes e interfaces de comunicação, o sistema de supervisão integra os diversos níveis da pirâmide CIM, fazendo a comunicação do nível administrativo com o de produção
Abstract: This work presents a study of automation relative to process planning, monitoring of machines and equipment, material flux, supervision of the system and communication network. In this work are developed programs to monitoring machines and equipments. Algorithms and solutions to the use of interfaces are presented and implemented, utilizing a microcomputer as basic hardware and Visual Basic as the programmation language. Examples of automated systems are presented. They are developed and implemented in the automation laboratory "Laboratório de Automação Integrada e Robótica", where comparative tests of programming in Ladder Diagram and Grafcet are made. Based on the hierarchy of planning of the CIM:systems, it is implemented a supervisory system to the experimental ambient PIPEFA (Industrial Platform to the Research, Education and Formation in Automation), that simulates a integrated system of production. Utilized by networks and interfaces af communication, the supervisory system integrates different levels of the CIM pyramid, making a communication of the administrative leveI with the productian ane, by Internet
Doutorado
Mecanica dos Sólidos e Projeto Mecanico
Doutor em Engenharia Mecânica
Cuozzo, Giampaolo. „A Wireless Protocol for Smart Manufacturing using LoRa at 2.4 GHz“. Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.
Den vollen Inhalt der Quelle findenTuran, Ulas. „Implementing And Evaluating The Coordination Layer Andtime-synchronization Of A New Protocol For Industrialcommunication Networks“. Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613576/index.pdf.
Der volle Inhalt der Quelleinterface layer that provides time-slotted access to the shared medium based on an accurate clock synchronization of the distributed controller devices and coordination layer that decides the ownership of real-time slots. In this thesis, coordination layer protocol of D3RIP family and the IEEE 1588 time synchronization protocol is implemented and tested on the real hardware system that resembles a factory plant floor. In the end, we constructed a system that runs an instance of D3RIP family with 3ms time-slots that guarantees 6.6ms latency for the real-time packets of control application. The results proved that our implementation may be used in distributed controller realizations and encouraged us to further improve the timing constraints.
Amoah, Raphael. „Formal security analysis of the DNP3-Secure Authentication Protocol“. Thesis, Queensland University of Technology, 2016. https://eprints.qut.edu.au/93798/1/Raphael_Amoah_Thesis.pdf.
Der volle Inhalt der QuelleAmaro, da Cruz Mauro. „An enhanced multi-protocol middleware solution for Internet of things“. Thesis, Mulhouse, 2021. https://www.learning-center.uha.fr/.
Der volle Inhalt der QuelleIn Internet of Things (IoT), data is handled and stored by software known as middleware (located on a server). The evolution of the IoT concept led to the construction of many IoT middleware, software that plays a key role since it supports the communication among devices, users, and applications. Several aspects can impact the performance of a middleware. Based in a deep review of the related literature and in the proposal of a Reference Model for IoT middleware, this thesis proposes a new IoT middleware, called In.IoT, a scalable, secure, and innovative middleware solution based on a deep review of the state of the art and following the reference middleware architecture that was proposed along with this research work. In.IoT addresses the middleware concerns of the most popular solutions (security, usability, and performance) that were evaluated, demonstrated, and validated along this study, and it is ready and available for use. In.IoT architectural recommendations and requirements are detailed and can be replicated by new and available solutions. It supports the most popular application-layer protocols (MQTT, CoAP, and HTTP). Its performance is evaluated in comparison with the most promising solutions available in the literature and the results obtained by the proposed solution are extremely promising. Furthermore, this thesis studies the impact of the underlying programming language in the solution's overall performance through a performance evaluation study that included Java, Python, and Javascript, identifying that globally, Java demonstrates to be the most robust choice for IoT middleware. IoT devices communicate with the middleware through an application layer protocol that may differ from those supported by the middleware, especially when it is considered that households will have various devices from different brands. The thesis offers an alternative for such cases, proposing an application layer gateway, called MiddleBridge. MiddleBridge translates CoAP, MQTT, DDS, and Websockets messages into HTTP (HTTP is supported by most IoT middleware). With MiddleBridge, devices can send a smaller message to an intermediary (MiddleBridge), which restructures it and forwards it to a middleware, reducing the time that a device spends transmitting. The proposed solutions were evaluated in comparison with other similar solutions available in the literature, considering the metrics related to packet size, response times, requests per second, and error percentage, demonstrating their better results and tremendous potential. Furthermore, the study used XGBoost (a machine learning technique) to detect the occurrence of replication attacks where an attacker obtains device credentials, using it to generate false data and disturb the IoT environment. The obtained results are extremely promising. Thus, it is concluded that the proposed approach contributes towards the state of the art of IoT middleware solutions
Naumann, Roman. „Wireless Networking in Future Factories: Protocol Design and Evaluation Strategies“. Doctoral thesis, Humboldt-Universität zu Berlin, 2020. http://dx.doi.org/10.18452/21013.
Der volle Inhalt der QuelleAs smart factory trends gain momentum, there is a growing need for robust information transmission protocols that make available sensor information gathered by individual machines. Wireless transmission provides the required flexibility for industry adoption but poses challenges for timely and reliable information delivery in challenging industrial environments. This work focuses on to protocol design and evaluation aspects for industrial applications. We first introduce the industrial use case, identify requirements and derive concrete design principles that protocols should implement. We then propose mechanisms that implement these principles for different types of protocols, which retain compatibility with existing networks and hardware to varying degrees: we show that use-case tailored prioritization at the source is a powerful tool to implement robustness against challenged connectivity by conveying an accurate preview of information from the production process. We also derive precise bounds for the quality of that preview. Moving parts of the computational work into the network, we show that reordering queues in accordance with our prioritization scheme improves fairness among machines. We also demonstrate that network coding can benefit our use case by introducing specialized encoding and decoding mechanisms. Last, we propose a novel architecture and evaluation techniques that allows incorporating possibly proprietary networking protocol implementations with modern discrete event network simulators, rendering, among others, the adaption of protocols to specific industrial use cases more cost efficient. We demonstrate that our approach provides sufficient performance and improves the validity of evaluation results over the state of the art.
Celanovic, Ivan. „A Distributed Digital Control Architecture for Power Electronics Systems“. Thesis, Virginia Tech, 2000. http://hdl.handle.net/10919/34998.
Der volle Inhalt der QuelleMaster of Science
Cavaletti, Marco. „A Wireless Solution for Industrial IoT Using LoRa at 2.4 GHz“. Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.
Den vollen Inhalt der Quelle findenDemirdag, Serap. „Harmonisation In European Union On Industrial Property Rights Protection Procedures: Effects On Turkey Within The Framework Of Customs Union“. Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12604962/index.pdf.
Der volle Inhalt der QuelleWhat are the current systems of Industrial Property Rights protection in the world, in the European Union and Turkey?&rdquo
and &ldquo
Is there a way for Turkey to be included within the EU Industrial Property protection system in the future while still being under the relation of Customs Union?&rdquo
. To answer these questions current systems of Industrial Property Rights protection in the world, in European Union and Turkey is briefly analyzed and following this analysis, a proposal for a closer cooperation in Industrial Property protection system of Turkey with the European Union is given backed up with a comparison of statistical data of EU, Turkey and candidate countries.
Dickow, Victor Hugo. „Avaliação de algoritmos de roteamento e escalonamento de mensagens para redes WirelessHART“. reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2014. http://hdl.handle.net/10183/97235.
Der volle Inhalt der QuelleThe application of wireless networks has grown considerably in recent years. Protocols based on this technology are being developed for a great variety of applications. Reliability is one of the main requirements for communication protocols in industrial environments. Interferences, noisy environment and high risk processes that are monitored are factors that increase the levels of requirements in terms of reliability, redundancy and security of the protocol. The WirelessHART protocol is a wireless communication standard specifically designed for process monitoring and control applications with the necessary requirements for to be used in industrial environments. The WirelessHART standard defines several technical aspects to be used in the development of the algorithms. The algorithms of routing and scheduling messages are highly relevant to meeting the timing requirements of reliability and safety. Routing and scheduling strategies are specified, however, the routing and scheduling algorithms are not defined for use. The goal of this dissertation is to analyze some of the main algorithms that have been proposed specifically for the WirelessHART protocol and to present a set able to be applied in this protocol. Analyzes and comparisons between algorithms are realized by providing a detailed study of their impacts on the protocol performance.
Müller, Ivan. „Gerenciamento descentralizado de redes sem fio industriais segundo o padrão WirelessHART“. reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/76169.
Der volle Inhalt der QuelleThe use of wireless devices in industrial systems for process monitoring and control has been gradually increasing. The high costs of cabling encourage plant managers to consider the use of such industrial wireless systems, since they promote large reductions in final costs. However, the link robustness and the real-time communication requirements are frequently cited as real obstacles to the use of wireless technologies in the industry. Ahead of other organizations, the HART Foundation launched the in 2007WirelessHART, which is the first open standard for wireless communications developed specifically for industrial environments. WirelessHART is a reliable and secure protocol and provide real-time communications but the thorough study of this protocol reveals several possibile improvements. In this protocol, network management is done centrally, ensuring simplicity and control over the scheduling, routing and messaging security. Moreover, large latency, especially in the connection and disconnection processes of field devices, preclude the use of mobile or intermittent devices. The concentration of one element in management also leads to the system fragility: if the central manager fails the entire network fail. In this work, a innovative WirelessHART network achitecture is presented and implemented by means of hardware-based distributed network manager coprocessors to enable decentralization and its blessings. The developed system allows different decentralized, partial or total architectures with minimal changes to the original protocol. A hardware-based solution maintains field devices with its low cost and consumption features and allow coexistence with certified equipment. The decentralization methodology along with its originality is presented and case study allows the evaluation of the proposal. The results demonstrate the architecture has great potential with significant reductions in join and maintenance times. The proposed decentralization enables configurations and operating modes previously impossible in WirelessHART such as the use of mobile or intermittent devices and handover techniques.
Bayou, Lyes. „Assessment and enforcement of wireless sensor network-based SCADA systems security“. Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2018. http://www.theses.fr/2018IMTA0083/document.
Der volle Inhalt der QuelleThe security in Industrial Control Systems is a major concern. Indeed, these systems manage installations that play an important economical role. Furthermore, targeting these systems can lead not only to economical losses but can also threaten human lives. Therefore, and as these systems depend on sensing data, it becomes obvious that additionally to real-time requirement, it is important to secure communication channels between these sensors and the main controllers. These issues are more challenging inWireless Sensor Networks (WSN) as the use of wireless communications brings its own security weaknesses. This thesis aims to address WSN-based security issues. Firstly, we conduct an in-deep security study of the WirelessHART protocol. This latter is the leading protocol for Wireless Industrial Sensor Networks (WISN) and is the first international approved standard. We assess its strengths and emphasize its weaknesses and limitations. In particular, we describe two harmful security vulnerabilities in the communication scheme of WirelessHART and propose improvement in order to mitigate them. Secondly, we present wIDS, a multilayer specification based Intrusion Detection System (IDS) specially tailored for Wireless Industrial Sensor Networks. The proposed IDS checks the compliance of each action performed by a wireless node based on a formal model of the expected normal behavior
Alves, Luiz Ferreira. „Laboratório remoto para controle e supervisão de processos industriais em planta didática multitarefa“. Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/18/18153/tde-26022019-104544/.
Der volle Inhalt der QuelleThis thesis addresses the development and implementation of a remote laboratory for the discipline \"SEL0431 – Industrial Processes Control Laboratory\", which aims to provide students with direct contact with control and supervision systems of industrial processes through projects developed in a didactic plant. The laboratory was first implemented in 2017 and consists of a reduced scale plant, which contains field instruments, programmable logic controllers, digital communication networks and a server that connects the laboratory\'s local network to the University Wide Area Network (WAN). Students access the server through RDP applications over VPN and they are supported by online portals and additional tools to perform their remote experiments with the plant. In addition to serving as a gateway between the plant and the students\' machines, the server authenticates its users, manages simultaneous access and enables students to view and obtain plant data more easily. At the end of each project, the author of this paper conducted a survey to record the students\' impression of the use of the remote laboratory and compared the results presented by the students of 2016 classes and those of 2017 classes of this discipline. The analysis revealed the remote laboratory positively impacted on the academic performance of students in this discipline: they achieved more complete results, explored more deeply the plant resources and positively evaluated the use of such tool as a support for teaching industrial processes control and supervision. Furthermore, the technical solution is replicable to other practical courses and presents the advantage of enabling students to totally control the plant without forgoing the security during their experiments.
Menezes, Junior Luiz Ferreira. „Controle automatizado para scanners de luz“. [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/264979.
Der volle Inhalt der QuelleDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-08-04T02:13:27Z (GMT). No. of bitstreams: 1 MenezesJunior_LuizFerreira_M.pdf: 3960270 bytes, checksum: 542b501adbaca7fc3d8ff80120fab0d3 (MD5) Previous issue date: 2004
Resumo: Este trabalho apresenta um método de controle automatizado de scanners de luz baseado no posicionamento dos projetores. É desenvolvida ainda uma estratégia de posicionamento dos focos de luz, através de acionamento sincronizado por sinais de áudio. Todos os modos de controle desenvolvidos são incorporados a um software de gerenciamento. No processo de controle toma-se necessário também a construção de uma interface de dados baseada no protocolo PC-DMX512. O trabalho contempla ainda uma descrição detalhada de tal protocolo e do hardware construído. O resultado final é ilustrado através de exemplos e do manual de operação do software de controle
Abstract: The work presents a method for automatically positioning of the light beam scanners. A strategy for synchronizing their positions based on the audio signals is also developed All control modes developed are incorporated into a managing system software. The controlling process requires the construction of a digital data interface to the hardware on the basis of the DMX512 protocol. The work includes a detailed description of the DMX512 protocol and the implemented hardware. Final results are illustrated through examples and operation manual
Mestrado
Mecanica dos Sólidos e Projeto Mecanico
Mestre em Engenharia Mecânica
Rouget, Peter. „Design of mechanisms for filtering and isolations of industrial protocols“. Thesis, Montpellier, 2019. http://www.theses.fr/2019MONTS027/document.
Der volle Inhalt der QuelleWith the rise of Industry 4.0, many infrastructures were forced to open their networks to the Internet, mainly to meet the growing need for supervision and remote control. But where these infrastructures were previously isolated, spared from external threats, their opening has caused the emergence of new threats, particularly network ones, which were not addressed and present serious risks.Network cybersecurity solutions, like Firewalls, Intrusion Detection Systems or Intrusion Protection Systems are commonly used to address the concern of industrial infrastructures cybersecurity. However the trend of relying on software-based systems to ensure network protection brought to light the vulnerabilities of these systems, due to their inherent software implementation. Furthermore, the industry is tied to its own specificities (low-latency, support of specific network protocols), which are rarely covered by common IT solutions.The main goal of this thesis is to study the use of FPGA-based devices applied to cybersecurity for industrial networks. Either as support for software-based security applications, or to perform critical network analysis operations. First it presents the industrial context, with control systems, their architectures, needs, implementation rules, specific protocols and also gives two examples of control systems as they can be found in the industry. Then it highlights the security problematic, with a description of the most common threats, cases study about their applications and impact in a control system, and discussions on the state of the art counter-measures available on the market. Through the establishment of a security target, it points the vulnerability of software elements and operating systems as well as the lack of process state aware security analysis.To address these issues, we propose, through a first contribution, to enforce the security of the software system by taking advantage of existing FPGA's protection mechanisms. Finally, to answer specific application threats, we introduce an implementation of a brute force matching architecture with time and operational-process awareness, on FPGA.This thesis was conducted in collaboration between the Montpellier computer science, robotic and microelectronic laboratory (LIRMM) and the SECLAB company
Pease, Amanda Lee. „Heat Stress Evaluation of Protective Clothing Ensembles“. Scholar Commons, 2010. http://scholarcommons.usf.edu/etd/3485.
Der volle Inhalt der QuelleKabir-Querrec, Maëlle. „Cyber sécurité des systèmes industriels pour les smart-grids : détection d'intrusion dans les réseaux de communication IEC 61850“. Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT032/document.
Der volle Inhalt der QuelleInformation and Communication Technologies have been pervading Industrial Automation and Control Systems (IACS) for a few decades now. Initially, IACS ran proprietary protocols on closed networks, thus ensuring some level of security through obscurity and isolation. Technologies and usages have evolved and today this intrinsic security does not exist any longer, though. This transition is in progress in the electricity domain, the power infrastructure turning into the "smart grid".The IEC 61850 standard is key to the smart grid development. It is aimed at making interoperability possible in ``Communication networks and systems for power utility automation''. It thus defines a common data object model and a stack of protocols answering different purposes.Although the cyber risk in IACS is now widely acknowledged, IEC 61850 does not address cyber security in any way whatsoever.This work tackles the question of cyber security through network intrusion detection in IEC 61850 networks, and more specifically in real-time GOOSE communications. The idea is to get the most out of the protocol specifications and system configuration while developing a tailored NIDS. This enables detection accuracy
Ingram, David M. E. „Assessment of precision timing and real-time data networks for digital substation automation“. Thesis, Queensland University of Technology, 2013. https://eprints.qut.edu.au/60892/5/60892.pdf.
Der volle Inhalt der QuelleKoh, Kenneth Johannesen. „Analysis of Key Industrial WSN MAC Protocols“. Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for telematikk, 2014. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-27346.
Der volle Inhalt der QuelleAndreasson, Samuel, und Jesper Palmér. „OPC UA Field eXchange Prototyping : Enabling decentralized communication using Publish/Subscribe“. Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-45029.
Der volle Inhalt der QuelleOpen Platform Communication Unified Architechure, eller OPC UA, är ett av de världsledande kommunikationsprotokoll som är specialiserat i att förena kommunikation i produktionssystem. 2018 startade OPC Foundation, ett industriellt konsortium, ett initiativ vid namn OPC UA Field eXchange med målet att utvekcla det nuvarande protokollet så att det kan användas till kommunikation på låg nivå, exempelvis mellan sensorer och ställdon. Denna rapport utforskar ifall det är möjligt att utveckla protokollet och integrera det i HMS Networks modul AnyBus CompactCom 40. Problemformluleringen baseras på framtida behov hos fabriker relaterat till automatisering. För att konkurrera framöver behöver fabriker anpassa sig till utvecklingen inom automatisering. OPC UA FX fokuserar på decentralierad kommunikation mellan enheter som fältanordning, maskin och moln samtidigt för att belastningen ska delas upp över hela systemet. Samtidigt som enheter i industiella nätverket fritt ska kunna överföra data mellan varandra oberoende vilken tillverkare som skapat enheten. Syftet med arbetet är att, baserat på Open62541, utveckla PubSub teknologi med metoder som möjlighetsgör att två eller fler instanser av en FX applikation ska kunna transportera data genom att prenumerera på och publicera data samtidigt. När mjukvaran fungerar är tanken att integrera mjukvaran på en AnyBus CompactCom 40 modul för att bevisa att implementationen är möjlig i ett praktiskt sammanhang. Open62541 används för att inkludera nödvändiga OPC UA bibliotek, funktionalitet och datatyper. Protokollet utvecklas i C i en VisualStudio miljö och integreras med hjälp av Eclipse. Resultatet i form av mjukvara var en kopplings intriktat data utbyte, baserad på OPC UA information modell, där en eller två instanser av ett program kan publicera och prenumerera på data samtidigt. HMS Networks kan använda resultatet i arbetet att implementera OPC UA FX i deras produkter. Sammanfattningsvis är Open62541 ett mycket användbart verktyg för utvekcling av OPC UA protokol. Dessvärre lyckades inte integrationen av mjukvaran i CompactCom modulen helt och hållet, men det som åstadkommits i arbetet kan i hög grad användas för fortsatt utveckling av OPC UA FX i HMS Networks produkter.
Scott, Andrew James. „The impact of touch screen technologies on the product interface“. Thesis, Queensland University of Technology, 1998.
Den vollen Inhalt der Quelle findenZáviš, Jan. „Model křižovatky s průmyslovou komunikací“. Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2021. http://www.nusl.cz/ntk/nusl-442438.
Der volle Inhalt der QuelleMilosavljevic, Ivana. „Power Electronics System Communications“. Thesis, Virginia Tech, 1999. http://hdl.handle.net/10919/31218.
Der volle Inhalt der QuelleMaster of Science
Blackler, Alethea Liane. „Intuitive interaction with complex artefacts“. Thesis, Queensland University of Technology, 2006. https://eprints.qut.edu.au/16219/1/Alethea_Blackler_Thesis.pdf.
Der volle Inhalt der QuelleBlackler, Alethea Liane. „Intuitive interaction with complex artefacts“. Queensland University of Technology, 2006. http://eprints.qut.edu.au/16219/.
Der volle Inhalt der QuelleHigginbottom, Gary N. „Access protocols and their performance for industrial optical fibre LANs“. Thesis, Manchester Metropolitan University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.484246.
Der volle Inhalt der QuelleKutlu, Akif. „Wireless medium access control protocols for real-time industrial applications“. Thesis, University of Sussex, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362214.
Der volle Inhalt der QuelleKarnå, David. „Communication Protocol for Advanced Prosthesis Components“. Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2007. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9592.
Der volle Inhalt der QuelleIt would be of great value for the prosthesis industry to achieve an open standard for communication in upper limb prostheses. Cooperation between NTNU and the University of New Brunswick has resulted in a functional requirements specification for such a standard, SCIP(Standardised Communication Interface in Prostheses). The special challenges for communication in a prosthesis system are possible noisy environments, high demands for light weight, safety for the user and the fact that devices might be switched during operation. It was the purpose of this master thesis to make a design based upon those requirements. This was done by first choosing an existing bus standard, that would provide the lower levels of communication. CAN was chosen for this purpose. The next step of the design process was to transform the functional requirements into more specific technical requirements. This resulted in the definition of four types of nodes on the bus. These are bus controller, input controller, device controller and service controller. Their interactions called for the specification of several different message types, to support data exchange between the nodes. The result was a design that specifies node types, message types, variables like adresses, control strategies etc., state transition diagrams for the different node types and some message sequences. It also specifies the use of the CAN data-frame for all message types.
Amado, Fábio Miguel Nogueira. „Implementação de pilha protocolar tempo-real para vídeo industrial“. Master's thesis, Universidade de Aveiro, 2010. http://hdl.handle.net/10773/3773.
Der volle Inhalt der QuelleActualmente as necessidades de sistemas de tempo-real estão presentes em muitos campos da nossa sociedade. Desde um simples sistema de vídeo-conferência até à automação de uma fábrica. A tendência destes últimos anos é a de uniformizar meios de transmissão de informação tendo em vista a redução de custos. A rede Ethernet está bastante disseminada em vários sectores, sejam eles fabris, domésticos, telecomunicações, etc. No entanto, esta não consegue fornecer garantias de tempo-real dado aos seus mecanismos indeterminísticos de acesso ao meio. Existem várias soluções desenvolvidas por diversos fabricantes para tentar colmatar estas limitações inerentes ao protocolo. Esta dissertação utiliza uma dessas soluções de Industrial Ethernet: o protocolo FTT-SE (Flexible Time Trigger over Switched Ethernet), na implementação de uma stack tempo-real para uma câmara de vídeo industrial. Adicionalmente são apresentados alguns resultados e conclusões da implementação.
Nowadays real-time systems are present in several fields of our society. From a simple video conference system to factory automation. The trend of recent years is to standardize the means of transmitting information with the purpose of cost reduction. The Ethernet network is widely disseminated in various sectors, whether manufacturing, domestic, telecommunications, etc. However, it cannot deliver real-time guarantees given to its indeterministic mechanisms for medium access. There are several solutions developed by different manufacturers to help overcome these limitations inherent to the protocol. This dissertation uses one of these solutions for Industrial Ethernet: the FTT-SE protocol (Flexible Time Trigger over Switched Ethernet), on the implementation of a real-time stack for an industrial video camera. Additionally, some results and conclusions of the implementation are presented.
FCT - HaRTES
PTDC/EEA-ACR/73307/2006
Akazan, Justin N'Guessan. „Contribution à l'intégration de la messagerie industrielle MMS dans les systèmes et applications temps réel et répartis“. Vandoeuvre-les-Nancy, INPL, 1996. http://www.theses.fr/1996INPL067N.
Der volle Inhalt der QuelleValenzuela, Victor Enrique Lauria. „Arquitetura reutilizável de hardware e software para supervisão e controle remotos de Sistemas de Automação Industrial“. Universidade Federal do Amazonas, 2013. http://tede.ufam.edu.br/handle/tede/4422.
Der volle Inhalt der QuelleApproved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-20T15:41:40Z (GMT) No. of bitstreams: 1 Dissertação - Victor Enrique Lauria Valenzuela.pdf: 5796083 bytes, checksum: 3c0dc048049ae6179326dc7fbe8aa9ae (MD5)
Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-20T15:45:09Z (GMT) No. of bitstreams: 1 Dissertação - Victor Enrique Lauria Valenzuela.pdf: 5796083 bytes, checksum: 3c0dc048049ae6179326dc7fbe8aa9ae (MD5)
Made available in DSpace on 2015-07-20T15:45:09Z (GMT). No. of bitstreams: 1 Dissertação - Victor Enrique Lauria Valenzuela.pdf: 5796083 bytes, checksum: 3c0dc048049ae6179326dc7fbe8aa9ae (MD5) Previous issue date: 2013-06-18
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
As market demands increased worldwide in response to economic growth, industrial automation systems became larger and more complex in order to meet these demands. This also increased the number of failures and maintenance necessity. However, solutions in automation often involve proprietary setups from manufacturers of industrial devices, preventing automation systems to be reused in different industrial applications without large efforts of development. Thus, systems that can be applied to a large number of industrial applications are desired by many companies, since they can reduce costs with deployment, maintenance and training, and even more if these systems also enable remote collection of information from their operation status. This work proposes a reusable hardware and software architecture to monitor and control industrial automation systems, which is not limited to a single industrial application; instead, it can be connected to any other one, as long as a communication port is available to access the process automation protocol. This is achieved by utilizing standardized technologies in the interfaces between components of the architecture, as well as by defining the structures of the software running on the hardware devices. A prototype was developed based on the proposed architecture and its application cases are later shown in a voice-activated coffee dispenser with a CANOpen protocol and in a wireless network of sensors and actuators with ZigBee-enabled devices. Finally, the deployment procedures of the prototype are described in a generalized application case.
Com o aumento das demandas de mercado a nível mundial, em resposta ao crescimento econômico, os sistemas de automação industrial tornaram-se maiores e mais complexos a fim de atendê-las, o que também aumentou o número de falhas e a necessidade de manutenção. No entanto, as soluções em automação muitas vezes envolvem configurações proprietárias dos fabricantes de equipamentos industriais, prevenindo sistemas de automação de serem reutilizados em diferentes aplicações industriais sem grandes esforços de desenvolvimento. Então, sistemas reutilizáveis em um grande número de aplicações industriais diferentes são desejados por muitas empresas, visto que se podem reduzir os custos com o desenvolvimento, manutenção e treinamento, ainda mais se também permitem coleta remota de informação sobre seu estado de funcionamento. O presente trabalho apresenta uma arquitetura reutilizável, composta de hardware e de software, para monitorar e controlar os sistemas de automação. Esta, por sua vez, não se limita a uma única aplicação, podendo ser ligada a outras, desde que uma porta de acesso ao protocolo de automação esteja disponível. Isto é alcançado através da utilização de tecnologias padronizadas nas interfaces entre os componentes da arquitetura, bem como definindo as estruturas para o software em execução nos mesmos. Um protótipo foi desenvolvido com base na arquitetura proposta e seus casos de aplicação são apresentados em uma máquina industrial de café, ativada por voz e com protocolo CANOpen, bem como em uma rede de sensores e atuadores sem fio, com dispositivos ZigBee. Finalmente, o processo de implantação é descrito em um caso de aplicação generalizado.
Leite, Fábio Correa. „Modelamento da eficiência energética para o gerenciamento sustentável no setor industrial pela medição e verificação“. Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/3/3143/tde-17082010-095942/.
Der volle Inhalt der QuelleThe purpose of this work is to analyze the most well known Measurement and Verification protocols to energy efficiency programs under private capital owner perspective. The simple comparison between energy bills and the non-rigorous use of energy efficiency indicators in the energy savings calculation are not an option anymore with the introduction of comprehensive M&V protocols. With this aim, energy efficiency case studies are analyzed in the commercial and industrial sectors and indicated theres a gap between the modern M&V tools and the reality. Doubts around the sustainability of energy savings in the long term raised. Based on literature review, analysis of protocols and case studies, improvement opportunities were identified and are part of a 9 steps methodology focused on the sustainability of energy savings proposed in this work. This methodology works in cooperation with current M&V protocols. The EE engineer shall then be able to think in the overall management process and not only in the Energy Conservation Measure. This work concluded that the M&V tools adherence solely is insufficient to guarantee the sustainability of energy savings in the long term.
Firing, Tia Helene. „Analysis of the Transport Layer Security protocol“. Thesis, Norwegian University of Science and Technology, Department of Mathematical Sciences, 2010. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-10025.
Der volle Inhalt der QuelleIn this master thesis we have presented a security analysis of the TLS protocol with particular emphasis on the recently discovered renegotiation attack. From our security proof we get that the Handshake protocol with renegotiation, including the fix from IETF, is secure, and hence not vulnerable to the renegotiation attack anymore. We have also analysed the Handshake protocol with session resumption, and the Application data protocol together with the Record protocol. Both of these protocols were deemed secure as well. All the security proofs are based on the UC (Universal Composability) security framework.