Institute for
HSR

Archiv

Muen Separation Kernel

10.12.2013

Das ITA hat einen ersten Release des Muen Separation Kernel veröffentlicht, ein formal verifizierter Open-Source-Kernel der mit der Ada-basierten Programmiersprache SPARK und dem GNAT Ada Toolset von AdaCore entwickelt...

Weiterlesen...
 

Neue c't Publikation

17.09.2007

"Leichter tunneln", erschienen in der neuesten c't Ausgabe 20/2007 (Seiten 210-213), erklärt die Vorteile des neuen IKEv2 Internet Key Exchange Protokolls, mit dem IPsec Tunnelverbindungen wesentlich schneller und...

Weiterlesen...
 

strongSwan nahm an IKEv2 Bakeoff teil

23.03.2007

Die Sicherheits-Prüfstelle ICSA Labs organisierte vom 5.-9. März 2007 in Orlando, Florida den dritten IKEv2 Interoperabilitätstest, an dem das Institut für Internet-Technologien und Anwendungen (ITA) mit ihrer Linux VPN Lösung...

Weiterlesen...
 

ITA trifft ITA

11.11.2006

Das durch das Instituto Tecnológico de Aeronáutica (ITA) in São José dos Campos, Brasilien organisierte 8th International Symposium on Systems and Information Security (SSI 2006), das unter dem Patronat von IEEE stand, fand vom...

Weiterlesen...
 

Astaro wird strongSwan Sponsor

22.02.2006

Die Firma Astaro Internet Security mit Sitz in Boston und Karlsruhe wird offizieller Sponsor des strongSwan VPN Projekts. Astaro wird die durch das ITA entwickelte strongSwan VPN Lösung in die neue Version 7 ihres Astaro Security...

Weiterlesen...