• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.1
• /
• pp.17-27
• /
• 2005

With the development of wire and wireless based networks, a various security protocols have been proposed to protect important resources and user information against attackers. However, many security protocols have found oかy to be later vulnerable to attacks. In this Paper, we introduce the formal methodology to verify the safety of security protocols in the design phase, and we take advantage of the formal methodology which uses Casper/CSP and FDR tools by introducing the verification example of EKE protocol and BCY protocol. Lastly, we propose a new BCY protocol after verifying it's safety.

• Asia Marketing Journal
• /
• v.5 no.3
• /
• pp.106-131
• /
• 2003

본 연구는 소비자 신뢰의 형성과 역할에 대한 모델을 전자상거래에 적용시켜서 온라인 구매의사결정에 관한 연구모델을 제시하고 그 모델의 유효성을 실험적 조사를 통해 평가하는데 주목적이 있다. 모델의 검증을 위하여 신뢰가 성립하기 위한 선행변수(거래 안전성, 웹사이트 실체성, 검색 기능성)와 조절변수(웹사이트 친숙도), 그리고 결과변수(구매의향)로 구성된 연구모델의 변수간의 구조적 관계를 검증하였다. 본 연구의 개념적 모델에서 신뢰도는 만족도와 함께 온라인 구매의향에 유의한 영향을 미친다고 설정되었다. 122 명의 대학생을 연구 참여자로 선정하여 전산실에서의 통제된 시뮬레이션 상황에서 4 개의 사이트(한솔 CS, 롯데, 메타랜드, 지그타운)를 대상으로 실행된 본 연구의 주요분석 결과는 다음과 같다. 첫째, 웹사이트 신뢰도는 사이트 안전성과 실체성에는 반응하였으나 기능성은 신뢰도에 영향을 미치지 못하였으며, 웹사이트 만족도는 웹사이트의 안전성, 실체성, 기능성에 모두 민감히 반응하였다. 둘째, 4 개 사이트 중에서 3 개가 웹사이트 만족도 보다는 신뢰도가 구매의향에 영향을 더 많이 주는 것으로 나타났다. 셋째, 2 개 사이트에서 웹사이트 신뢰도는 만족도와 서로가 구매의향에 대해 상대적인 조절역할을 하는 것으로 나타났다. 본 연구의 결과는 전자상거래에서 점차 중시되고 있는 신뢰도에 대한 개념을 웹사이트 만족도와 온라인 구매의향과 연관하여 파악함으로써 신뢰도의 원천과 영향력에 대한 실체적이고 현실성 있는 접근방법을 제시하여 줌으로써 웹사이트의 개발에 관련하여 인터넷 마케터들에게 효과적인 마케팅 전략의 수립을 위한 이론적, 실무적 근거를 제공하여 준다.

• Management & Information Systems Review
• /
• v.29 no.3
• /
• pp.1-21
• /
• 2010

The two main purposes of this paper are to (1) identify factors that influence the safety of e-Business and (2) investigate the explanatory power of these factors on firm performance. Through an extensive literature review and expert panel reviews, a list of 9 factors consisting of 36 items was compiled. In the second stage, questionnaires were administered to managers of e-Business companies in the metropolitan area of Seoul, Korea. Respondents rate 'Information Management,' as the most influencing factor, and then in the order of 'Payment,' 'Security Programs,' and 'Intrusion.' And survey results show that factors have very significant explanatory power for firm performance. While 'Information Management,' 'Delivery,' 'Intrusion,' and 'Security Programs' are the most explanatory factors for Tobin's q, 'Government Policy,' 'Delivery,' 'Intrusion,' 'Awareness,' and 'Security Programs' show most explanatory power for ROA.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.511-514
• /
• 2001

본 연구에서는 카오스이론을 기초로하여 이미지를 암호화 할 수 있도록 하는 LCI(Logistic Chaos Cryptosystem Image)를 제안한다. 로지스틱맵을 이용한 이미지 암호화 기법은 초기 조건에 민감한 카오스의 특징을 이용하였다. 실험결과 제안된 LCI(Logistic Chaos Cryptosystem Image) 기법을 통해 이미지는 카오스적으로 표현되었으며, 소스이미지와 암호 이미지 사이는 관련성이 없었다. 향후 안전성이나 처리속도에 대한 검증과 표준화 문제 및 멀티미디어 자료 등에 대한 암호화 기법을 계속 연구해야 할 것이다. 실험결과 제안된 LCI 기법을 통해 암호문은 카오스적으로 표현되었으며, 소스이미지와 암호이미지 사이에 어떠한 동질성도 찾아 볼 수 없었다. 향후 안전성이나 처리속도에 대한 검증과 표준화 문제 및 멀티미디어 자료에 대한 암호화 기법을 계속 연구해야 할 것이다.

• Proceedings of the Safety Management and Science Conference
• /
• 1999.11a
• /
• pp.157-168
• /
• 1999

인터넷폰을 기반으로 한 무선상에서 데이터의 높은 신뢰성과 망 구축을 구현하고자 한다. 음성신호에 대한 음성질을 평가하여 보다 나은 전송률과 신뢰성을 검증하도록 하였다. 그리고 현 실생활에 적용될 수 있는 생산성을 평가하고 검증하는데 중점들 두도록 하였다. 이에 본 연구에서는 최근에 급부상하고 있는 정보통신 분야의 핵심이 될 수 있는 유ㆍ무선 네트워크 데이터 전송은 최적의 신뢰성과 유용성을 보장하는 망 구축을 목표로 하고 있다.

• Proceedings of the KIPE Conference
• /
• 2017.07a
• /
• pp.483-484
• /
• 2017

본 논문은 친환경자동차의 보급이 활성화됨에 따라 필수적으로 확보되어야할 전기안전성을 평가하기 위한 장비개발에 관한 것으로, 기존 장비의 문제점과 효율성을 개선하기 위하여 국제기준에 적합한 통합형 평가장비를 개발하였다. 본 연구를 통하여 개발된 제품을 공인 시험기관에서 성능을 검증하였으며, 검증결과 친환경자동차의 정격에 적합한 측정 장비의 사양을 갖는 것을 확인하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2012.06a
• /
• pp.335-337
• /
• 2012

경인아라뱃길 인천터미널 및 서해갑문 접근항로와 영종대교 부근 통항안전성 검증과 보완을 위하여 북측 만곡부 수역의 확장 필요성을 위하여 선박조종시뮬레이션을 위주로 한 해상교통안전진단을 실시하였으며 이에 대한 해상교통 안전대책을 제시하였다.

• Proceedings of the KIPE Conference
• /
• 2015.07a
• /
• pp.131-132
• /
• 2015

본 논문에서는 국제 규정에서 요구되는 고전압에 대한 전기적 안전성 확보를 위한 설계 기준 및 배터리 관리 시스템의 절연 설계 방법에 대해서 살펴보았다. 아울러 고전압 안전성 상태를 감시하는 지락파괴 감시기능의 동작 해석에 대한 연구를 진행하였으며, 실험을 통하여 그에 대한 타당성을 검증하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• 한국벤처창업학회:학술대회논문집
• /
• 2020.11a
• /
• pp.25-31
• /
• 2020

최근 급격히 증가하는 노인들과 정신적 휴식이 필요한 도시인들의 신체적·정신적 건강과 안녕감을 유지하기 위한 방법으로써 치유농업에 관한 다양한 연구가 이루어지고 있다. 본 연구는 치유농업 이용의도에 영향을 미치는 변인고찰을 위하여 노후준비도, 치유농업 공급조건, 치유농업 제공서비스를 독립변수로 정하여 연구하였다. 본 연구를 위해서 서울, 경기 일부지역의 30세 이상 성인 남녀를 대상으로 설문조사를 실시하여 최종 356부를 분석대상으로 확정하였다. 연구가설의 검증은 선형회기분석을 통하여 검증하였고, 분석결과는 다음과 같다. 첫째, 노후준비도의 신체적 준비와 정서적 준비, 그리고 경제적 준비는 이용의도에 유의한 영향을 미치는 것으로 조사되었다. 둘째, 치유농업 공급조건의 자연경관,, 접근성, 안전성은 이용의도에 유의한 영향을 미치는 것으로 조사되었다. 그러나 경제성과 전문성은 기각되었다. 셋째, 치유농업 제공서비스의 농작물 재배, 동물매개, 치유시설은 이용의도에 유의한 영향을 미치는 것으로 검증되었다. 이러한 연구를 통해 치유농업 이용의도를 높이기 위해서는 소비자의 노후준비가 잘되어 있어야 하며, 치유농업 공급조건에서는 접근성과 안전성이, 치유농업 제공서비스에서는 치유시설이 잘 갖춰져야 치유농업을 이용하려는 소비자의 이용의도를 높일 수 있다는 결론을 도출하였다.