http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
방기석,김현정 한국관광산업학회 2017 Tourism Research Vol.42 No.4
This study aims to verify the effect of the organizational socialization on turnover intention among hotel employees and the moderating effect of social support accordingly. The researching findings are as follows. First, when it comes to the effect of the organizational socialization on turnover intention, the higher the perception on the organizational socialization is, the less the turnover intention will be. In addition, in terms of difference in the extent of effect of the organizational socialization on turnover intention, the relationship among members turned out to be the most significant factor to influence turnover intention, followed by understanding of organization goals and values and the extent of skill acquisition Therefore, it is important for hotel corporations to build positive organizational socialization among new recruits. Second, the result of verifying the moderating effect of social support in line with the relationship between organizational socialization and turnover intention showed that emotional support has turned out to have the moderating effect in the extent of skill acquisition, relationship among members, understanding of organization goals and values and the relationship with turnover intention while, in terms of informative support, skill acquisition only has shown to have the moderating effect in relationship with turnover intention. Last evaluative support has shown to have the moderating effect in the extent of skill acquisition, relationship among members, understanding of organization goals and values and the relationship with turnover intention. Therefore, hotel corporations should create positive atmosphere and provide administrative and financial support to be able to make a variety of social supports available.
방기석,진현욱,최진영,유혁 한국정보과학회 2003 정보과학회논문지 : 시스템 및 이론 Vol.27 No.6
This paper addresses how model checking methods can be applied to utilization analysis of system. Measuring a system performance using simulation is an easy task but finding the bottleneck in a certain system is not an easy task. Especially, system is getting complicated and interacts with other systems, which makes the analysis very difficult. As an alternative approach, we show that can specify system utilization properties using temporal logic, and can find a reason of a system performance drop easily using model checking. 본 논문에서는 모델 체킹을 시스템의 성능상의 효율성 분석에 적용하는 방법에 대해 논한다. 시뮬레이션이나 실험적인 측정을 통해 시스템의 성능저하를 찾는 것은 쉽지만, 성능을 저하시키는 요인을 분석해 내는 것은 사실상 매우 어렵다. 특히, 시스템 자체가 매우 복잡해지고, 주위 다른 시스템과의 상호 동작을 하게 되면 소스코드의 분석을 통한 오류 발견은 거의 불가능해진다. 이에 본 논문에서는 모델 체킹에 사용되는 시제논리를 통해 시스템의 자원 활용도를 명세하고, 이를 이용해서 모델 체킹을 수행함으로써 성능 저하를 발생시키는 요인을 찾아내는 방법에 대해 논한다.
방기석,김일곤,이지연,이준석,최진영 한국지식정보기술학회 2011 한국지식정보기술학회 논문지 Vol.6 No.5
CC(Common Criteria) requires to collect vulnerability information and vulnerability analysis by using penetration testing for evaluating IT security products. However, CC has been criticized from developers or QA managers due to its complexity of terms, abstract description of evaluation methods and non-existence of guidelines. In this paper, we propose a guideline of vulnerability assessment for developers and evaluators by analyzing and summarizing of its requirements and processes defined in CC. To do this, we classify the evaluation process of AVA assurance family into 4 parts and describe each evaluation working systematically unit under every steps.
방기석(Ki-Seok Bang),김일곤(Il-Gon Kim),강인혜(Jin-Young Choi),강필용(In-Hye Kang),이완석(Pil-Yong Kang),최진영(Wan S. Yi) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅰ
고등급의 침입 탐지 시스템 평가를 받기 위해서는 반드시 정형적인 방법론을 적용하여 시스템을 설계하고 검증해야 한다. 그러나 침입 탐지 시스템의 설계에 적합한 정형기법을 선정하기는 매우 어렵다. 본 논문에서는 정형 기법의 일종인 모델 체킹 방법론을 침입 탐지 메커니즘의 설계에 적용하는 방법을 제안하고, 고등급 침입 탐지 시스템의 개발에 사용할 수 있는 방향을 제시한다.
방기석(Ki-Seok Bang),진현욱(Hyun-Wook Jin),최진영(Jin-Young Choi),유혁(Hyuck Yoo) 한국정보과학회 2003 정보과학회논문지 : 시스템 및 이론 Vol.30 No.1·2
본 논문에서는 모델 체킹을 시스템의 성능상의 효율성 분석에 적용하는 방법에 대해 논한다. 시뮬레이션이나 실험적인 측정을 통해 시스템의 성능저하를 찾는 것은 쉽지만, 성능을 저하시키는 요인을 분석해 내는 것은 사실상 매우 어렵다. 특히, 시스템 자체가 매우 복잡해지고, 주위 다른 시스템과의 상호 동작을 하게 되면 소스코드의 분석을 통한 오류 발견은 거의 불가능해진다. 이에 본 논문에서는 모델 체킹에 사용되는 시제논리를 통해 시스템의 자원 활용도를 명세하고, 이를 이용해서 모델 체킹을 수행함으로써 성능 저하를 발생시키는 요인을 찾아내는 방법에 대해 논한다. This paper addresses how model checking methods can be applied to utilization analysis of system. Measuring a system performance using simulation is an easy task but finding the bottleneck in a certain system is not an easy task. Especially, system is getting complicated and interacts with other systems, which makes the analysis very difficult. As an alternative approach, we show that can specify system utilization properties using temporal logic, and can find a reason of a system performance drop easily using model checking.
방기석(Ki-Seok Bang),공진산(Jin-San Kong) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1D
고품질의 소프트웨어를 개발하기 위해 정확한 소스코드의 작성은 필수과정이다. 기능의 정확성 뿐만 아니라 근래에는 보안위협을 배제한 개발이 가장 중요한 품질의 척도가 되었다. 다양한 보안성 보장기법이 사용되고 도구가 개발되고 있지만 초보적 개발자들에게는 매우 어려운 과정이다. 본 연구에서는 소스코드 개발자에게 보안위협을 경고하고 그 대안을 제시할 수 있는 코드 작성기를 개발하고자 한다.
SPIN을 이용한 L4 마이크로커널 기반 운영체제의 정형적 분석
방기석(Ki-Seok Bang),고영웅(Young Woong Ko) 한국정보기술학회 2008 한국정보기술학회논문지 Vol.6 No.2
The embedded systems based on microkernel are known to be difficult to predict their behavioral correctness since the systems communicate with various components for their execution. That means its correctness is not easy to guarantee by using traditional design and testing methods. To remedy these problems, we propose a formal approach to prove the correctness of L4 microkernel based operating system for embedded systems. The key contribution of this paper is to check the correctness of system’s behavior and validation of the model with two approaches. With model checker SPIN, we can confirm asynchronous concurrent communication system verification and with SyncCharts, we can examine the correct behavior of synchronous system design.