@phdthesis{Rietz2017, author = {Rietz, Ren{\´e}}, title = {Optimization of network intrusion detection processes}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-44327}, school = {BTU Cottbus - Senftenberg}, year = {2017}, abstract = {Intrusion detection is a concept from the field of IT security. Network intrusion detection systems (NIDS) are used in addition to preventative measures, such as firewalls, to enable an automated detection of attacks. Network security threats often consist of multiple attack phases directed against various components of the network. During each attack phase, varying types of security-related events can be observed at various points in the network. Security monitoring, however, is nowadays essentially limited to the uplink to the internet. Sometimes it is also used to a limited extent at key points within a network, but the analysis methods do not have the same depth as at the uplink. Other areas, such as virtual networks in virtual machines (VMs), are not covered at all, yet. The aim of this thesis has been to improve the detection capability of attacks in local area networks. With a glance at the area of safety engineering, it appears efficient to secure these networks thoroughly and to develop additional monitoring solutions only for the remaining problem cases. This entails several challenges for the analysis of different parts of the TCP/IP stack. The lowermost part of the network stack has to be analyzed for attacks on network components, such as switches and VM bridges. For this, there is still no technology. Although attacks on the layers~2 and 3, such as ARP spoofing and rogue DHCP servers in physical networks, can be controlled to some extent by appropriate switches, equivalent methods are not used in virtual networks. Therefore, a software-defined networking based approach is proposed to counteract the respective attacks, which works for physical and virtual networks. The upper layers are already largely covered by traditional NIDS methods, but the rapidly increasing data rates of local area networks often lead to an uncontrolled discarding of traffic due to overload situations in the monitoring stations. Therefore, the drawbacks of current optimization approaches are outlined based on a detailed performance profiling of typical intrusion detection systems. A new approach for parallelizing the intrusion detection analysis that copes with the increasing network dynamics is introduced and evaluated. Since further special issues for NIDS particularly go back to the massive use of web technologies in today's networks, a firewall architecture is presented which applies novel NIDS methods based on machine learning to identify web applications and to ward off malicious inputs. The architecture addresses the entire process chain starting from the data transfer with HTTP via the analysis of manipulated web documents to the extraction and analysis of active contents.}, subject = {Intrusion Detection Systems (NIDS); Software-Defined Networking (SDN); Parallel NIDS; Web Firewall (Web 2.0); Machine Learning; Einbrucherkennungssysteme (IDS); Software-definierte Netzwerke (SDN); Web Firewall; Web 2.0; Maschinelles Lernen; Eindringerkennung; Maschinelles Lernen; Software-defined networking; World Wide Web 2.0; Firewall}, language = {en} } @phdthesis{Voertler2017, author = {V{\"o}rtler, Thilo}, title = {Verification of software for Contiki-based low-power embedded systems using software model checking}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-44080}, school = {BTU Cottbus - Senftenberg}, year = {2017}, abstract = {The main building blocks for the internet of things are connected embedded systems. Often these systems are also used in safety critical applications. Therefore, it is particularly important that these devices work according to their specification i.e. they behave as intended. Nowadays, even for simple devices embedded operating systems as Contiki are used to simplify application development and to increase portability between different hardware platforms. The main objective of this thesis is to present a methodology for the verification of software applications written for the operation system Contiki, taking the system hardware into account. Therefore, software model checking and especially bounded model checking [BCC⁺03] is used as a technique, which allows to formally verify software for embedded systems. For verifying the software against its specification, it is also necessary to build a model of the system hardware. Thereby, the difficulty is to create a model which is detailed enough to capture the hardware behavior so that the software performs correctly, while keeping the computation effort for the verification process manageable. In this work, the drivers which communicate with the hardware are therefore replaced with abstract models during the verification process. This enables the verification based on an abstract hardware platform independent of specific hardware. A special role within embedded systems play interrupts. Interrupts are used to save power and can also be used to react on external events. Current methods for verification of interrupt driven software are based on the interleaving model and partial order reduction to reduce the size of the verification problem. This thesis argues that this method is not sufficient for software, whose behavior relies on periodically occurring interrupts. Therefore, in this thesis, a new approach called periodic interrupt modeling is introduced. This approach can be applied automatically and reduces the number of incorrect verification results due to inaccurate modeling. In addition, properties can be proven that depend on the number of occurring interrupts. Using applications for the Contiki operating system, and based on a verification flow, the approaches toward interrupt modeling are compared.}, subject = {Embedded Systems; Interrupts; Model Checking; Contiki; Software; Contiki; Eingebettete Systeme; Unterbrechungen; Modellpr{\"u}fung; Software; Eingebettetes System; Interrupt ; Bounded Model Checking; Software}, language = {en} } @incollection{AscheidWangBirkeetal., author = {Ascheid, Gerd and Wang, Gaojian and Birke, Sebastian and Wehn, Norbert and Herrmann, Matthias and Wang, Yanlu and Hanay, Oner and Bayram, Erkan and Negra, Renato}, title = {LP100 : optimization of 100 Gb/s short range wireless transceivers under processing energy constraints}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5906}, publisher = {BTU Cottbus - Senftenberg}, pages = {1 -- 35}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; Short range wireless transceiver; Kurzreichweiten-Funk-Transceiver; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @incollection{SteegTebartDuelmeetal., author = {Steeg, Matthias and Tebart, Jonas and D{\"u}lme, Sebastian and St{\"o}hr, Andreas and Exner, Florian and Czylwik, Andreas and Alissa, Mai and Kaiser, Thomas}, title = {Tera50+ : sub-mm-wave 100 Gbit/s fiber-wireless transmission system}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5909}, publisher = {BTU Cottbus - Senftenberg}, pages = {75 -- 108}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; Tera50+; Fiber-wireless transmission system; Glasfaser-Funk-{\"U}bertragungssystem; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @incollection{DeutschmannGieseJacobetal., author = {Deutschmann, Bj{\"o}rn and Giese, Malte and Jacob, Arne F. and Lofti, Nima and Gerfers, Friedel and Vehring, S{\"o}nke and B{\"o}ck, Georg}, title = {PolyData/DataRace : polymer-integrated CMOS-based high-speed communication systems at W-band}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5917}, publisher = {BTU Cottbus - Senftenberg}, pages = {397 -- 444}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; PolyData; DataRace; W-band; W-Band; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @incollection{BhutaniBoesGoetteletal., author = {Bhutani, A. and Boes, F. and Goettel, B. and Schaefer, J. and Eisenbeis, J. and Zwick, T. and Malz, Stefan and Rodriguez Vazquez, Pedro and Grzyb, Janusz and Pfeiffer, Ulrich}, title = {Real100G.RF : a fully integrated, multi-purpose radio front-end for wireless 100 Gbps}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5915}, publisher = {BTU Cottbus - Senftenberg}, pages = {295 -- 354}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; Real100G.RF; Fully integrated; Multi-purpose radio front-end; Vollst{\"a}ndig integriert; Vielseitig anwendbare Funkeingangsstufe; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @incollection{BuechnerNolteHasanietal., author = {B{\"u}chner, Steffen and Nolte, J{\"o}rg and Hasani, Alireza and Kraemer, Rolf and Lopacinsiki, Lukasz}, title = {End2End100 : communication protocol processing for ultra high data rates}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5916}, publisher = {BTU Cottbus - Senftenberg}, pages = {359 -- 396}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; End2End100; Communication protocol processing; Kommunikations-Protokoll-Prozessierung; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @incollection{JohannsenHoeherPeitzmeieretal., author = {Johannsen, Nils L. and Hoeher, Peter A. and Peitzmeier, Nikolai and Manteuffel, Dirk}, title = {M4 : multi-mode massive MIMO}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5912}, publisher = {BTU Cottbus - Senftenberg}, pages = {167 -- 212}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; M4; Multi-mode massive MIMO; Multi-Mode-massiv-MIMO; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @incollection{ScheyttJavedBhutanietal., author = {Scheytt, J. Christoph and Javed, Abdul Rehman and Bhutani, Akanksha and Zwick, Thomas and Kallfass, Ingmar and Bamidi, Eswara Rao and Krishnegowda, Karthik and Kraemer, Rolf}, title = {Real100G : ultrabroadband wireless communication at high mm-wave frequencies}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5913}, publisher = {BTU Cottbus - Senftenberg}, pages = {213 -- 230}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; Real100G; Ultrabroadband wireless communication; Ultrabreitband-drahtlos-Kommunikation; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @incollection{TestaCartaEllingeretal., author = {Testa, Paolo Valerio and Carta, Corrado and Ellinger, Frank and Klein, Bernhard and Hahnel, Ronny and Plettemeier, Dirk}, title = {DAAB : on-chip integrated distributed amplifier and antenna systems in locally-backside-etched SiGe BiCMOS for receivers with ultra-large bandwidth}, series = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, booktitle = {Wireless 100 Gbps and beyond : architectures, approaches and findings of German Research Foundation (DFG) Priority Programme SPP1655}, doi = {10.26127/BTUOpen-5910}, publisher = {BTU Cottbus - Senftenberg}, pages = {109 -- 138}, abstract = {In 2012 a group of researchers proposed a basic research initiative to the German Research Foundation (DFG) as a special priority project (SPP) with the name: Wireless 100 Gbps and beyond. The main goal of this initiative was the investigation of architectures, technologies and methods to go well beyond the state of the art. The target of 100 Gbps was set far away from the (at that time) achievable 1 Gbps such that it was not possible to achieve promising results just by tuning some parameters. We wanted to find breakthrough solutions. When we started the work on the proposal we discussed the challenges to be addressed in order to advancing the wireless communication speed significantly. Having the fundamental Shannon boundary in mind we discussed how to achieve the 100 Gbps speed.}, subject = {100 Gbps; Wireless; Drahtlos; DAAB; Drahtloses Sensorsystem; Hochfrequenztechnik; Antenne; Terahertzbereich; Energieffizienz}, language = {en} } @phdthesis{Liu2021, author = {Liu, Ke}, title = {Parallel constraint solving for combinatorial problems}, doi = {10.26127/BTUOpen-5399}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-53999}, school = {BTU Cottbus - Senftenberg}, year = {2021}, abstract = {With parallelism becoming the standard in computer design, research on parallel constraint solving technique is of vital importance for enhancing the performance of constraint solving. In this dissertation, we reviewed the literature on exploiting parallelism in constraint solving to help gain insight into the rationale of different types of parallel constraint solving approaches. On this basis, we analyzed the effectiveness of parallel constraint solving, with the focus on obtaining a first solution when solving computationally hard combinatorial problems. We have shown that a well-designed search space splitting method and constraint programming model can enable the embarrassingly parallel search (EPS) to solve some open instances of the social golfer problem that have not been solved by a sequential algorithm. We also observed superlinear speedups when solving these instances, which confirms our theoretical analysis. Besides, we examined two practical constraint optimization problems, including the traveling tournament problem with predefined venues and the talent scheduling problem. Our proposed constraint models outperformed the existing models on the same instances, and the EPS approach could always attain better feasible solutions in terms of the optimal objective value by using more parallel processors. To explore the use of massively parallel processing, we proposed the parallel stochastic portfolio search, which is a simple and non-intrusive way to parallelize different incarnations of a sequential solver. When comparing the existing portfolio to our portfolio approach by solving the same constraint satisfaction problems using the same constraint models, our technique could solve harder and larger instances. The successes of our new parallel approaches are attributed to early diversity; i.e., some diversity early in the search introduced by parallelism can offset early mistakes caused by weak heuristic choices. Unlike the other techniques (e.g., limited discrepancy search) used to overcome early mistakes, the studied two parallel constraint solving approaches not only can explore more nodes simultaneously but also does not sacrifice the guarantee of completeness. We also presented a hypertree decomposition method that builds a degenerate decomposition tree for a given constraint network, in which each node of the decomposition tree possesses and executes a subset of constraints of the given constraint network. The usefulness of our proposed parallel techniquedepends on whether we can find an efficient way to join the results of each node.}, subject = {Parallel constraint solving; Parallel computing; Constraint programing; Constraint-Programmierung; L{\"o}sen von Zwangsbedingungen; Paralleles Rechnen; SGP; Constraint-Programmierung; Parallelverarbeitung}, language = {en} }