한림대학교 교양기초교육대학! 학습지 중심의 혁신적인 기초교양교육을 실천하는 기초교육대학입니다.


선택기초

> 교수진 소개 > 소통기초분야 > 선택기초
방기석
방기석

학력
고려대학교 전산학 석사
고려대학교 전산학 박사


연구분야
Formal Methods(정형기법), Secure Coding, Software Engineering, Security


주요 경력
한림대학교 교양기초교육대학 컴퓨터교육분야 조교수
세계 3대 인명사전(마르퀴즈 후즈후, IBC, ABI) 등재
한국 정보처리학회 영문 논문지(JIPS) 편집위원
한국 정보과학회 프로그래밍언어 연구회 운영위원/논문지 편집위원


주요 논문
1. 가우시안 필터를 이용한 저전력 비컨의 실내 위치 추적 시스템, 한국정보기술학회 논문지, 2016.
2. Accuracy Enhancement of RSSI-based Distance Estimation for BLE Beacon, International Journal of Applied
    Engineering Research, 2016.
3. Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems, Journal of
    Research and Practice in Information Technology, 2014.
4. A Novel Mathematical Model to Predict the Severity of Postoperative Functional Reduction before Partial
    Nephrectomy: The Importance of Calculating Resected and Ischemic Volume, Journal of Urology, 2014.
5. 정보보호제품 평가위한 취약점 분류체게 및 적용방안, 한국정보기술학회 논문지, 2011.
6. Esterel을 이용한 마이크로커널 시스템 정형 검증, 한국정보기술학회 논문지, 2011.
7. SPIN을 이용한 L4 마이크로커널 기반 운영체제의 정형적 분석, 한국정보기술학회 논문지, 2008.
8. System Resource Utilization Analysis Based on Model Checking Method, Informatica, 2005.
9. SSR(Statechart with Shared Resources)을 이용한 microC/OS-II의 정형명세, 한국소프트웨어공학회 논문지, 2003.
10. 모델체킹을 이용한 시스템의 자원 활용 분석, 한국정보과학회 논문지, 2003.
11. Bottleneck Analysis of a Gigabit Network Interface Card: A Formal Verification Approach, LNCS vol. 2318, 2002.
12. Comments on "The Model Checker-SPIN", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000.


저역서
Hacking Exposed Widows 2000, 인포북, 2002

목록