Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
다수의 응용프로그램이 실행되며 높은 보안을 요구하는 스마트카드 플랫트폼에서 보안통신을 하기위한 임베디드 시스템 함수 및 보안성 증명A formally verified procedure of creating secure communication channels between applications in high assurance embedded operating systems on multi-applet smart card platforms.
- Alternative Title
- A formally verified procedure of creating secure communication channels between applications in high assurance embedded operating systems on multi-applet smart card platforms.
- Authors
- 김동환
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.