原创力文档- 1
- 0
- 约5.13万字
- 约 16页
- 2015-09-27 发布于重庆
- 举报
Automatic Analysis of a NonRepudiation Protocol
QAPL 2004 Preliminary Version
Automatic Analysis of a Non-Repudiation
Protocol
Ruggero Lanotte 1
Dipartimento di Scienze della Cultura, Politiche e dell’Informazione,
Universit`a dell’Insubria,
Via Valleggio 11, 22100 Como, Italy
Andrea Maggiolo-Schettini 2 Angelo Troina 3
Dipartimento di Informatica, Universit`a di Pisa,
Via F. Buonarroti 2, 56127 Pis
您可能关注的文档
- 填料的品种和用量对环氧胶粘剂剪切强度的影响.doc
- (前沿物理考查论文格式例文).doc
- (区域)变质岩结构构造的主要特征.doc
- (基于活动的成本核算).doc
- (江苏苏州地区)工程建筑材料见证取样标准.xls
- (鲁奇炉)煤气化废水脱酚脱氨脱盐零排放UAV处理工艺.pdf
- ++磁化水处理技术及其在农业上的应用_王艳红.pdf
- A Bayesian Analysis of Compressive Sensing Data Recovery in Wireless Sensor Networks.pdf
- A BiasDependent Model for the Impact of Process.pdf
- A Canonical Analysis of the First Order EinsteinHilbert Action.pdf
- 锦州市太和区2025-2026学年第二学期六年级语文第六单元测试卷(部编版含答案).docx
- 长治市沁源县2025-2026学年第二学期三年级语文第六单元测试卷(部编版含答案).docx
- 西安市雁塔区2025-2026学年第二学期二年级语文第六单元测试卷(部编版含答案).docx
- 张掖地区张掖市2025-2026学年第二学期四年级语文第五单元测试卷(部编版含答案).docx
- 贵阳市云岩区2025-2026学年第二学期四年级语文第六单元测试卷(部编版含答案).docx
- 伊春市金山屯区2025-2026学年第二学期四年级语文第五单元测试卷(部编版含答案).docx
- 湛江市麻章区2025-2026学年第二学期四年级语文第六单元测试卷(部编版含答案).docx
- 渭南市临渭区2025-2026学年第二学期四年级语文第六单元测试卷(部编版含答案).docx
- 湘西土家族苗族自治州龙山县2025-2026学年第二学期六年级语文第六单元测试卷(部编版含答案).docx
- 运城市新绛县2025-2026学年第二学期二年级语文第六单元测试卷(部编版含答案).docx
文档评论（0）