Telecharger Cours

Formal verification for real-world cryptographic protocols and ...

The training network is included with the hardware for the course and consists of a network server and one network client along with the necessary accessories.



Download