Subjects : Formal Analysis
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Journal | 2021 | A Secure Key Aggregate Searchable Encryption with Multi Delegation in Cloud Data Sharing Service 이준영 Applied Sciences, v.11, no.19, pp.1-20 | 13 | 원문 |
| Journal | 2017 | Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS 윤상현 IEICE Transactions on Information and Systems, v.E100.D, no.10, pp.2644-2647 | 2 | 원문 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||