Besonderhede van voorbeeld: 3322581997633465792

English

Formal methods for the specification, verification and implementation of communication protocols to provide security services, channel access methods, and concurrency control.

Spanish

Métodos formales para la especificación, verificación e implementación de protocolos de comunicación para brindar servicios de seguridad, acceso al medio y control de concurrencia.