185
0
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 도경구 | - |
| dc.date.accessioned | 2020-12-21T05:10:31Z | - |
| dc.date.available | 2020-12-21T05:10:31Z | - |
| dc.date.issued | 2003-11 | - |
| dc.identifier.citation | 프로그래밍언어논문지. v. 17, no. 3, page. 60-69 | en_US |
| dc.identifier.issn | 1975-5961 | - |
| dc.identifier.uri | http://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE01072066 | - |
| dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/156423 | - |
| dc.description.abstract | 이 논문은 명령형 프로그램의 프로시저 내부에 대한 정보흐름의 안전성을 집합 제한식 분석법을 사용하여 예측하는 방법을 제시한다. 지금까지 제안된 분석 기법은 정보흐름이 안전한 프로그램을 안전하지 않다고 보수적으로 판정한다는 점에서 정밀도가 떨어지는 경우가 많이 있다. 본 논문에서는 이전의 타입시스템을 이용한 접근 방법보다는 분석 결과가 더 정밀한 새로운 분석법을 제안한다. | en_US |
| dc.language.iso | ko_KR | en_US |
| dc.publisher | 한국정보과학회 프로그래밍언어연구회 | en_US |
| dc.title | 집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석 | en_US |
| dc.title.alternative | Set Constraints Based Intra-procedural Analysis of Secure Information Flow | en_US |
| dc.type | Article | en_US |
| dc.relation.journal | 한국정보과학회 프로그래밍언어논문지 | - |
| dc.contributor.googleauthor | 임흥태 | - |
| dc.contributor.googleauthor | 신승철 | - |
| dc.contributor.googleauthor | 도경구 | - |
| dc.relation.code | 2012210451 | - |
| dc.sector.campus | E | - |
| dc.sector.daehak | COLLEGE OF COMPUTING[E] | - |
| dc.sector.department | DIVISION OF COMPUTER SCIENCE | - |
| dc.identifier.pid | doh | - |
- 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.
