安全协议操作语义与验证

安全协议操作语义与验证 Operational semantics and verification of security protocols

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: 克雷默斯 (著)
מחברים אחרים: 毛弗 (著)
יצא לאור: 电子工业出版社

省图图书

פרטי מלאי ספרים מ 省图图书
סימן המיקום 条码号 סטטוס
TP393.08/512 31975291 זמין

פריטים דומים