KIT - Karlsruhe Institute of Technology
image/svg+xml
Research group Prof. Zitterbart - Institute of Telematics
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
Home
About
Start
About
About
Staff
Office Opening Hours
Directions
Research
Start
Research
Research
Projects
Start
Research
Projects
Projects
6G-ANNA
KIRA
Open6GHub
KIWI
bwNet2020+
KASTEL
Publications
Events
Start
Research
Events
Events
Seminar series - Internet: Technology & Values
Start
Research
Events
Seminar series - Internet: Technology & Values
Seminar series - Internet: Technology & Values
Event organisers
Previous events
Teaching
Start
Teaching
Teaching
Lehrveranstaltungen
COVID-19 and Teaching
Theses
Exam Dates/ Registration
Office Hours Prof. Zitterbart
Studienprofil: Internet und Gesellschaft
Open Positions
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Research group Prof. Zitterbart - Institute of Telematics
Startpage
Karlsruhe Institute of Technology (KIT) - Institute of Telematics - Research group Prof. Zitterbart
Home
About
Research
Teaching
Open Positions
Specification and Verification of Confidentiality in Component-Based Systems
Author:
M. Kramer, A. Hergenröder, M. Hecker, S. Greiner, K. Bao
links:
Download
Bibtex
Source:
Publication type unknown!2014
