PVS를 이용한 수정된 BLP 모델의 안전성 검증

구하성 ,  박태규 ,  송호근

한국정보통신학회논문지

2006 .08

프로세스 신뢰도에 기반한 확장된 BLP 보안 모델과 아키텍쳐 설계

강정민 ,  신욱 ,  박춘구 외 2명

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

2001 .04

선별된 Pseudomonas sp. BLP2052와 Flavobacterium sp. BLP20515의 폐하수 처리 특성

박철환 ,  최광근 ,  임지훈 외 3명

KSBB Journal

1999 .04

안전한 임베디드 시스템을 위한 E-BLP 보안 모델의 구현

강정민 ,  남택준 ,  장인숙 외 1명

정보과학회논문지 : 시스템 및 이론

2005 .10

고속 Bottom Leaded Plastic ( BLP ) Package의 전기적 특성에 관한 연구 ( A Study on electrical characteristics of high speed Bottom Leaded Plastic ( BLP ) Package )

신명진 ,  유영갑

전자공학회논문지-D

1998 .04

군사 정보 시스템에서 명령 객체를 표현하는 보안 모델

김민정 ,  박석

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

1997 .04

Linux에서 BLP 보안 모델의 특성 구현

박재경 ,  김현배 ,  임채호 외 1명

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

1995 .10

"운영체제" 특집을 내면서

양승민 ,  김문희

정보과학회지

1994 .11

보안운영체제 개발동향

홍기융 ,  김재명 ,  은유진 외 1명

전자공학회지

2001 .06

보안 운영체제의 오버헤드 분석

고영웅

한국컴퓨터정보학회논문지

2005 .05

함정 사이버 보안 설계를 위한 구획 기반 다측면 보안 모델

이민우 ,  이종관

한국정보통신학회 종합학술대회 논문집

2019 .10

운영체제 보안 기술 동향

김학범 ,  오경희 ,  권현조 외 2명

정보보호학회지

1998 .06

[特輯]운영체제의 개발동향

조유근

정보과학회지

1986 .03

뇌모델

어익수 ,  전인산

전자공학회지

2018 .11

CDMA 시스템용 실시간 운영체제의 설계 및 구현

류석 ,  편현범 ,  이재호 외 3명

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

1999 .10

보안운영체제를 위한 자원관리기법 연구

김동근 ,  김정순 ,  이승용 외 2명

정보보호학회지

2005 .04

그린 운영체제 동향

김재열 ,  차규일 ,  김영호 외 3명

[ETRI] 전자통신동향분석

2009 .08

GPS 수신 Engine Board 용 실시간 운영체제의 설계 및 구현

류석 ,  강용호 ,  이철훈

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

1999 .04

보안운영체제 환경에서의 신뢰채널 지원을 위한 모듈의 설계 및 구현

유준석 ,  임재덕 ,  나재훈 외 1명

정보보호학회논문지

2004 .06