南京工程学院

安全协议操作语义与验证

责任者： 克雷默斯  吴汉炜  毛弗  CREMERS CAS  MAUW SJOUKE 

• 出版信息：电子工业出版社 / 2018.11
• ISBN：978-7-121-35195-2