发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Expressive Power of Definite Clauses for Verifying Authenticity

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Expressive Power of Definite Clauses for Verifying Authenticity

Filè, Gilberto; Vigo, Roberto
  • 作者Filè, Gilberto; Vigo, Roberto
  • 文件大小443.32KB
  • 发表时间2009
  • DOI10.1109/csf.2009.12
  • 页码251-265
← 返回【学霸图书馆】主页