安全协议操作语义与验证

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

Saved in:
书目详细资料
主要作者: 克雷默斯 (著)
其他作者: 毛弗 (著)
出版: 电子工业出版社

省图图书

持有资料详情 省图图书
索引号 条码号 状态
TP393.08/512 31975291 可用

相似书籍