Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: tit all "Verified iptables firewall analysis."



Treffer 1 von 1 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1153401517
Titel Verified iptables Firewall Analysis and Verification / by Cornelius Diekmann, Lars Hupel, Julius Michaelis, Maximilian Haslbeck, Georg Carle
Person(en) Diekmann, Cornelius (Verfasser)
Hupel, Lars (Sonstige)
Michaelis, Julius (Sonstige)
Haslbeck, Maximilian (Sonstige)
Carle, Georg (Sonstige)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:1111-201802272424
DOI: 10.1007/s10817-017-9445-1
URL http://dx.doi.org/10.1007/s10817-017-9445-1 (Open Access)
Zeitliche Einordnung Erscheinungsdatum: 2018
DDC-Notation 005.432 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen In: Journal of automated reasoning (3.1.2018: 1-52)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration