http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
고등급 보안 시스템을 위한 IPSec 시스템 기능 명세
유희준,김영미,최진영,서동수,노병규 고려대학교 컴퓨터과학기술연구소 2001 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.3 No.-
현대 사회는 인터넷 사용자의 증가와 제반 기술의 비약적인 발전으로 사회활동 전반에 대한 인터넷 기반 서비스가 이루어지고 있다. 이런 과정에서 발생한 중요한 문제중의 하나가 불특정 다수가 자유로이 통신을 하기 위해 개발된 인터넷상에서 사용자의 보안을 보장해주는 것이다. 최근에 와서 인터넷상에서 개인 정보유출로 인한 많은 피해가 발생하면서 정보보호에 대한 관심이 더욱 증가하고 있다. 현재 이 문제를 해결하기 위하여 많은 보안 관련 시스템들이 개발되고 있으며, 세계 각 국의 표준 기구에서는 이러한 시스템에 대한 등급을 평가하고 있다. 각 등급을 살펴보면, 시스템 개발 초기부터 정형기법을 이용하여 개발되어진 시스템들이 고등급을 획득하고 있다. 국내에서도 한국정보보호센터(KISA)에서 보안 시스템에 대한 등급을 평가를 수행하면서 정형기법을 이용하여 땅세 검증된 시스템에게 K5이상의 고등급을 부여하고 있다. 이러한 등급을 살펴보면, 시스템의 기능을 정형명세언어를 이용해서 명세하는 부분을 공통적으로 요구하고 있다. 본 논문에서는 높은 보안 등급의 IPSec 관련 시스템을 개발하기 위해서 정형명세언어인 Z를 이용해서 IPSec의 동작을 명세하였다. The modern community is moving across the whole areas based on Internet with the growing Internet users and the great technological development. One of the important things that can be problem in this community is that the Internet should assure secure networking and security mechanism for the many security-ignorant users. Recently, Due to a lot of damages like a personal drain, security concerns is growing very rapidly. Now, many security application system is developing to solve this problem and each of the world standard organizations is evaluating these security application systems. Considering the each levels, we found that system using formal methods from the initial system development process acquired the high-level. In domestic, KISA manages the evaluation of security system and gives the higher than K5 to the system that specified and verified using formal methods. In this all levels, it should be required the system specification part. In this paper, we specified IPSec using formal specification language Z to develope the high-level IPSec system.
Dynamic Control of Random Constant Spreading Worm using Depth Distribution Characteristics
No, Byung-Gyu,Park, Doo-Soon,Hong, Min,Lee, Hwa-Min,Park, Yoon-Sok Korea Information Processing Society 2009 Journal of information processing systems Vol.5 No.1
Ever since the network-based malicious code commonly known as a 'worm' surfaced in the early part of the 1980's, its prevalence has grown more and more. The RCS (Random Constant Spreading) worm has become a dominant, malicious virus in recent computer networking circles. The worm retards the availability of an overall network by exhausting resources such as CPU capacity, network peripherals and transfer bandwidth, causing damage to an uninfected system as well as an infected system. The generation and spreading cycle of these worms progress rapidly. The existing studies to counter malicious code have studied the Microscopic Model for detecting worm generation based on some specific pattern or sign of attack, thus preventing its spread by countering the worm directly on detection. However, due to zero-day threat actualization, rapid spreading of the RCS worm and reduction of survival time, securing a security model to ensure the survivability of the network became an urgent problem that the existing solution-oriented security measures did not address. This paper analyzes the recently studied efficient dynamic network. Essentially, this paper suggests a model that dynamically controls the RCS worm using the characteristics of Power-Law and depth distribution of the delivery node, which is commonly seen in preferential growth networks. Moreover, we suggest a model that dynamically controls the spread of the worm using information about the depth distribution of delivery. We also verified via simulation that the load for each node was minimized at an optimal depth to effectively restrain the spread of the worm.
박노철 ( Byung Han Ko ),고병한 ( No Cheol Park ),박영필 ( Young Pil Park ),안영규 ( Young Gyu Ahn ) 정보저장시스템학회 2014 정보저장시스템학회논문집 Vol.10 No.2
Vibration and acoustic noise arise from the Multilayer Ceramic Capacitor (MLCC) because of the piezoelectric effect of dielectric substance which consists of BaTiO3. However, the phenomenon is not analyzed clearly because the MLCC shows different behavior compare with ordinary piezoelectric substance like PZT. Thus, MLCC was tested under the several DC bias conditions and heat treatment effect was also tested and analyzed in this paper. From the test, MLCC shows not only piezoelectric effect but also another physical phenomenon like electrostriction. Also, it was verified that DC bias affect to the piezoelectric constant of MLCC.