대구한의대학교 향산도서관

상세정보

부가기능

Verification of security protocols using LOTOS-method and applicaiton

기사 상세정보

상세정보
상세정보
자료유형기사
기사명Verification of security protocols using LOTOS-method and applicaiton :
저자명G.Leduc F.Germeau
발행/형태사항: Elsevier Science, 2000
수록잡지명Computer communications : 2000년 07월 1일 Vol.23 No.12
페이지1089-1103

소장정보

  • 소장정보

메세지가 없습니다
No. 소장처 소장사항 청구기호 구독 최근입수호 권호·제본정보 보기
1 삼성캠퍼스/연속간행물실(2층)/ 005.705 C738 구독중단 2011년 12월 Vol.34 No.18 권호정보 제본정보

서평(리뷰)

  • 서평(리뷰)

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

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