BSP Algorithms for LTL & CTL* Model Checking of Security Protocols.

par Michaël Guedj

Thèse de doctorat en Informatique

Sous la direction de Gaétan Hains.

Thèses en préparation à Paris Est , dans le cadre de MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec LACL - Laboratoire d'Algorithmique, Complexité et Logique (laboratoire) depuis le 01-10-2007 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.