Predstavenie autora Bruno Blanchet:

Doterajšie vydané knihy od Bruno Blanchet:

Modelovanie a overovanie bezpečnostných protokolov pomocou Applied Pi Calculus a ProVerif - Modeling...
New Publ Inc
Overovanie bezpečnostných protokolov je aktívnou...
Modelovanie a overovanie bezpečnostných protokolov pomocou Applied Pi Calculus a ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>