DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Author Cha, Sung-Deok

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 27 to 38 of 38

27
Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 = Detection of common mode failures in N-version software using weakest precondition analysislink

윤광식; Yoon, Gwang-Sik; et al, 한국과학기술원, 1997

28
데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법 = Generating test cases for concurrent programs from data annotated message sequence chartlink

김내희; Kim, Nae-Hee; et al, 한국과학기술원, 1998

29
동적 시스템 명세를 위한 시제논리언어와 그 검증

조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002

30
로그분석 및 ThML을 통한 시스템 보안 강화 = Enhancing security with audit log analysis and ThMLlink

조상현; Cho, Sang-Hyun; et al, 한국과학기술원, 1999

31
매개 언어를 이용하여 자동으로 취약점 점검 코드를 생성하는 에이전트를 통한 통합 취약점 분석 시스템 = Integrated security manager with AgEnt-based vulnerability scanner automatically generating code from intermediate language (ISMAEL)link

김수용; Kim, Su-Yong; et al, 한국과학기술원, 2002

32
모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink

이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003

33
병행 객체지향 로봇 프로그래밍 시스템을 위한 객체모형과 언어 설계 = A design of object model and language for concurrent object-oriented robot programming systemlink

김규태; Kim, Gyu-Tae; 차성덕; 배두환; et al, 한국과학기술원, 1997

34
스테이트차트의 실시간 검증을 위한 모델체커의 확장 = Extending SMV for real-time verification of statechartslink

방호정; Bang, Ho-Jung; et al, 한국과학기술원, 2003

35
시간과 위치 기반 웹 보안 시각화 = Time-based and Location-based web security visualizationlink

이영석; Lee, Young-Seok; et al, 한국과학기술원, 2006

36
실시간 웹 사용 현황과 이상 행위에 대한 시각화 = Real-time visualization of web usage patterns and anomalous sessionslink

이병희; Lee, Byung-Hee; et al, 한국과학기술원, 2004

37
웹 환경 분석을 통한 공격 분류 = An approach to web attack categorizationlink

서정석; Seo, Jeong-Seok; et al, 한국과학기술원, 2002

38
이상 특성 기반 비정상 행위 탐지 시스템 = ADAM : anomaly detector assistant based on anomaly feature matrixlink

김상록; Kim, Sang-Rok; et al, 한국과학기술원, 2008

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0