安全协议操作语义与验证

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

Saved in:
書目詳細資料
主要作者: 克雷默斯 (著)
其他作者: 毛弗 (著)
出版: 电子工业出版社

省图图书

持有資料詳情 省图图书
索引號 条码号 狀態
TP393.08/512 31975291 可用

相似書籍