La mise en place de services de sécurité en messagerie électronique est exigée par un nombre sans cesse croissant d'utilisateurs. Des services de sécurité ont été introduits dans les recommandations X.400 version 1988. L'objet de notre travail consiste en une spécification formelle de ceux-ci afin de les inclure aux recommandations X.400 version 1984. Cette spécification, exécutée en langage ALBERT, a pour but d'adapter le logiciel EAN à ces services et de définir une architecture des services de sécurité.
| la date de réponse | 1993 |
|---|
| langue originale | Français |
|---|
| L'institution diplômante | |
|---|
| Superviseur | Jean RAMAEKERS (Promoteur) |
|---|
Contribution à la spécification formelle des besoins en sécurité pour le logiciel de messagerie électronique X.400, EAN
Honet, L. (Auteur). 1993
Student thesis: Master types › Master en sciences informatiques