Knygos pagal Sjouke Mauw

Operational Semantics and Verification of Security Protocols

Sjouke Mauw, Cas Cremers

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Operational Semantics and Verification of Security Protocols

Sjouke Mauw, Cas Cremers

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Security Protocols and Threat Models: Security and Privacy via The Applied ¿-Calculus

Sjouke Mauw, Felix Stutz, Semen Yurkov, Reynaldo Gil-Pons, Ross Horne

Turime sandėlyje pas mūsų tiekėją

Į krepšelį