충남대학교외국학술지지원센터

글로벌메뉴

  • HOME
  • sitemap

주메뉴

임시보관함

  • |Home >
  • 임시보관함

검색간략리스트

1.
저널기사
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach / Basagiannis, S.; Petridou, S.; Alexiou, N.; Papadimitriou, G.; Katsaros, P. / Elsevier Science B.V., Amsterdam. / Computers & security / 257-272 / 2011
임시보관함비우기

하단메뉴