Seite nicht gefunden / Page not found

Die angeforderte Seite wurde nicht gefunden. Es wird eine Suchanfrage für Sie gestartet.
The requested page could not be found. A search will be started for you.


Sie suchen nur auf www.kastel.kit.edu. ➔KIT-weit suchen

Treffer: 1-10 von 56

Modellierung sicherer Systeme und Sicherheitsgarantien

Sicherheit
Forschergruppen waren das Fraunhofer IOSB und das Institut für theoretische Informatik (ITI).
Ansprechpartner: Pascal Birnstill (IOSB) , Brandon Broadnax (ITI)
Anwendung: Sichere Firewalls
Im Rahmen von KASTEL wurden mit Hilfe des oben beschriebenen Modells die Anforderungen an Firewalls
https://www.kastel.kit.edu/186.php
22.06.2021
 

Modeling Secure Systems and Security Guarantees

Sicherheit
for a system under development, they are easier to implement and verify.
 
Contact
Pascal Birnstill (IOSB)
Brandon Broadnax (ITI)
Application: Secure Firewalls
The requirements for firewalls were analyzed in KASTEL using the above-mentioned model. Motivated by current
https://www.kastel.kit.edu/english/186.php
23.06.2021
 KASTEL →

Veranstaltungen

Veranstaltungen Im KASTEL-Zertifikat anrechenbare Veranstaltungen
Veranstaltungen Titel Typ Dozent Zuletzt angeboten Access Control Systems: Foundations and Practice Vorlesung / Übung (VÜ) Prof. Dr. Hannes Hartenstein
Marc Leinweber
Christina Westermeyer SS 2022 Angewandte Informatik - Informationssicherheit Vorlesung (V) Prof. Dr. Melanie Volkamer
Dr.-Ing. Peter Mayer
https://www.kastel.kit.edu/veranstaltungen.php
04.04.2022
 KASTEL → Lehre → Zertifikat für Studierende → Veranstaltungen

Courses

Courses
Courses that can be credited for the KASTEL-Certificate
Vorlesungen
title type lecturer last held
https://www.kastel.kit.edu/english/veranstaltungen.php
29.03.2022
 KASTEL → Teaching → Certificate for Students → Events (German)

IT-Sicherheitsmanagement für vernetzte Systeme

IT-Sicherheitsmanagement für vernetzte Systeme Typ: Vorlesung (V) Lehrstuhl: Forschungsgruppe Dezentrale Systeme und Netzdienste - TM & SCC Semester: WS 19/20 Zeit: 17.10.2019
14:00 - 15:30
SR 217 (20.21)
weitere... 18.10.2019
11:30 - 13:00 wöchentlich
50.34 Raum -101
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
25.10.2019
11:30 - 13:00 wöchentlich
50.34 Raum
https://www.kastel.kit.edu/veranstaltungen_243.php
22.06.2021
 KASTEL → Lehre → Zertifikat für Studierende → Veranstaltungen

Signale und Codes

algebraischen Codes (lineare-, zyklische-, Reed Solomon-, Goppa- und Reed Muller-Codes) werden auch verkettete Codes behandelt.
Arbeitsbelastung
1. Präsenzzeit in Vorlesungen, Übungen: 24 h
2. Vor-/Nachbereitung der selbigen: 16 h
3. Klausurvorbereitung und Präsenz in selbiger: 50 h
Ziel
Der/Die
https://www.kastel.kit.edu/veranstaltungen_146.php
22.06.2021
 KASTEL → Lehre → Zertifikat für Studierende → Veranstaltungen

Authentisierung und Verschlüsselung

Authentisierung und Verschlüsselung type: Vorlesung (V) chair: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Theoretische Informatik - ITI Müller-Quade semester: SS 2021 time: 14.04.2021
16:00 - 17:30 wöchentlich
weitere... 21.04.2021
16:00 - 17:30 wöchentlich
28.04.2021
16:00 - 17:30 wöchentlich
05.05.2021
16:00 - 17:30 wöchentlich
12.05.2021
16:00 - 17:30
https://www.kastel.kit.edu/english/veranstaltungen_1358.php
23.06.2021
 KASTEL → Teaching → Certificate for Students → Events (German)

Datenschutzrecht

Datenschutzrecht type: Vorlesung (V) chair: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Informations- und Wirtschaftsrecht - IIWR Marsch KIT-Fakultäten - KIT-Fakultät für Informatik semester: WS 20/21 time: 05.11.2020
12:00 - 13:30 wöchentlich
weitere... 12.11.2020
12:00 - 13:30 wöchentlich
19.11.2020
12:00 - 13:30 wöchentlich
26.11.2020
12:00 -
https://www.kastel.kit.edu/english/veranstaltungen_211.php
23.06.2021
 KASTEL → Teaching → Certificate for Students → Events (German)

Research Focus Class: Blockchain & Payment Channel Networks Vorlesung

Research Focus Class: Blockchain & Payment Channel Networks Vorlesung Typ: Vorlesung (V) Lehrstuhl: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Telematik - ITM Hartenstein Semester: SS 2021 Zeit: 20.04.2021
14:00 - 15:30 wöchentlich
weitere... 27.04.2021
14:00 - 15:30 wöchentlich
04.05.2021
14:00 - 15:30 wöchentlich
11.05.2021
14:00
https://www.kastel.kit.edu/veranstaltungen_874.php
22.06.2021
 KASTEL → Lehre → Zertifikat für Studierende → Veranstaltungen

Signale und Codes

Signale und Codes type: Vorlesung (V) chair: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Theoretische Informatik - ITI Müller-Quade KIT-Fakultäten - KIT-Fakultät für Informatik semester: WS 20/21 time: 04.11.2020
10:00 - 11:30 wöchentlich
weitere... 11.11.2020
10:00 - 11:30 wöchentlich
18.11.2020
10:00 - 11:30 wöchentlich
25.11.2020
10:00
https://www.kastel.kit.edu/english/veranstaltungen_146.php
23.06.2021
 KASTEL → Teaching → Certificate for Students → Events (German)

Treffer: 1-10 von 56