Bøger i BestMasters serien

Das prim¿ Ziel von Peter Gewald ist die Erkennung und Visualisierung diverser Angriffsszenarien im Mobilfunkbereich, wie z. B. die Kontrolle ¿ber den Datenverkehr, Man-in-the-Middle-Angriffe sowie die Ausf¿hrung von Programmcodes ¿ber SMS. Die Ergebnisse seiner Forschung geben einen Einblick in die Handlungsm¿glichkeiten potenzieller Akteure und fungieren gleichzeitig als erste pr¿ntive Schutzmäahme. Fr¿hzeitige Bildung und der Einsatz offener Standards und Software bilden die Grundsteine transparenter Technologien. Die Nachvollziehbarkeit komplexer technischer Funktionen und Abl¿e gelingt jedoch nur mit einem umfassenden Angebot von Informatikunterricht an Schulen.

Korbinian Wacker stellt verschiedene Formen eines m¿glichen Einbezugs Angh¿riger in ein famili¿s Unternehmen vor und zeigt deren Vorteile anhand mehrerer steuerlicher Veranlagungssimulationen. Zus¿lich geht der Autor auf steuerrechtliche Besonderheiten und Gefahren ein, die speziell bei Vertr¿n zwischen Familienangeh¿rigen auftreten k¿nnen. Durch einen optimierten und durchdachten Einbezug eines oder mehrerer Angeh¿riger in ein famili¿s Unternehmen lassen sich erhebliche ertragsteuerliche und erbschafts- bzw. schenkungsteuerliche Vorteile erzielen. Ein solcher Einbezug kann sowohl auf gesellschaftsrechtlicher als auch auf schuldrechtlicher Basis vollzogen werden.

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit ¿berwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugeh¿rige Monitorkonstruktionen f¿r den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen ¿erwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.