Sjouke Mauw

Sjouke Mauw

3 books in the database

Books

Graphical Models for SecuritySjouke Mauw

Graphical Models for Security

Sjouke Mauw · 2016

Security and Trust ManagementSjouke Mauw

Security and Trust Management

Sjouke Mauw · 2014

Semantics And Verification Of Security ProtocolsSjouke Mauw

Semantics And Verification Of Security Protocols

Sjouke Mauw · 2013

Co-authored books and collections

Books that list Sjouke Mauw among their authors but not as the lead author: co-written works, collections and compilations.

Trust Management XSheikh Mahbub Habib

Trust Management X

Sheikh Mahbub Habib · 2016

CONCOUR9 9, concurrency theoryJ. C. M. Baeten

CONCOUR9 9, concurrency theory

J. C. M. Baeten · 1999

CONCUR'99. Concurrency TheoryJos C.M. Baeten

CONCUR'99. Concurrency Theory

Jos C.M. Baeten · 2003