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

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

[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

← 返回【学霸图书馆】主页