• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.355-357
• /
• 2002

정보 흐름 보안성은 프로그램 보안성 검증 문제의 하나로서 주어진 프로그램이 각 변수들에 미리 정해진 보안수준이 허용하는 범위 내에서만 정보가 교환되는지를 검증하는 것이다. 프로그램 정적 분석을 위한 여러 가지 방법들 중에서 요약 해석법은 프로그램 분석의 기조를 마련할 뿐 아니라 저장기반 데이터흐름 분석 문제를 간략하게 해주는 장점을 가지고 있다. 본 논문에서는 요약해석을 이용하여 정보흐름 보안성을 검증하는 방법을 설명하고 이를 이용하여 프로그램 개발 시에 유용한 디버깅 정보를 제공하는 방법을 제시한다.

• 한국가구학회지
• /
• 제18권2호
• /
• pp.152-160
• /
• 2007

The purpose of this study was to suggest a new approach to geometric abstraction for furniture design. For this study, Geometric abstraction that was done during 1917 through 1939 was investigated. Geometric abstraction is one form of pure abstraction and is mainly concerned with geometric elements and primary colors. De stijl and Bauhaus, which were emphasized groups during this period were influenced by geometric abstract arts. The purpose of this body of work has been to create furniture pieces that would express and embody my exploration and interpretation of geometric abstraction. The various compositions of geometric shapes, pure proportion, and primary color have been a focal point.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권8호
• /
• pp.808-818
• /
• 2005

본 연구에서는 증가분 기반 계산을 사용한 고정점 계산 방법을 제시하고 이에 기반한 새로운 워크리스트 알고리즘을 제시한다. 제시된 방법은 기존의 증가분 기반 계산과 달리 배분 법칙을 만족하지 않는 계산 시스템에도 효과적으로 적용될 수 있으며 증가분 기반 계산으로 인한 제약 조건을 만족하면서도 다양한 워크리스트 스케줄링 방법을 사용할 수 있는 장점을 가지고 있다. 본 연구의 결과를 프로그램 정적 분석 방법인 요약 해석 방법에 적용하였으며, 이를 사용하여 상수 및 이명 분석과 메모리 생존 분석을 구현하였다. 제시된 실험 결과는 본 연구의 방법이 계산을 실제적으로 절약할 수 있음과, 적절한 워크리스트 스케줄링 방법의 사용이 증가분 기반 계산에서도 중요함을 보여준다.

• 한국조경학회지
• /
• 제26권4호
• /
• pp.95-104
• /
• 1999

The Landscape Drawing is the main medium for constructing better environment which provides human beings with a place for dwelling well, even though it has some limitations. To provide places for people's daily lives, by what measure do we design\ulcorner, by what measure do we give dimension\ulcorner, and how can we appropriately measure the place with drawing\ulcorner On any given site, of course, much has already happened, i.e, there is history. Any adequate interpretation of such a site should poetically take into account the present effects of its absent past. The findings to reveal the meaning and methodology of landscape drawings in the environmental design with a case study are as follows: (1) The value of landscape drawings is the poetic, artistic interpretation which we sense and bodily experience through the simultaneous exposure of the site's temporal, spatial, and tactile conditions. (2) The landscape drawing should represent the invisible (imaginary) world as well as the visible (physical) world. (3) There can be classified as two methods in representing the rich experience of a place: expression and notation. Expression is the abstract representation and do not have a direct relationship to construction due to its ambiguous and connotative structure. But notation is constructional due to it's purely objective symbol system which is obviously denotative structure. (4) Collage is a medium of specific act that can represent the complex layered phenomena and the rich experience of given site. (5) The landscape drawings represent not only topographical space which can be measured objectively, but also topic which can be cognized culturally.

• 정보처리학회논문지A
• /
• 제18A권5호
• /
• pp.193-204
• /
• 2011

인터넷 상의 웹 응용 프로그램은 불특정 다수의 사용자가 접근할 수 있기 때문에 보안상의 위험이 가중된다. 특히, 응용 프로그램의 소스코드에 보안 취약성이 있을 경우에는 침입 탐지 시스템과 같은 시스템 수준의 방어가 어렵기 때문에 이를 미리 제거하는 것이 중요하다. 본 논문에서는 웹 응용 프로그램의 대표적인 소스 코드 취약성인 PHP 파일 삽입 취약성을 자동으로 검출할 수 있는 정적 분석기의 구현에 대해 다룬다. 본 연구에서는 의미 기반의 정적 분석을 사용하여 소스 코드의 취약성을 미리 자동으로 검출하고 수정하도록 함으로써, 기존의 침입 테스트 기법이나 응용 프로그램 방화벽 사용과 다르게 보안 취약성을 안전하게 제거하면서 추가적인 실행 시간 부하를 피하고자 하였다. 이를 위하여 의미 기반 분석 방법인 요약 해석 방법론을 적용했으며, PHP 삽입 취약성에 최적화된 요약 분석 공간을 설계하여 사용함으로써 PHP의 특성인 복잡한 문자열 기반 자료 흐름을 효과적으로 처리하면서 목적으로 하는 취약성을 효과적으로 검출할 수 있었다. 프로그램의 취약성 분석 결과는 Java GUI 도구를 통해 확인할 수 있으며, 분석된 취약성 지점에서의 메모리 상태 및 계산 정보도 같은 도구를 사용해 확인할 수 있다. 구현된 분석기의 취약성 검출의 정확성과 실행 속도를 검증하기 위하여 공개된 PHP 프로그램을 사용하여 성능 실험을 수행하였으며, 이를 통해 구현된 분석기의 실용성을 확인하였다.

• The International Journal of Costume Culture
• /
• 제2권2호
• /
• pp.60-70
• /
• 1999

The purposes of this study were to investigate preference and images of Korean traditional motifs, and to identify the relationship between them. The subjects consisted of 369 male and 356 female undergraduate students. The experimental materials used in this study were 48 stimuli and a questionnaire composed of 7-point semantic differential scales of 26 adjectives. Twelve motifs selected from 3 groups of Korean motifs were used as pattern design stimuli. Twelve repeated patterns were constructed from them to be applied on a CAD-simulated dress. The data were analyzed by ANOVA, Duncan's multiple range test, and regression. The major findings were as follows : 1. Category, composition type, and application object had a significant effect on the preference. Interpretation type has no significant effects on the preference independently, but it had interaction effects when combined with composition type, and category. Especially the composition type had a greater effect than the other variables on the preference. Cloud motif and its abstract and decorative type were found to be more related to the preference than the other category and interpretation type. On the basis of the analysis results, image charts and preference charts were developed. By combining information from the image chart and preference chart, motifs and images preferred by consumers may be selected and developed into new valuable designs. 2. The preference was affected mainly by 'quality'image followed by 'simplicity', 'interest', and 'modernity'image. The preference on pattern design was affected by 'quality', 'simplicity', 'interest', and 'interest', 'simplicity', and 'modernity'image in the order. The relationship between the preference and sensibility images has been represented by equations.

• 헤리티지:역사와 과학
• /
• 제52권2호
• /
• pp.172-195
• /
• 2019

고암 이응노(1904~1989)의 회화 전개에서 1960년대의 파리 시절은 미술가로서 가장 전위적인 방식으로 매체의 실험 및 혁신을 이룬 시기로 평가받는다. 그리고 파리로 건너가기 직전에 개최된 이응노의 ${\ll}$도불${\gg}$전(1958. 3)은 이응노가 앵포르멜 미술을 처음 수용할 때의 회화 양상을 확인할 수 있다는 점에서 주목받아왔다. 이를 주목한 이응노 관련 연구는 1958년의 작품들을 앵포르멜과 추상표현주의의 영향으로 해석하는 관점과 이응노가 문인화로 처음 화업을 시작했다는 점에 초점을 맞추어 문인화의 사의(寫意) 정신의 발현으로 보는 관점으로 크게 구분할 수 있다. 본고는 앵포르멜과 추상표현주의를 통칭할 수 있는 '추상회화'에 대한 이응노의 인식을 확인하는 것을 목표로 하였다. 이를 해결하기 위해서는 당시 이응노의 회화론을 되짚어보는 것이 필요하기에 이응노가 회화를 처음 학습했던 해강 김규진 문하와 일본 유학 시절의 회화론을 먼저 살펴보았다. 이응노는 매너리즘에 빠진 문인화풍에서 벗어나기 위해 자연을 깊이 관조하는 것을 회화 제작의 첫 번째 원칙으로 삼았다. 그의 이러한 사생론은 1950년대까지 지속되었다. 그리고 그는 '추상(抽象)'을 서양 미술사조의 '추상회화'라는 고유 개념이 아니라 일본 유학 시절 이후 강화된 사생론에 따라 '(자연에서) 형상을 추출하다'라는 사전적 의미로 이해했을 가능성이 크다. 이응노 본인도 추상회화의 근간에는 자연의 형태가 있다고 밝힌 바가 있다. 즉 추상적인 회화와 '추상회화'는 다른 개념이기에 이를 구분하여 당시 이응노의 회화를 분석할 필요가 있다. 마지막으로 이응노의 1950년대 추상회화를 문인화의 사의(寫意) 정신이 발현된 것으로 해석하는 관점에 의문을 제기하였다. 전통 문인화론을 현대의 이응노에게 직접 연결하는 것은 오히려 이응노 회화의 개성을 가리게 하고 전통서화와 현대회화의 구분을 모호하게 만들 수 있다. 또한 이응노는 회화 제작에서 사의를 강조하긴 했지만 이는 대명제로서의 언사(言辭)였을 가능성이 높다. 왜냐하면 정작 1950년대에 제작한 작품들은 <자화상>(1956)처럼 이응노가 스스로 '북화(북종화)'라고 규정했던 회화 양식이 주를 이루기 때문이다. 이러한 양상은 문인화의 대명제로서의 '사의'와 '사의적 화법'을 구분해서 바라볼 필요가 있다는 점의 근거가 된다. 따라서 당시 그의 회화는 사의의 발현, 전통 문인화의 계승이라는 측면으로 보기보다 사의적 화법을 구사한 이응노식 추상회화라는 관점에서 새로운 해석을 필요로 한다.

• 한국컴퓨터정보학회논문지
• /
• 제22권3호
• /
• pp.81-88
• /
• 2017

In this paper, we classified the weaknesses of C/C++ programs listed in CWE based on the diagnostic information produced at each stage of program compilation. Our classification identifies which stages should be responsible for analyzing the weaknesses. We also present algorithmic frameworks for detecting typical weaknesses belonging to the classes to demonstrate validness of our scheme. For the weaknesses that cannot be analyzed by using the diagnostic information, we separated them as a group that are often detectable by the analyses that simulate program execution, for instance, symbolic execution and abstract interpretation. We expect that classification of weaknesses, and diagnostic information accordingly, would contribute to systematic development of static analyzers that minimizes false positives and negatives.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.964-966
• /
• 2005

아이락(Airac)은 C 프로그램의 버퍼오버런(buffer overrun)오류를 찾아주는 정적 프로그램 분석기(static program analyzer)이다. 아이락은 요약해석(abstract interpretation)의 틀 속에서 디자인되었다. 설계 및 구현 과정에서 프로그램 분석 분야에서 축적되어온 다양한 기술들을 적용하여 분석의 성능 및 정확도 향상을 이룩하였다. 아이락은 리눅스 커널(linux kernel), GNU 소프트웨어, 상용 소프트웨어등에 적용되어 오류를 찾아냈다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권8호
• /
• pp.551-559
• /
• 2001

정적 슬라이싱과 동적 슬라이싱의 차이는 동적 슬라이싱은 프로그램에 주어진 입력을 가정하는 반면에 정정 슬라이싱은 입력에 대한 가정을 하지 않는다는 점이다. 동적 슬라이싱은 실행-시간 정보를 이용할 수 있으므로 정적 슬라이싱보다 적은 슬라이스를 만들 수 있으나 특정 입력 상태에만 적용될 수 있다는 제한을 갖는다. 이 논문은 초기 상태들의 집합에 대해서 프로그래을 슬라이싱하는 요약 프로그램 슬라이싱이라는 새로운 기법을 제시한다. 이 방법은 프로그램으로부터 슬라이스를 구하는데 요약 해석을 이용한다. 요약 해석을 프로그램 실행 없이 프로그램의 실행-시간 동작에 대한 안전한 정보를 제공한다. 따라서 결과적으로 얻은 요약 슬라이스는 주어진 입력 상태들의 집합에 대해서 정적으로 계산되었다는 점에서 동적 슬라이스와는 다르다. 또한 요약 프로그램 슬라이싱은 배열과 같은 자료구조를 정적 슬라이싱보다 정확하게 다룰 수 있으며 슬라이스 크기도 줄일 수 있다.