상세 보기
- 제목
- 다수의 응용프로그램이 실행되며 높은 보안을 요구하는 스마트카드 플랫트폼에서 보안통신을 하기위한 임베디드 시스템 함수 및 보안성 증명
- 제목 (타언어)
- A formally verified procedure of creating secure communication channels between applications in high assurance embedded operating systems on multi-applet smart card platforms.
- 저자
- 김동환
- 발행일
- 2015-12-31
- 출원번호
- 10-2014-0134874
- 등록번호
- 10-1583212
- 출원일
- 2014-10-07
- 등록일
- 2015-12-31