大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mauw 的图书(共2本)

Operational Semantics and Verification of Security Protocols [electronic resource]

0
索取号：
作者：Cremers、 Cas.、Mauw、 Sjouke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Public Key Infrastructure [electronic resource] : 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings

0
索取号：
作者：Mj酶lsnes、 Stig F.、Mauw、 Sjouke.、Katsikas、 Sokratis K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.