프록시 컨트랙트 생성방법 및 장치Method And Apparatus for Generating Proxy Contract
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 한동수 | ko |
| dc.contributor.author | 김정민 | ko |
| dc.contributor.author | 이종협 | ko |
| dc.date.accessioned | 2023-05-09T08:01:17Z | - |
| dc.date.available | 2023-05-09T08:01:17Z | - |
| dc.identifier.uri | http://hdl.handle.net/10203/306645 | - |
| dc.description.abstract | 본 개시는 프록시 컨트랙트 생성방법 및 장치를 제공한다. 본 개시의 일 측면에 의하면, 실행 흐름에 요구되는 수행 비용 및/또는 스택 크기를 예측하여 상태 불일치 검사를 수행하는 프록시 컨트랙트를 생성하는 프록시 컨트랙트 생성방법 및 장치를 제공한다. | - |
| dc.title | 프록시 컨트랙트 생성방법 및 장치 | - |
| dc.title.alternative | Method And Apparatus for Generating Proxy Contract | - |
| dc.type | Patent | - |
| dc.type.rims | PAT | - |
| dc.contributor.localauthor | 한동수 | - |
| dc.contributor.nonIdAuthor | 이종협 | - |
| dc.contributor.assignee | 한국과학기술원,주식회사 파이랩테크놀로지 | - |
| dc.identifier.iprsType | 특허 | - |
| dc.identifier.patentApplicationNumber | 10-2021-0086863 | - |
| dc.identifier.patentRegistrationNumber | 10-2529081-0000 | - |
| dc.date.application | 2021-07-02 | - |
| dc.date.registration | 2023-04-28 | - |
| dc.publisher.country | KO | - |
- Appears in Collection
- EE-Patent(특허)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.