DC Field | Value | Language |
---|---|---|
dc.contributor.author | 한동수 | ko |
dc.contributor.author | 김정민 | ko |
dc.contributor.author | 이종협 | ko |
dc.date.accessioned | 2023-05-09T08:01:10Z | - |
dc.date.available | 2023-05-09T08:01:10Z | - |
dc.identifier.uri | http://hdl.handle.net/10203/306644 | - |
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-0086311 | - |
dc.identifier.patentRegistrationNumber | 10-2529028-0000 | - |
dc.date.application | 2021-07-01 | - |
dc.date.registration | 2023-04-28 | - |
dc.publisher.country | KO | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.