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

주메뉴 바로가기
본문 바로가기(skip to content)
퀵메뉴 바로가기
마이메뉴 바로가기
도서관정보 바로가기

글로벌메뉴

주메뉴

이용안내
원문검색
센터소개
- 소개
- 연혁
- 운영시간
- 조직
게시판
- 이용안내
- 원문검색
- 센터소개
  - 소개
  - 연혁
  - 운영시간
  - 조직
- 게시판

상세정보

|Home >
상세정보

검색결과 돌아가기

부가기능

An intruder model with message inspection for model checking security protocols

기사 상세정보

상세정보

상세정보
자료유형	학술지논문
논문명	An intruder model with message inspection for model checking security protocols
저자명	Basagiannis, S.; Katsaros, P.; Pombortsis, A.
학술지명	Computers & security
ISSN	0167-4048
발행년도	2010
권호사항	Vol.29 no.1
발행처	Elsevier Science B.V., Amsterdam.
페이지	16-34
언어	eng

서평

서평

태그

태그

태그추가 (로그인 필요)

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0)

하단메뉴