• 인터넷정보학회논문지
• /
• 제5권2호
• /
• pp.17-31
• /
• 2004

본 논문에서는 PP내의 보안환경 부분 중 환경에 대한 가정문장을 작성하는 방법을 제시한다. CC에서 가정에 관련된 요구 사항을 살피고, 기존 PP들에서 실제 사용한 가정문장과 NIST의 PKB내의 가정문장을 토대로 하여 새로운 "일반 가정문장 목록"과 이를 이용한 가정문장 생성 방법을 제시하였다.방법을 제시하였다.

• 한국컴퓨터정보학회논문지
• /
• 제23권2호
• /
• pp.53-61
• /
• 2018

In this paper, the author proposes an efficient group key agreement scheme in a mobile environment where group members frequently join and leave. This protocol consists of basic protocols and general ones and is expected to be suitable for communications between a mobile device with limited computing capability and a key distributing center (or base station) with sufficient computing capability. Compared with other schemes, the performance of the proposed protocol is a bit more efficient in the aspects of the overall cost for both communication and computation where the computational efficiency of the scheme is achieved by using exclusive or operations and a one-way hash function. Also, in the aspect of security, it guarantees both forward and backward secrecy based on the computational Diffie-Hellman (CDH) assumption so that secure group communication can be made possible. Furthermore, the author proves its security against a passive adversary in the random oracle model.

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2004년도 춘계학술대회 논문집
• /
• pp.276-277
• /
• 2004

• 한국입자에어로졸학회지
• /
• 제14권1호
• /
• pp.1-8
• /
• 2018

The optical force on a perfectly reflecting sphere in a ray-optics regime is considered. With the assumption of geometric optics and a sphere smaller than the minimum waist of the illuminating beam, closed-form analytic expressions of the optical force are derived. Both axial and radial forces are expressed by a modified Bessel function of the first kind. The derived analytic expressions are compared to precise numerical computations of the exact optical force equations derived previously. In addition the error due to the small sphere assumption is estimated analytically.

• Journal of applied mathematics & informatics
• /
• 제16권1_2호
• /
• pp.231-242
• /
• 2004

The effect of toxicants on ecological systems is an important issue from mathematical and experimental points of view. Here we have studied dynamical model of a single-species population-toxicant system. Two cases are studied: constant exogeneous input of toxicant and rapidly fluctuating random exogeneous input of toxicant into the environment. The dynamical behaviour of the system is analyzed by using deterministic linearized technique, Lyapunov method and stochastic linearization on the assumption that exogeneous input of toxicant into the environment behaves like ‘Coloured noise’.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2744-2746
• /
• 2003

ISO/IEC 15408 requires the TOE(Target of Evaluation) Security Environment section of a Protection Profile(PP) or Security Target(ST) to contain a list of assumptions about the TOE security environment or the intended usage of the TOE. This paper presents a specific conditions should be assumed to exist in the smart card environment and the analysis of those conditions developer of smart card PP must consider.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2003년도 추계학술발표회
• /
• pp.354-355
• /
• 2003

In this study, a risk-based cleanup approach using the leaching potential was suggested for the soil vapor extraction (SVE) process. A multi-component model was adopted with local equilibrium assumption (LEA), and Raoult's law was applied to estimate the leaching potential for BTEX. Finally, a risk analysis was conducted based on the leaching pontential calculated. To complete the feasibility of this approach, more investigations and discussions will be required in future.

• 한국대기환경학회지
• /
• 제19권2호
• /
• pp.191-204
• /
• 2003

A one dimensional time dependent acid rain model considering size distribution of aerosols and hydrometeors is developed to predict observed chemical and physical properties of precipitation. Temporal variations of anions and cations observed are predicted fairly well with acid rain model simulations. It is found that aerosol depletion rates are highly dependent on aerosol sizes under the assumption of Marshall - Palmer raindrop size distribution. Also, the aerosol depletion during the initial rain event largely influences on ion concentrations in rainwaters.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2002년도 추계학술발표회
• /
• pp.280-282
• /
• 2002

In analysis of pumping test data, generally infinite domain has been assumed. However, in many cases, this assumption was not readily satisfied. Some boundaries conditions and natural heterogeneity of hydrogeologic properties would play critical roles on groundwater flow and contaminant transport. This study examined effects of some boundary conditions and heterogeneity on the groundwater flow and contaminant transport with basic numerical groundwater modeling, which provides implications for remediation of contaminated groundwater.

• 한국음향학회지
• /
• 제34권6호
• /
• pp.470-478
• /
• 2015

음선 모델링에서 다층 해저 바닥을 고려하는 경험적 방법 중 하나는 단일층 가정으로써, 다층 구조에 대한 평면파 반사계수를 사용하는 것이다. 본 연구자는 이층 해저 바닥에 대해 단일 층 가정의 유효성을 조사하고, 음속비, 송수신 거리 당 층 두께, 1차 반사파의 스침각의 함수로 표현되는 간단한 부등식 조건을 얻었다. 부등식 조건으로부터, 단일 층 가정이 실제 해양 환경의 중주파수 음선 모델링에 적용될 수 있음을 보였다. 마지막으로 한국 동해와 유사한 해양환경에 대해 수치실험을 수행하였다. 다층 해저 바닥에 대한 평면파 반사계수를 적용한 기하학적 빔 모델을 이용하여 비상관 전달손실을 계산하고, 서울대학교에서 개발한 포물선 방정식 패키지인 SNUPE 2.0의 결과와 비교하였다.