Research stage

Stage: Methodes formelles pour l'extraction d'attaques internes des Systemes d'Information

Université Montesquieu (Bordeaux IV), 2010

s non velit nec nisi vulputate nonummy maecenas tincidunt lacus at velit vivamus vel nulla eget eros elementum pellentesque quisque porta volutpat erat quisque erat eros viverra eget congue eget semper