Blättern Fakultät für Mathematik und Informatik (inkl. GAUSS) nach "Hogrefe, Dieter Prof. Dr." Betreuer
Anzeige 21-28 von 28
-
Service-Differentiated Cooperative Routing in the Internet of Things
(2023-11-06)The IPv6 Routing Protocol for Low-power and Lossy Networks (RPL) was designed to operate with different Internet of Things (IoT) applications ranging from regular, to critical, to alarm/sporadic. That is due to its ability ... -
Smart Road Danger Detection and Warning
(2021-11-22)Road dangers have caused numerous accidents, thus detecting them and warning users are critical to improving traffic safety. However, it is challenging to recognize road dangers from numerous normal data and warn road users ... -
The Inter-Domain Key Exchange Protocol
(2006-02-27)This thesis introduces, specifies and evaluates a novel key establishment mechanism to enable seamless authenticated handovers in IP networks called Inter-Domain Key Exchange Protocol (IDKE). ... -
The M2X Economy – Concepts for Business Interactions, Transactions and Collaborations Among Autonomous Smart Devices
(2020-01-07)Nowadays, business transactions almost exclusively focus on human-to-human transactions. The persistent growth and expansion of the Internet of Things, the ubiquitousness of so called smart devices, as well as progressing ... -
Towards a Lightweight, Secure, and Untraceable RFID Authentication Protocol
(2015-09-11)This dissertation tackles the problem of user privacy and security of transactions in the authentication protocols of the technology of Radio-frequency identification (RFID). Radio-frequency identification is ubiquitously ... -
UML Profile for Communicating Systems
(2007-04-24)This thesis presents a new Unified Modeling Language 2 (UML) profile for communicating systems. It is developed for the unambiguous, executable specification and description of communication ... -
UML-based Test Specification for Communication Systems
(2004-10-28)Nowadays, the complexity of modern telecommunication systems has increased significantly and the requirement for thorough and systematic testing is undisputed. The TTCN-3 is an universal ... -
Verification of Security Properties Using Formal Techniques
(2014-02-12)Nowadays, the necessity of developing collaborative and distributed computing systems makes networks, and specially Internet, the key element of the system design process. Several new applications have been appeared in ...