CSP
En d'autres termes
Communicating Sequential Processes
Définition
Langage formel de description de systèmes parallèles, conçu par C.A.R. Hoare. Voir Occam.
Epoque du terme
1985
Communicating Sequential Processes
Langage formel de description de systèmes parallèles, conçu par C.A.R. Hoare. Voir Occam.
1985
Classe de méthodes d'établissement d'un canal sécurisé à authentification mutuelle sans échange préalable d'informations confidentielles. Voir coffre arabe, chiffrement à clef publique, chiffr…