Sjouke Mauw · 6 obras en el catálogoObrasCONCOUR9 9, concurrency theorySemantics And Verification Of Security ProtocolsSecurity and Trust ManagementGraphical Models for SecurityTrust Management XCCONCUR'99. Concurrency TheoryCONCUR'99. Concurrency Theory