등록
실시간 운영 체제 분할들 간의 통신 무결성 보증 장치 및 방법
- 발명자
-
하영목, 김태호
- 출원번호
-
10-2015-0018926 (2015.02.06)
KIPRIS
- 공개번호
-
10-2016-0097073 (2016.08.17)
- 등록번호
- 10-2055751-0000 (2019.12.09)
- 출원국
- 대한민국
- 협약과제
-
14MS8800, 오류 없는 시스템 통합을 위한 안전우선 분산 모듈형 SW 플랫폼,
김태호
- 초록
- 본 발명은 실시간 운영 체제 분할들 간의 무결성 보증 장치로, 대칭 키들 및 공개키-개인키 조합들을 생성하여 둘 이상의 분할들에 제공하는 스케줄러와, 다른 분할과 송/수신할 데이터를 상기 대칭키를 이용하여 무결성을 확인하고, 상기 공개키-개인키 조합을 이용하여 다른 분할과 상호 인증하는 둘 이상의 분할들을 포함한다.
- KSP 제안 키워드
- Real-Time, Real-Time Operating System, communication integrity, operating system