维普中文期刊产品整合服务
125篇 您的检索式:作者名="Guttman F"
    题名 作者 年代 出处 被引量
1Strand spaces:Proving security protocols correct 显示文摘Thayer F J Herzog J C Guttman J D 1999Journal of Computer Security1999,7,23:2
2Strand spaces: Proving security protocols correct显示文摘Fabrega F T Herzog J Guttman J 1999Journal of Computer Security1999,7,23:1
3Strand spaces:Proving security protocols correct显示文摘Fàbrega F J T Herzog J C Guttman J D 1999Journal of Computer Security1999,7,23:1
4Aquaporins contribute to diarrhoea caused by attach ing and effa- cing bacterial pathogens显示文摘GUTTMAN J A SAMJI F N LI Y 2007Cell Microbio2007,9,:1
5Authentication tests and the structure of bundles 显示文摘Guttman J D Fabrega F J T 2002Theoretical Computer Science2002,283,2:1
6Strand Spaces:proving security protocols correct显示文摘Thayer F J Herzog J C and Guttman J D 1999Journal of Computer Security1999,7,23:1
7Strand spaces:Proving security protocols correct显示文摘 HERZOG J C GUTTMAN J D 1999Journal of Computer Security1999,7,23:1
8Strand spaces:proving security protocols correct显示文摘Thayer F J Herzog J C Guttman J D 1999Journal of Computer Security1999,7,23:1
9Strand spaces:proving security protocols correct显示文摘Thayer F Herzog J C Guttman J D 1999Journal ofComputer Security1999,7,2:1
10Strand spaces: proving security protocols correct显示文摘THAYER F HERZOG J C GUTTMAN J D 1999Journal of Computer Security1999,7,23:1
11Strand spaces:Proving security protocols correct显示文摘Javier Thayer Fábrega F Jonathan C Herzog Joshua D Guttman 1999Journal of Computer Security1999,7,23:1
12Strand spaces: pro- ving security protocols correct显示文摘Fabrega F Herzog J Guttman J 1999Journal of Comput- erSecurity1999,7,23:1
13Authentication tests and the structure of bundles显示文摘Guttman J D F'abrega F J T 2002Theoretical Computer Science2002,283,2:1
14Strand Spaces:Proving Security Protocols Correct显示文摘FABREGA F HERZOG J GUTTMAN J 1999Journal of Computer Security1999,7,23:1
15Strand Spaces:Proving Security Protocols Correct显示文摘Fábrega F J T Herzog J C Guttman J D 1999Journal of Computer Security1999,7,23:1
16Strand space: proving security protocols correct 显示文摘THAYER FABREGA F J HERZOG J C GUTTMAN J D 1999Journal of Computer Security1999,7,23:1
17Key compromise, strand spaces and the authentication tests 显示文摘GUTTMAN J D THAYER FABREGA F J 2001Electronic Notes in Theoretical Computer Science2001,45,:1
18Authentication tests and the structure of bundles 显示文摘GUTTMAN J D THAYER FABREGA F J 2002Theoretical Computer Science2002,283,2:1
19Strand spaces:Proving security protocols correct显示文摘Thayer F J Herzog J C Guttman J D 1999Journal of Computer Security1999,7,23:1
20Strand spaces : proving security protocols correct 显示文摘Thayer F J Herzog J C Guttman J D 2001Journal of Computer Security2001,7,23:1
返回顶部 每页显示:
共7页 首页 上一页 第1页 下一页 末页 /7 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费