[IFIP International Federation for Information Processing] Formal Aspects in Security and Trust Volume 173 || Complementing Computational Protocol Analysis with Formal Specifications
- 作者Dimitrakos, Theo; Martinelli, Fabio
- 文件大小769.84KB
- 发表时间2005
- DOI10.1007/0-387-24098-5_10
- 页码129-144
同期刊推荐
Table of ContentsThe Volunteer Management Report · 2013
Table of ContentsThe Volunteer Management Report · 2014
Table of ContentsThe Volunteer Management Report · 2013
Publisher's NoteThe Volunteer Management Report · 2013
Table of ContentsThe Volunteer Management Report · 2014
Table of ContentsThe Volunteer Management Report · 2014
Table of ContentsThe Volunteer Management Report · 2014
Table of ContentsThe Volunteer Management Report · 2013