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-9 von 9
Modellierung sicherer Systeme und Sicherheitsgarantien
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
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 →
Publikationsliste
Publikationsliste2024
Buchaufsätze Panini — Anonymous Anycast and an Instantiation Coijanovic, C.; Weis, C.; Strufe, T.
2024. Computer Security – ESORICS 2023 – 28th European Symposium on Research in Computer Security : The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part II. Ed.:
https://www.kastel.kit.edu/publikationen.php
22.06.2021
KASTEL → Publikationen
List of Publications
List of Publications2024
PhD Theses Context-based Access Control and Attack Modelling and Analysis . PhD dissertation
Walter, M.
2024, January 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166069 Journal Articles Reinforcing privacy in cloud computing via adaptively secure non-zero inner product encryption and anonymous
https://www.kastel.kit.edu/english/publikationen.php
23.06.2021
KASTEL → Scientific Publications
Daten in software-intensiven technischen Systemen - Modellierung - Analyse -
Daten in software-intensiven technischen Systemen - Modellierung - Analyse - Schutz type: Seminar (S) semester: WS 20/21 time: 04.11.202015:00 - 16:00 einmalig
weitere... 09.11.2020
15:00 - 15:30 einmalig lecturer: Prof. Dr. Jörn Müller-Quade
Prof. Dr. Ralf Reussner
apl. Prof. Dr. Oliver Raabe sws: 2
https://www.kastel.kit.edu/english/veranstaltungen_1222.php
23.06.2021
KASTEL → Teaching → Certificate for Students → Events (German)
Sicherheit
Sicherheit type: Praktikum (P) semester: WS 18/19 lecturer: Dr.-Ing. Ingmar BaumgartProf. Dr. Melanie Volkamer sws: 4 lv-no.: 2512100 links ILIAS-Course Bemerkungen Weitere Informationen auf https://ilias.studium.kit.edu/goto.php?target=crs_719271&client_id=produktiv
Kommentar Das Sicherheits-Praktikum setzt sich mit der IT-Sicherheit von alltäglichen Gebrauchsgegenständen auseinander. Implementierte Sicherheitsmechanismen werden zunächst
https://www.kastel.kit.edu/english/veranstaltungen_1265.php
23.06.2021
KASTEL → Teaching → Certificate for Students → Events (German)
Datenschutzerklärung
-ID, mit welcher sich verschiedene Anfragen Ihres Browsers der gemeinsamen Sitzung zuordnen lassen. Dadurch kann Ihr Rechner wiedererkannt werden, wenn Siehttps://www.kastel.kit.edu/datenschutz.php
22.06.2021
KASTEL →
Privacy Policy
are deleted automatically when you close the browser. They include in particular the session cookies. These store a so-called session ID, through which queries of your browser can be allocated to the joint session. They allow us to identify your computerhttps://www.kastel.kit.edu/english/datenschutz.php
23.06.2021
KASTEL →
Daten in software-intensiven technischen Systemen - Modellierung - Analyse -
Daten in software-intensiven technischen Systemen - Modellierung - Analyse - Schutz Typ: Seminar (S) Semester: WS 19/20 Zeit: 22.10.201910:25 - 10:30 täglich
Geb. 50.34 Raum 333
weitere... 22.10.2019
10:30 - 11:30 täglich
Geb. 50.34 Raum 333
22.10.2019
11:30 - 12:00 täglich
Geb. 50.34 Raum 333
24.10.2019
10:30 - 12:30
https://www.kastel.kit.edu/veranstaltungen_1222.php
22.06.2021
KASTEL → Lehre → Zertifikat für Studierende → Veranstaltungen