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

類似資料

• 安全协议原理与验证
  著者:: 王聪
  出版事項: (2011)
• 语义网原理与技术
  著者:: 陆建江
  出版事項: (2007)
• 基于认知与计算的事件语义学研究
  著者:: 刘茂福
  出版事項: (2013)
• 语义网基础教程
  著者:: 安东尼乌
  出版事項: (2014)
• 现代汉语框架语义网
  著者:: 刘开瑛
  出版事項: (2015)