mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(5262)
2023
(7954)
2022
(8729)
2021
(8937)
2020
(8190)
2019
(8865)
2018
(8662)
2017
(8686)
2016
(8831)
2015
(8220)
2014
(7148)
Fakultäten
(6653)
Architektur
(142)
Bau Geo Umwelt
(827)
Chemie
(340)
Elektrotechnik und Informationstechnik
(1139)
Informatik
(439)
Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
Assistant Professorship Games Engineering (Prof. Thuerey)
Assistant Professur für Cyber Physical Systems (Prof. Althoff)
(4)
Fachgebiet Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(6)
Fachgebiet Algorithmische Spieltheorie (Prof. Brandt)
Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
Fachgebiet Datenbanksysteme (Prof. Neumann)
Fachgebiet Erweiterte Realität (Prof. Klinker)
(20)
Fachgebiet Intelligente Autonome Systeme (Prof. N.N.)
(1)
Fachgebiet Programmierung / Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Fachgebiet Telerobotik und Sensordatenfusion (Prof. Burschka)
(1)
Fachgebiet Theoretische Informatik (Prof. Räcke)
Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(7)
Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Full Professorship Theoretische Informatik (Prof. Albers)
(6)
Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
Lehrstuhl für Cyber Trust (Prof. N.N.)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstrukturen (Prof. Seidl)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
(1)
Lehrstuhl für Informatik 4 / Software und Systems Engineering (Prof. Broy)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(73)
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
(120)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
Lehrstuhl für Informatik / Angewandte Informatik - Kooperative Systeme (Prof. Schlichter)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. Mayr)
(11)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
Lehrstuhl für Informatik / Informatik-Anwendungen in der Medizin (Prof. Navab)
(91)
Lehrstuhl für Informatik / Rechnertechnik und Rechnerorganisation (Prof. Bode)
Lehrstuhl für Informatik / Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
(69)
Lehrstuhl für Logik und Verifikation in der Informatik (Prof. Nipkow)
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(25)
Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(1)
Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
Stiftungslehrstuhl für Software Engineering (Prof. Pretschner)
(13)
Maschinenwesen
(1124)
Mathematik
(146)
Medizin
(554)
Physik
(129)
Sport- und Gesundheitswissenschaften
(165)
TUM School of Education
(126)
Wirtschaftswissenschaften
(402)
Wissenschaftszentrum Weihenstephan
(1024)
Integrated Research Centers
(293)
Zentrale Einrichtungen
(202)
2013
(6755)
2012
(5774)
2011
(5563)
2010
(5427)
2009
(4595)
2008
(4109)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2014
Fakultäten
Informatik
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
Back
Back to start of result list
Permanent link for displayed object
Title:
Verifying Security Policies using Host Attributes
Author(s):
Diekmann, Cornelius; Posselt, Stephan-A.; Niedermayer, Heiko; Kinkelin, Holger; Hanka, Oliver; Carle, Georg
Book / Congress title:
FORTE -- 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Volume:
8461
Publisher:
Springer
Publisher address:
Berlin, Germany
Year:
2014
Month:
jun
Pages:
133-148
Print-ISBN:
978-3-662-43612-7
Fulltext / DOI:
doi:10.1007/978-3-662-43613-4_9
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Hochschulbibliographie
2014
Fakultäten
Informatik
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 8 - Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
2014