Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
다수의 응용프로그램이 실행되며 높은 보안을 요구하는 스마트카드 플랫트폼에서 보안통신을 하기위한 임베디드 시스템 함수 및 보안성 증명
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김동환 | - |
| dc.date.accessioned | 2025-09-09T07:03:43Z | - |
| dc.date.available | 2025-09-09T07:03:43Z | - |
| dc.identifier.uri | https://scholarworks.dongguk.edu/handle/sw.dongguk/59596 | - |
| dc.title | 다수의 응용프로그램이 실행되며 높은 보안을 요구하는 스마트카드 플랫트폼에서 보안통신을 하기위한 임베디드 시스템 함수 및 보안성 증명 | - |
| dc.title.alternative | A formally verified procedure of creating secure communication channels between applications in high assurance embedded operating systems on multi-applet smart card platforms. | - |
| dc.type | Patent | - |
| dc.publisher.location | 대한민국 | - |
| dc.contributor.assignee | 동국대학교산학협력단 | - |
| dc.date.application | 2014-10-07 | - |
| dc.date.registration | 2015-12-31 | - |
| dc.type.iprs | 특허 | - |
| dc.identifier.patentRegistrationNumber | 10-1583212 | - |
| dc.identifier.patentApplicationNumber | 10-2014-0134874 | - |
- 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.