본문 바로가기

강인혜 (Inhye Kang)

소속기관
한국정보과학회
소속부서
-
직급
-
ORCID
-
연구경력
-

주요 연구분야

  • 공학 > 컴퓨터학

저자의 연구 키워드

저자가 작성한 논문들의 주요 키워드입니다.

저자의 연구 키워드
#BCY
#Casper
#CSP
#EKE
#FDR
#security protocol

저자의 논문 현황

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.
  • 논문수21
  • 발행기간1986 ~ 2006
  • 이용수762
  • 피인용수0

논문제목를 인용한 논문목록입니다.

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
ASK 모바일 프로토콜 취약점 분석 및 수정 정보과학회논문지 : 정보통신 2006 56 0
전자화폐 충전기능의 취약점 분석 한국정보과학회 학술발표논문집 2005 78 0
TCP 연결의 스테이트풀 인스펙션에 있어서의 보안 약점 최소화 및 성능 향상 방법 정보과학회논문지 : 정보통신 2005 68 0
Esterel 기반 임베디드 소프트웨어의 신뢰성 향상을 위한 개발 기법 한국정보과학회 학술발표논문집 2005 61 0
UPPAAL을 이용한 전자지불 프로토콜 분석 한국정보과학회 학술발표논문집 2005 59 0
CEPS(Common Electronic Purse Specification)의 정형명세 및 보안성 분석 한국정보과학회 학술발표논문집 2005 28 0
스마트 카드 기반 전자상거래 프로토콜 정형분석 한국정보과학회 학술발표논문집 2005 24 0
보안 프로토콜의 안전성 분석을 위한 정형적 방법론 정보보호학회논문지 2005 112 0
보안모델 및 정형검증 도구 개발 한국정보과학회 학술발표논문집 2003 48 0
보안성 정형화 설계 및 검증 기술에 관한 연구 한국정보과학회 학술발표논문집 2003 34 0
SPIN을 이용한 침입탐지 메커니즘의 정형적 설계방법 한국정보과학회 학술발표논문집 2003 30 0
SMV를 이용한 접근통제모델의 정형적 설계방법 연구 한국정보과학회 학술발표논문집 2003 26 0
SPSL을 이용한 NTFS 다중 사용 권한에 대한 명세 및 검증 한국정보과학회 학술발표논문집 2003 9 0
TSCR를 이용한 실시간 시스템의 정형 명세 한국정보과학회 학술발표논문집 2000 3 0
Statechart 명세의 프로세스 알제브라로의 변환 한국정보과학회 학술발표논문집 1999 19 0
실시간 객체 지향 모델을 지원하기 위한 정형 명세 한국정보과학회 학술발표논문집 1999 18 0
GCSR의 UML - RT 언어로의 제안을 위한 STATECHART와의 비교 한국정보과학회 학술발표논문집 1999 8 0
[서평]High-Speed Networks : TCP/IP and ATM Design Principles 정보과학회지 1999 12 0
다중버스 멀티프로세서의 최소비용 구성법 (구)정보과학회논문지 1990 20 0
최소비용 결함허용 다중버스 다중프로세서 시스템의 설계 한국정보과학회 학술발표논문집 1989 10 0
더보기