DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Yi, Kwang-Keun | - |
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | Chung, Jae-Youn | - |
dc.contributor.author | 정재윤 | - |
dc.date.accessioned | 2011-12-13T06:00:58Z | - |
dc.date.available | 2011-12-13T06:00:58Z | - |
dc.date.issued | 2000 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=157564&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34398 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ iii, 53 p. ] | - |
dc.description.abstract | The verification of an untrusted code becomes an important issue in recent days, both in the mobile computing environment and in the safety-critical software systems. The code attached with the incoming mail or an external code running in the web-browser is common in these days. A verification mechanism for the low-level code property is important. The code provider generates the low-level code and the code consumer needs to check the property of the low-level code. The decent compiler system guarantees the safety of the source code, but there is no good mechanism for the intermediate languages or the low-level languages. We design an intermediate language, etySECK, which is low level enough to reduce the repeated compilation overheads, but high level enough to facilitate the verification of the code property. We present a type system with effect extension as a verification mechanism and then prove the soundness of our system. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Type system | - |
dc.subject | Type checking | - |
dc.subject | Code verification | - |
dc.subject | Effect system | - |
dc.subject | 효과분석 | - |
dc.subject | 타입시스템 | - |
dc.subject | 타입검증 | - |
dc.subject | 코드검증 | - |
dc.title | (An) explicit polymorphic type system for verifying untrusted low-level codes | - |
dc.title.alternative | 복합형 타입시스템을 이용한 기계어 코드의 검증 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 157564/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 000983540 | - |
dc.contributor.localauthor | Yi, Kwang-Keun | - |
dc.contributor.localauthor | 이광근 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.