보안 기능을 위한 정형화 설계 방법 연구

유희준 ,  강은영 ,  최진영 외 2명

한국정보과학회 학술발표논문집

1999 .10

보안성 정형화 설계 및 검증 기술에 관한 연구

전철욱 ,  김일곤 ,  최진영 외 3명

한국정보과학회 학술발표논문집

2003 .10

보안모델 및 정형검증 도구 개발

김일곤 ,  최진영 ,  강인혜 외 4명

한국정보과학회 학술발표논문집

2003 .10

통신 소프트웨어의 정형적 명세 방안

김태연

한국통신학회 학술대회 및 강연회

1997 .01

객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법

신숙경 ,  이종국 ,  김수동

정보과학회논문지 : 소프트웨어 및 응용

2004 .07

Analysis of the Formal Specification Application for Train Control Systems

Hyun-Jeong Jo ,  Yong-Ki Yoon ,  Jong-Gyu Hwang

Journal of Electrical Engineering & Technology

2009 .03

정형 검증 도구를 이용한 보안 소프트웨어 개발 방안

장승주

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2006 .04

정형명세 보안기능의 코드생성 도구 비교

유희준 ,  김일곤 ,  최진영 외 2명

한국정보과학회 학술발표논문집

2002 .04

SMV를 이용한 접근통제모델의 정형적 설계방법 연구

황대연 ,  강인혜 ,  강필용 외 2명

한국정보과학회 학술발표논문집

2003 .10

정형 명세를 통한 보안 프로토콜 코드 생성

전철욱 ,  김일곤 ,  최진영 외 2명

한국정보과학회 학술발표논문집

2004 .10

정형명세 기법을 이용한 보안 프로토콜 코드 생성 도구의 보안 소프트웨어 개발 분석

장승주 ,  류대현 ,  이철수 외 1명

정보보호학회논문지

2004 .12

암호 프로토콜의 정형적 사양 및 분석 기법

이진석 ,  신기수 ,  이강수

정보보호학회지

1995 .03

정형기법을 이용한 Safety - Critical System 개발 방법론

성창훈 ,  이나영 ,  오승록 외 1명

한국정보과학회 학술발표논문집

2000 .10

Towards Better Specifications

Yeung Wai Suen

TENCON 87 - Computers and Communications Technology Toward 2000

1997 .01

열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석

조현정 ,  황종규 ,  윤용기

한국철도학회 학술발표대회논문집

2007 .05

정형성을 고려한 성능시험체계에 대한 연구

서영수 ,  이채우 ,  홍미정

한국통신학회 학술대회 및 강연회

1998 .12

The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems

Hyun-Jeong Jo ,  Jong-Gyu Hwang ,  Yong-Ki Yoon

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2007 .07

안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성

이진호 ,  황대연 ,  김진현 외 5명

정보과학회논문지 : 소프트웨어 및 응용

2008 .12

객체 지향 정형 명세 언어를 사용한 S / Key 시스템 명세

유희준 ,  최진영 ,  노병규

한국정보과학회 학술발표논문집

2001 .04