安全协议实施安全性自动化分析与验证
9787030625069
孟博,王德军著
TP393.08
科学出版社
2019-11
2019
2019
《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
求助条款 还望您仔细阅读以下条款，继续浏览或使用服务表示其均得到您的认可：
➊️ 请支持正版图书。肯定和感激作者及出版商的社会贡献，以及国Jia在「教育公平」上作出的努力。
➋️ 站点不存储和发布任何版权资料，只在被访客要求雇佣后才会在其指示下处理要求的相关内容。
➌️ 向博主支付任何费用都意味着在访客的主观意识下雇佣博主，形成博主受雇于访客的劳务关系。
➍️ 只向有购买正版资料者并限于学习目的且不扩散者服务，雇佣即表示你认可和满足此要求。
➎ 雇方承诺不恶意雇佣博主从事违法行为（包括但不限于色情、反动等），否则雇方承担由此引发的后果。
➏️ 博主也不负责鉴别受雇内容之合法性（包括但不限于分裂、犯罪等）， 雇方需自行鉴别和承担相关后果。
❼ 白天完成雇佣内容最迟不超过2小时，晚间最迟第二天12点前，对无法完成的雇佣要求会给予退款。
❽ 雇佣博主为您从事资料查取服务是收费的，其按照北京市最低工资标准时薪计算所得。
名词解释：雇方指访客、甲方（即花钱者、指使者），博主指受雇方、乙方（即被指使者）。
重要告示：有疑问或建议 请联系我！
发表评论 取消回复