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

글로벌메뉴

  • HOME
  • sitemap

주메뉴

상세정보

  • |Home >
  • 상세정보
검색결과 돌아가기

부가기능

Formal verification: an imperative step in the design of security protocols/

기사 상세정보

상세정보
상세정보
자료유형학술지논문
논문명Formal verification: an imperative step in the design of security protocols/
저자명Coffey, T.
학술지명Computer networks
발행년도2003
권호사항Vol.43 No.5
발행처Elsevier
페이지601-618p.
언어eng

소장정보

  • 소장정보

메세지가 없습니다
No. 권호·제본정보 보기 소장처 소장사항 청구기호 구독 최근입수호
1 중앙도서관/3층 연속간행물실/ 001.64404 C738 구독중 Vol.52 No.18

서평

  • 서평
서평추가  서평추가 (로그인 필요)

태그

  • 태그
태그추가  태그추가 (로그인 필요)

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 

하단메뉴