Ce projet fournit un langage de programmation spécifique au domaine pour abstracter les fonctionnalités de base de réseau et de sécurité. Il inclut également un générateur de code pour faire appliquer les mécanismes de sécurité au moment de l'exécution.