Bonjour,
je suis étudiante en master 2 sécurité informatique, j'ai un module nommé "modélisation des systèmes communicants" je cherche de documentation sur le langage de modélisation de protocole de sécurité (SPL).
Merci