기술 검색
예측 불가능성에 기반한 효율적인 소프트웨어 제어흐름 무결성 검증 방법
| 특허명 | 예측 불가능성에 기반한 효율적인 소프트웨어 제어흐름 무결성 검증 방법 | ||
| 출원인 | 고려대학교 산학협력단 | 출원일 | 2018년 11월 2일 |
| 공개일 | 2019년 8월 7일 | 공고일 | 2020년 8월 6일 |
| 요약 |
제어흐름 무결성 검증 방법이 개시된다. 상기 제어흐름 무결성 검증 방법은 타겟 프로그램을 실행하는 프로그램 실행부와 상기 타겟 프로그램의 제어흐름 무결성(Control-Flow Integrity, CFI)을 검증하는 프로그램 검증부를 포함하는 검증 장치에 의해 수행되고, (a) 상기 프로그램 실행부가 상기 타겟 프로그램을 실행한 후 상기 타겟 프로그램의 제어흐름 그래프(Control-Flow Graph, CFG)를 상기 프로그램 검증부로 송신하는 단계, (b) 상기 프로그램 실행부가, 상기 타겟 프로그램 내의 분기문이 발생한 경우 상기 프로그램 검증부로 제어흐름 무결성 검증 요청을 송신하는 단계, (c) 상기 제어흐름 무결성 검증 요청에 응답하여, 상기 프로그램 검증부가 소정의 확률에 기반하여 제어흐름 무결성 검증의 수행 여부를 결정하는 단계, (d) 상기 제어흐름 무결성 검증을 수행하기로 결정된 경우, 상기 프로그램 검증부가 상기 제어흐름 무결성 검증을 수행하는 단계, 및 (e) 상기 프로그램 검증부가 상기 제어흐름 무결성 검증의 검증 결과를 상기 프로그램 실행부로 송신하는 단계를 포함한다.
|
||
관련 특허
| 특허명 | 출원일 | ||
|---|---|---|---|
| 태양전지 및 그 제조방법 | 2010년 7월 12일 | ||
| 유기발광 트랜지스터 및 이의 제조방법 | 2016년 12월 29일 | ||
| 폐기가능한 ID 기반 서명 방법 및 서버 | 2014년 12월 9일 | ||
| 유기발광 트랜지스터 및 이의 제조방법 | 2017년 1월 4일 | ||
| 공개키 기반 암호화 방법 및 키 생성 서버 | 2016년 10월 27일 | ||
