입력 변화에 강건한 소스 코드 취약점 탐지를 위한 LSTM-Attention 모델

정관영,정병길,천세범,남효주,이인섭,정남훈,조규태,이상근 한국정보과학회 2024 정보과학회 컴퓨팅의 실제 논문지 Vol.30 No.3

Source code vulnerability detection is a very important step, and deep learning-based methods are increasingly being used for this purpose. In this study, we train and compare various deep neural network architectures to detect vulnerabilities in the source code. In this work, experimentally, we demonstrate that the LSTM-Attention model is highly effective in vulnerability detection compared to other techniques. We provide significant insights into the consistent performance of this model under varying conditions. In particular, we delve deep into the impact of input data length, embedding techniques, and the size of latent vectors on the performance of the model. This will be an important reference for determining whether the LSTM-Attention model can ensure consistent performance in a variety of real-world situations, and under what conditions it exhibits the best performance.

Preparation and characteristics of polyimide films by chemical imidization

정관영,장시훈,육지호,박노형 한국공업화학회 2023 한국공업화학회 연구논문 초록집 Vol.2023 No.0

일본기상청 전지구모델을 이용한 Vertical Non-Interpolating Semi-Lagrangian(VNISL) 기법 시험

정관영,이우진,T. Matsumura 한국기상학회 2004 한국기상학회 학술대회 논문집 Vol.2004 No.-

Ritchie(1991)가 제안한 준라그랑지 기법(VNISL, 3차원 modified trajectory를 적용하고 연직내삽을 하지 않는 기법)을 일본기상청의 새로운 전지구 모델에 성공적으로 이식하였으며, 태풍예측에 적용한 결과 기존의 기법보다 향상된 결과가 나타났다. 그러나, 시간적분간격이 길어 길수록 준라그랑지 모델의 강수율이 낮게 나타나고 있으며, 아직도 현업운영 중인 전지구모델보다 태풍예측능력이 낮게 나타나고 있다. 이는, 준라그랑지 기법적용 시 큰 시간적분간격을 얻을 수 있는 장점이 있으나, 긴 시간적분간격에 따른 역학과 물리과정간의 적절한 인터페이스가 필수적임을 의미한다.

Preparation and characterization of oligo-PI and crosslinked PI with different reaction temperature

정관영,장시훈,육지호,박노형 한국공업화학회 2023 한국공업화학회 연구논문 초록집 Vol.2023 No.1

대기 중 수증기 연속 흡착/탈착에 의한 물 생성 시스템

정관영 한국대기환경학회 2020 한국대기환경학회 학술대회논문집 Vol.2020 No.10

열린교육을 위한 초등학교 시설의 건축계획적 연구 : 교육방법 및 공간구성의 실태를 중심으로 Focused on Teaching Methods & Space Arrangement Examples

정관영,최효승,류호섭 대한건축학회 1997 大韓建築學會論文集 Vol.13 No.12

회원기고 : 미국의 군사변혁이 한국군에게 주는 함의(含意) -군사변혁의 이라크전 적용을 중심으로-

정관영 한국군사학회 2010 군사논단 Vol.64 No.-

한국사회보장법학회와 연세대의 2021년도 가을 공동학술대회 진행기 - 포용사회와 사회보장법의 전망 -

정관영(鄭貫榮) 서울대 사회보장법연구회 2021 사회보장법연구 Vol.10 No.2

사회수당 개념과 사회수당청구권에 관하여

정관영(鄭貫榮) 서울대 사회보장법연구회 2020 사회보장법연구 Vol.9 No.2

이 글은 법학에서 논의가 부족한 사회수당법제와 그 영역에서의 사회보장급여청구권, 즉 사회수당청구권에 대해 살펴보고, 아동복지 분야의 개별 법률을 중심으로 사회수당청구권의 구체적 모습을 검토한 논문이다. 사회복지법에서 사회수당법제는 양육, 부양 등 사회적 부담을 완화하기 위해 아동, 노인, 장애인 등 특정 인구 범주에 대해서 약한 자산조사를 하거나 자산조사 없이 소득 또는 연령 등을 기준으로 삼아 정해진 법정의 사회보장권리 주체가 사회보장급여청구권(사회보장수급권)으로서 사회수당을 청구할 수 있고(사회수당청구권), 이에 국가가 조세를 재원으로 직접 금전급여 지급채무를 지는 법률관계를 형성하는, 국민의 인간다운 생활권을 위한 사회보장법의 분야를 말한다고 볼 수 있다. 구체적으로 개별 사회복지 분야에서 사회수당청구권이 어떻게 존재하는지 검토할 필요가 있다. 「사회보장기본법」상 사회서비스 중 복지서비스 분야를 보면 크게 아동복지, 노인복지, 장애인복지, 가족복지 등으로 나눌 수 있는데 이 중에서 아동복지 분야의 사회수당청구권에 관한 대표적인 법률을 중심으로 살펴본다. 「아동수당법」상 아동수당청구권, 「한부모가족지원법」상 한부모수당청구권, 「영유아보육법」상 무상보육수당청구권, 「유아교육법」상 유아교육비청구권, 「아이돌봄 지원법」상 아이돌봄서비스청구권을 사회수당청구권으로 볼 수 있다. 이러한 실제 법제의 검토가 사회보장법학에서 사회수당법제에 대한 이론적 논의의 시작하는데 도움이 되었으면 한다. This article examines the social allowance law, which is not discussed in the social security law, and the right to claim social security benefits in that area - that is the right to claim social allowances - and examines the specific aspects of the social allowance claim, focusing on individual legislations in the field of child welfare. In order to prepare for social risks, the subject of rights having the right to claim social allowances is determined based on legal standards without an means test such as age and income in certain categories of the population, such as children, the elderly, and the disabled. Accordingly, the state is liable for payment of monetary benefits using tax as a resource. The field of social security law for the human right to a life with human dignity for all citizens who form such legal relation is called the social allowance law in the social welfare. It is necessary to examine how the right to claim social benefits exists in individual fields. The welfare services in the Framework Act on Social Security can be divided into child welfare, elderly welfare, disabled welfare, and family welfare. Among them, this study focused on the representative social allowance-related legislations in the field of child welfare. The right to claim child benefits under the Child Benefits Act, the right to claim single-parent allowance under the Single-Parent Family Support Act, the right to claim childcare allowance under the Child Care Act(free childcare), the right to claim early childhood education allowance under the Early Childhood Education Act(free of charge education), and the right to claim child care services under the Childcare Support Act can be considered as the right to claim social allowance. It is hoped that the review of these actual legislations will help to begin a theoretical discussion on the social allowance legislation in the social security law in Korea.

해고제한의 기본원칙과 해고의 정당성 판단기준

정관영(Jung, Kwan Young) 한국법학원 2015 저스티스 Vol.- No.147

시민법에서 고용계약 해지의 자유는 노동법에서 근로계약 해고를 제한하는 개념으로 수정되었다. 해고제한론은 근로기준법의 내용으로 들어왔다. 해고제한법리는 소극적으로 근로자의 직장을 사회적으로 보호하기 위해 도입 되었고, 적극적으로 근로관계에서 근로자 내지 근로자 집단의 대등성 확보를 위해 필요해졌다. 해고사유에 관해서 경영상 이유에 의한 해고제한(같은 법 제24조)을 제외하고는, 우리 법은 일신상 사유나 행태상 사유와 같은 개별적 해고사유를 두지 않고, 해고의 정당한 이유라는 포괄적인 규정을 제시한다. 개방적인 조항은 기본원칙으로도 기능할 수 있다. 해고제한에 관한 일반조항으로서 근로기준법 제23조를 해석하면 해고자유의 원칙이나 해고 금지의 원칙이 아니라, 부당해고금지의 원칙을 도출할 수 있다고 생각한다. 부당해고금지의 원칙의 내용인 해고의 정당성에 대한 판단에 대해 대법원은 객관적인 해고사유와 근로자에 대한 지속가능한 근로계약의 기대가능성을 중심으로 심사한다고 정리할 수 있다. 기본적인 판례의 태도에서도 판단 기준의 정립이 필요하다. 해고의 정당성 판단기준은 실체적인 기준과 절차적인 기준으로 구분할 수 있다. 실체적으로는 최후수단의 원칙, 이익형량의 원칙과 같은 비례의 원칙이 있다. 절차적인 판단기준은 해고예고의 원칙, 서면통지의 원칙을 포함하는 정당한 절차의 원칙이라고 명명할 수 있다. 일반화된 정당성 판단기준들은 각각의 해고가 문제되는 사안에서 구체적이고 개별적으로 적용될 수 있다. 개별적 근로관계법의 세부분야로서 해고제한론의 체계와 기본원칙을 정립하고, 해고의 정당성 판단기준을 연구하여 우리 근로기준법상 해고제한법리의 본래 취지에 부합하도록 해석하는 것은 실무상 해고의 정당성 판단에도 일관된 도움을 줄 것이다. The restriction on dismissal in the social law had been modified from ‘the employment at will rule’ in the civil law. The restrictions or prohibitions on dismissal of the labor legal system is necessary to secure social employment and workers or union"s negotiations as equals to employer. It is regulated on Article 23 section 1 of the Labor Standards Act: “An employer shall not, without justifiable cause, dismiss, lay off, suspend, or transfer a worker, reduce his/her wages, or take other punitive measures (hereinafter referred to as “unfair dismissal, etc.”) against him/her.” Regarding whether a dismissal is justifiable or not, we could call this, ‘the principle of prohibition on unfair dismissal’ instead of ‘the employment at will rule’ or ‘the principle of prohibition on dismissal’ in this study. This comprehensively opening article could function effectively as basic principle to the restriction on dismissal in the Labor Standards Act. Furthermore, this article would try to specify some criterions or standards for the test of justification on dismissal. These criterions should be classified both substantial and procedural justification standards. There are ‘the principle of ultima ratio’, ‘the principle of balancing of interests’ on the substantive side; and theses principles are called ‘the principle of proportionality’ which is applied under the general principle in the test of justifiable dismissal. On the other hands, there are ‘advance notice of dismissal(Labor Standard Act Article 26)’, ‘written notification of reasons for dismissal(Labor Standard Act Article 27)’ on the procedural side for procedural justice; theses principles are included in ‘the principle of justifiable process’. Because advance notice and giving the opportunity to put his side to workers are the intrinsic parts of procedural justification on dismissal. This essay would like to found the principle that could be susceptible to proper interpretation from Labor Standard Act Article 23; and to set up virtually applicable criterions for the rational decisions about justification on dismissal. Therefore, it would be contributed to authentic interpretation in the field of our Labor Standard Act"s dismissal.