타입과 오퍼레이션 축약을 이용한 SELinux 정책템플릿 기술언어

최민호 전남대학교 대학원 2008 국내석사

The rapid development of computing and network technologies led to high performance operating system and application. And, security technologies of application layer were developed. However, the security technologies of application layer have fundamental limits of application layer. They refers to their own vulnerabilities, invasion of insider, misuse or abuses of the insider's right, and cracking of the kernel level. So, necessity of secure operating system is increasing to solve fundamental limits of application layer. Also, secure operating system module that is SELinux(Secure Enhanced Linux) in Linux is applied and the research is proceeding worldwide. SELinux offers high security by various and delicate access control. However, because of object classification that kind of operation is much and is atomized, security policy is complicated. In addition, because of relation between rules, the user is difficult to make out security policy easily. Also, SELinux must define the rules in system call level when new application is added. That is, if the user does not know the internal structure of application in detail, it is difficult to define the rules. This paper analyzes existent tools to reduce complexity of SELinux's security policy setting. And, it studies and proposes SELinux policy template description language(SELT : SELinux Template) that supplements insufficient parts of existing tools. SELT contracts in view of their sequence and relation analyzing various objects and competences of SELinux. And, SELT minimizes 1695 types of TE(Type Enforcement) model and type change using type union algorithm. Also, SELT contracts about 220 operations to competence set based on similarity of function. In addition, SELT improves readability through structural description language instead of sequential one, and supplies alternative way about a minimum right problem of the permission which the permission setting has focused on contracting through user-defined permission. Therefore, it makes security policy administrator as well as user be able to establish easily security policy. SELT reduces SELinux's TE(Type Enforcement) complexity finally and offers a policy complexity decrease of 75% than SEEdit's policy. 컴퓨팅 기술의 급속한 발전과 네트워크 기술의 발전으로 인해 뛰어난 성능의 서버 운영체제와 어플리케이션이 개발되고 있으며 이와 더불어 응용계층의 보안 기술들이 개발되어왔다. 하지만, 응용계층의 보안 기술들은 자체적인 취약점을 포함하거나 내부자의 침입 또는 권한 오남용, 운영체제 레벨에서의 크래킹을 당할 경우 스스로를 보호하지 못하는 응용계층이 갖는 근본적인 한계를 가지고 있다. 이를 해결하기 위해 보안 운영체제의 필요성이 증가하고 있으며 Linux에도 SELinux라는 보안운영체제 모듈이 적용되어 세계적으로 연구가 진행되고 있다. SELinux는 다양하고 섬세한 접근 통제로 높은 보안성을 제공하지만, 오퍼레이션의 종류가 많고 세분화된 객체 분류 때문에 보안 정책이 복잡하며 규칙들 간의 연관성 때문에 사용자가 쉽게 보안 정책을 작성하기 어렵다. 또한, 새로운 어플리케이션이 추가되었을 때 그 것의 규칙을 시스템호출 수준에서 정의해야 하기 때문에 어플리케이션 내부구조를 자세히 알지 못하면 정의하기 어려운 문제점이 존재한다. 본 논문에서는 SELinux의 보안정책설정의 복잡성을 줄이기 위한 기존의 도구들을 분석하고 기존의 도구들의 미흡한 부분을 보완한 SELinux 정책템플릿 기술언어(SELT: SELinux Template)를 연구하고 제안한다. 정책템플릿 기술언어는 SELinux의 다양한 객체와 권한 집합을 분석하여 그 순차성과 연관성을 고려하여 축약시키고, TE(Type Enforcement) 모델의 1695개의 타입과 타입 전이 등을 타입 병합 알고리즘을 이용하여 최소화시킴으로써, 보안정책 관리자는 물론 일반 사용자들이 보안정책을 쉽게 설정할 수 있도록 한다. 그리고 220여개의 오퍼레이션을 기능의 유사성을 근거로 한 권한집합으로 축약하여 제공하며 순차적인 기술언어 대신 구조적인 기술언어를 통하여 가독성을 높이므로 사용자에게 쉽게 이해되기 때문에 사용자가 어떠한 주체에게 권한을 손쉽게 부여할 수 있는 장점을 갖게 된다. 또한, 사용자 정의 권한을 통하여 축약에 중점을 둔 권한 설정이 갖는 최소권한 문제에 대한 대안 방안을 제공한다. 이러한 정책템플릿 기술언어는 최종적으로 정책 복잡성 정도 측면에서 SELinux의 TE를 비약적으로 감소시켰으며 SEEdit의 정책에 비해 75%의 정책 복잡도 감소를 제공한다.

Controlled Release of Gelucire-based Solid Dispersions Containing Poorly Water-Soluble Drug

최민호 강원대학교 대학원 2008 국내석사

Pranlukas(PLK)와 같은 난용성 약물은 낮은 용해도와 용출율을 보이고, 생체이용율도 낮아 제제상의 어려움이 있다. 본 실험에 서는 낮은 용출율을 개선하고, 적절한 제어방출 방법을 개발하 기 위하여, Gelucire44/14^(??) (GEL)를 바탕으로 한 PLK 고체분산체 에 4 가지 폴리머(PEO, HPMC, RSPO, Stearyl alcohol )를 섞어 용 융법(melting method)으로 조제하였다. 폴리머를 첨가하지 않은 PLK-GEL 고체분산체와 폴리머를 첨가한 고체분산체를 인공장 액(pH 6.8) 상에서 용출 실험을 실시하여, 약물의 제어 방출과 그에 따른 적절한 제형을 선택하였고, DSC 와 PXRD 를 이용하 여, 약물의 구조 변형을 평가하였다. 그 결과, 고체분산체에서 부분적인 무정형의 PLK 를 확인할 수 있었다. 특히, PEO 와 HPMC 를 이용한 PLK-GEL 고체분산체 제제는 제어방출을 조절 하는데 유용하게 응용될 것으로 기대된다. PLK, a poorly water-soluble drug (1.2㎍/ml H2O at 25℃) was selected as a model drug. Poor solubility is generally associated with poor dissolution characteristics and poor oral bioavailability. In order to improve these characteristics and to expulse controlled release system, Gelucire 44/14^(??)(GEL)-based solid dispersions of PLK with 4 kinds of polymers were manufactured by the melting method. Dissolution tests of GEL-based PLK solid dispersion were investigated to check proper polymer and formulation for controlled drug release. The structural behaviors of GEL-based PLK solid dispersion were examined by differential scanning calorimetry (DSC) and powder X-ray diffraction (PXRD). It was shown that the drug existed partially amorphous in the solid dispersion. GEL-based PLK solid dispersion with PEO, HPMC could be applied to prepare the controlled release system of PLK.

형질전환된 Chinese hamster ovary 세포에서 silkworm gland hydrolysate를 이용한 albumin-erythropoietin의 생산성과 세포사멸 확인

최민호 인하대학교 대학원 2013 국내석사

형질전환된 Chinese hamster ovary(CHO) 세포는 포유동물 세포를 숙주로 하는 재조합 단백질의 상업적인 생산에 있어서 가장 널리 사용되는 세포주이다. CHO 세포는 증폭 시스템으로 dihydrofolate reductase(DHFR) 유전자와 methotrexate(MTX)를 통해 재조합 단백질을 높은 수준으로 발현할 수 있다. 또한 복잡한 단백질의 경우 요구되는 효율적인 post-translational modification(PTM) 과정을 갖추고 있고, 인간에서 질병을 일으키는 polio, HIV, hepatitis B 등은 CHO 세포에서 증식을 하지 않는다. 하지만 이러한 CHO 세포는 미생물에 비하여 낮은 단백질의 생산성이 있다. 최근의 CHO 세포 배양에서 다양한 전략으로 목적 단백질의 specific productivity를 증가시키는 연구가 진행되고 있다. Silkworm Gland Hydrolysate(SGH)은 silkworm hemolymph(SH)에서 유래된 섬유 단백질이다. 항산화제인 SGH는 포유동물 세포 배양에서 세포 증식과 재조합 단백질의 생산량을 증가시키는 영양소로 사용되고 있다. 더욱이 줄기세포와 관련된 많은 참고 문헌에는 세포 성장 측면에서 fetal bovine serum(FBS)과 유사한 효능을 보이고 있는 것을 확인할 수 있다. Erythropoietin(EPO)는 세계적으로 연간 10 달라(10억불) 이상의 시장규모를 형성하는 블록버스터 제품이다. Human EPO는 3개의 N-linked와 1개의 O-linked oligosaccharide chain으로 형성된 당단백질로서 asialo-EPO가 간에 있는 hepatic asialoglycoprotein receptor(ASGPR)에 반응하면 체내에서 빠르게 제거되기 때문에 sialic acid가 체내의 생물학적인 활성에 중요한 작용을 한다. 최근에 짧은 반감기를 가지는 peptide의 albumin 융합을 통해 체내 순환을 오래 유지할 수 있는 기술이 사용되고 있다. 이 기술을 이용한 albumin-EPO(Alb-EPO)는 human EPO에 albumin을 유전적으로 형질전환 시킨 100 kDa의 단백질로 체내 반감기의 증가와 향상된 약물 전달력 그리고 1회 투여시 요구되는 약물 감소와 같은 장점을 가지고 있다. 본 연구에서는 Alb-EPO를 생산하는 형질전환된 CHO 세포 배양에서 SGH 첨가에 따른 생산성의 효과를 확인하고자 하였다. 그 결과 CHO 세포의 viable cell density와 생존도가 증가하였으며 Alb-EPO의 생산량도 현저하게 증가하였다. 또한 CHO 세포배양에서 사용되는 세포사 저해 물질인 dextran sulfate와 N-acetylcystein과 비교하여도 SGH를 첨가하였을 때 가장 높은 세포 생존도를 보였다. 결론적으로 SGH를 CHO 세포에 첨가해서 세포의 생존도가 증가하였으며 그로 인해, 목적 단백질인 Alb-EPO의 생산량이 증가됨을 확인할 수 있었다.

北韓社會의 靑少年 政治社會政策에 關한 硏究

최민호 延世大學校 行政大學院 1985 국내석사

Frottage와 拓本에 관한 硏究 : 막스에른스트의 프로타쥬技法과 拓本의 發達을 中心으로

최민호 朝鮮大學校 大學院 1989 국내석사

Contemporary art seems to be difficult to understand in terms of its numerous experimental Varieties rather than its abstractness. Among the contemporary artists, sane are shown to be wandering about without Knowing their needs, while sane are shown to be anxious about being forgotten after the Iapse of time because of their constant changes without staying in a certain trend. It will be, nevertheless, a good way of understanding contemporary art to examine the fundamental art spirit and the starting point of concrete expressional techniques persued by the contemporary artists. Thus, it will be our concern to examine collage, assemblage, Object and installation which have recently been reilluminated and expanded by the young contemporary artists of the west. In this study, focus will be given on the effective application of frottage which has been closely related with contemporary art as an expressional technique fran cubisme, dadaisme and to surrealisme, and on the analysis of the rubbed copy (Tak-Bon) which has a unique cultural Value of Korea. In addition, the historical, archeological and culture historical aspects of the rubbed copy will be discussed along with the rule of chance "which frottage reveals in contemporary art. Regarding the rubbed copy as the same vein with frottage in terms of expressional technique, we have suggested sane possibilities of flexible painting with "nesessary chance " by making good use of various objects for the rubbed copy existing in Korea. We also expect that the rubbed copy will provide the basis for the most reasonable and perfectly Korean painting movement.

수치영상과 지적도 기반의 하수시설물도 구축에 관한 연구 : 수치영상을 중심으로

최민호 인하대학교 공학대학원 2011 국내석사

대학생이 지각한 부모의 양육태도, 비합리적신념 및 외모만족도간의 관계분석

최민호 건국대학교 2006 국내석사

質量減量機에 의한 構造物의 最適振動調節에 관한 硏究

최민호 東亞大學校 1995 국내박사

줄넘기 운동이 남자고등학생의 체력향상 및 생활만족감에 미치는 영향

최민호 공주대학교 교육대학원 2010 국내석사

전영택 소설의 여성인물 변모양상 연구

최민호 경북대학교 대학원 2010 국내석사

The purpose of this paper is to reveal the meaning based on the characters of women in the each works and to search a developing process to a society which is realized by writer's eyes for reality. For this, this thesis applied to a methodology of Shlomith Rimmon-Kenen which made a compromise with a discussion of the narration-structure is focused on 'behavior' of the character and the traditional poetic-realism with regards to the existence of the characters. Jeon Young Tack is a writer who is in an inseparable relation with Christianity. It shows that he was a minister carrying out a writing and religious activity and his writing also have many religious constituents. It is clear that Christianity has a serious effect on his writing because his early works are also related to this religion. However, this paper focuses on keeping the religious meaning to a minimum, in analysis of the novels of Jeon Young Tack. Although there is a conflict between literature and religion, he could keep a consistent writing. Christianity for him is a idea as a writer. Especially, this religion just means an alternative suggested to the people who went through sufferings. According to the whole works, no matter what is positive or negative, a tragic situation between characters have an influence on the main story. Jeon Young Tack focused on a tragedy of women in more than half of his works. This thesis is classified into three types of women who is in a hardship based on their tragic life. Firstly, it is a woman who pursues a selfish desire. These kinds of women usually appear a lot in the beginning of the novels(1919~1929). This aspect shows a warning of the writer about negative qualities in the hidden side of a indiscreet modern society. The writer reproved character's faults that is to lead a negative life and identified to give its mental aspects for the right modernization. This paved the way to see how a world perception of male writers and understand the reality of that time. It caused many society issues to accept thoughtlessly Western civilization without warning, because our most urgent priority was to build a go-ahead and constructive modernization. Jeon Young Tack take warning the issues and give a massage to embody a decreasing life through a woman who has a hidden and negative attitude of modernization. Secondly, it is a woman living in a feudal age. They usually appear in the middle of his novels(1930~1945). It was the cruellest time of the Japanese colonial period. Although a background of the works was not the Japanese colonial period, it is clear that the situation undergoing by women figuratively reflects on the Dark age- the Japanese colonial period. To end his writing and to turn convert, which are caused by the racial movement and its frustration, show the level of real suppression at that time. And it brought about passive characters in his works. Women in this period usually had an obedient attitude with suffering. They derive a sentiment of pity from their images in works but the writer takes a calm attitude. Other critics say that this aspect just assume the attitude of an onlooker but the writer intended to show a tragic situation of the characters which have no solution. This is an introspective attitude with an awareness about a petit bourgeois which he has in that period. Through this attitude, we realize that a reward of hardship would be given someday based on his positive world view and a horrible scene with a objective sight. Finally, a woman is focused on a religious value. They usually appear in the latter of his novels(1946~1968). This period is a complete stage in the novels of Jeon Young Tack. He suggested that the reality for a suffering women could be overcome by a religious value. A value which they pursue by 'faith and love'. Women in this period had a little difference from the beginning and middle ones. They show a struggling aspect to try to overcome their tragic reality. And then, they finally succeed to change their life in a positive way through 'love', a Christian value. It was judged that this has a complicated relation between a racial movement of Christianity from the early modern times and a process of conscious development with this background. A historical fact, a liberation, is the biggest force giving a possibility to overcome his suffering. Therefore, the writer suggested a painful reality through the women in the latter works and a hopeful possibility to overcome their suffering reality. In conclusion, Jeon Young Tack classified embodiment characters, women, into three types. These are a warning about the hidden sides of modernity through which women has a selfish desire, a sympathy about a suppressed reality. which can not get out their feudal reality and a restorative possibility of reality for women seeking a religious value. These aspects are a real figuration of his writing, through half a century as a writer and a minister. In addition, his works are an expression of the writer's consciousness with a voice of criticism, wish and tear.