Sjouke Mauw

Sjouke Mauw is the author of "Operational Semantics and Verification of Security Protocols", "CONCUR'99 Concurrency Theory", "Graphical Models for Security" and "Trust Management X".

Books by Sjouke Mauw

CONCUR'99 Concurr...
Baeten Jos C. M.
Paperback: $109.99

Public Key Infras...
Mjølsnes Stig F.
Paperback: $54.99

Trust Management X
Habib Sheikh Mahbub
Paperback: $109.00

Security and Trus...
Mauw Sjouke
Paperback: $59.99