• The Journal of the Korea Contents Association
• /
• v.22 no.4
• /
• pp.58-69
• /
• 2022

The purpose of this study is to find a way that companies can use social media trust effectively to increase brand trust and intelligently increase it by linking with brand authenticity. Therefore, the purpose of this study is as follows. First, a conceptual definition of the research variables of trust in social media, trust in information sources, and trust in messages is established, Second, the casual relationship between two conceptually defined independent variables and mediator variables of perceived risk and self-efficacy was verified. Third, the casual relationship was verified on whether it affects brand authenticity and brand trust through perceived risk and self-efficacy, which are mediators of social media trust. Fourth, through the verification result of the casual relationship between the research variables constituting the research model of this study, it was intended to present academic and practical implications on how social media trust can effectively enhance brand trust.

• Proceedings of the KIPE Conference
• /
• 2013.11a
• /
• pp.196-197
• /
• 2013

친환경 차량의 필수장치로 사용되는 OBC(On Board Charger) 및 LDC(Low DC-DC Converter)는 시스템 성능은 물론 하드웨어적인 신뢰성과 더불어 차량에서 발생할 수 있는 다양한 Fault로부터 차량과 운전자를 보호할 수 있는 안정성과 신뢰성을 확보하는 것이 요구된다. OBC/LDC 개발에 있어 시제품을 제작하여 성능 검증과 하드웨어 신뢰성을 확보하는 것은 현재의 개발 프로세서로 충분하지만 차량에서 발생하는 다양한 Fault 상황에 대한 강건성 확보는 실차에 탑재하여 검증하지 않고서는 뚜렷한 검증 방법이 없는 실정이다. 이에 따라 본 논문에서는 차량에서 발생될 수 있는 다양한 Fault 상황을 시뮬레이터로 모사하여, 이러한 Fault를 전력변환장치에 인위적으로 주입시킨 뒤 전력변환장치가 정상적으로 동작하는지 분석한다. 이를 통해 실차에 탑재하지 않고 전력변환시스템의 신뢰성을 검증하기 위한 방안을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.280-282
• /
• 2010

위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.258-261
• /
• 2001

인증서의 정당성을 검증하기 위하여 검증자(verifier)는 소유자(owner)의 인증서와 그 인증서를 인증한 공인인증기관의 인증서들을 검증해야 하고, 그에 앞서 그 인증서들의 폐지 여부를 확인하여야 한다[1]. 이 인증서 폐지 목록의 확인을 대행하는 것이 실시간 인증서 상태 프로토콜(OCSP)이다[2]. 그리고, 이 OCSP가 인증서의 폐지 여부만을 응답하는 단점을 극복하기 위하여 간단한 인증서 검증 프로토콜(SCVP)이 제안되었다[7]. 이 SCVP는 사용자의 질문의 형태에 따라 인증서의 정당성까지 검증하여 주는 프로토콜이다. 그러나 이 SCVP 역시 새로운 신뢰기관을 필요로 한다. 본 논문에서는 전체 인증서 검증 경로를 알 수 있는 인증서 일련번호 부과 방법[4]을 기반으로 부과적인 신뢰기관 없이 실시간으로 인증서의 정당성 여부를 확인할 수 있는 새로운 프로토콜을 제시하고자 한다. 계산량의 결과로는 SCVP와 동일한 2n 번의 서명 생성 및 검증이 필요하지만, 인증서 폐지 목록과 부과적인 신뢰기관을 필요로 하지 않는다.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.369-371
• /
• 2001

본 논문에서는 경량전철시스템 기술개발사업에서 개발하고자하는 차량시스템, 신호제어시스템, 전력공급시스템 및 선로구축불의 목표신뢰도를 정의하였다. 이 목표신뢰도의 배분은 국내지하철의 고장유형 및 철도분야에 축적되어있는 고장율을 바탕으로 작성되었다. 특히, 차량시스템분야는 보다 자세히 목표신뢰도를 배분하였다. 이러한 목표신뢰도 배분을 통하여 경량전철 시스템의 각 개발단계마다 이루어지는 개발활동(설계, 제작 및 구매)의 검증을 수행하여야 신뢰성을 확보한 경량전철시스템개발이라는 궁극적인 목적을 달성할 수 있다. 목표신뢰도 배분에 맞추어 경량전철시스템개발동안 제동장치, 추진장치, 출입문장치, 제어장치 등 고장시 열차의 운행을 정지시킬 수 있는 구성품에 대한 신뢰도를 모델링하여 신뢰도 예측 및 분석하고 이에 맞추어 설계검증 및 보안을 한다. 또한 경량전철시스템의 시험선로에서의 주행시험을 통하여 국내 경량전철시스템에 적합한 신뢰도 기준을 마련하고자 한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.4
• /
• pp.71-84
• /
• 2003

Self-certified public keys need not be accompanied with a separate certificate to be authenticated by other users because the public keys are computed by both the authority and the user. At this point, verifiable self-certified public keys are proposed that can determine which is wrong signatures or public keys if public keys are used in signature scheme and then verification of signatures does not succeed. To verify these public keys, key generation center's public key trusted by users is required. If all users trust same key generation center, public keys can be verified simply. But among users in different domains, rusty relationship between two key generation centers must be accomplished. In this paper we propose inter-domain verifiable self-certified public keys that can be verified without certificate between users under key generation centers whose trusty relationship is accomplished. Also we present the execution of signature and key distribution between users under key generation centers use different public key parameters.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2012.04a
• /
• pp.389-392
• /
• 2012

연기감지기는 이온전류의 변화량을 감지하는 이온화식 연기감지기와 발광부와 수광부로 이루어진 챔버내에 연기에 의한 광량의 변화를 감지하는 광전식 연기감지기로 구분된다. 국내에서는 광전식 연기감지기가 더 많이 사용되고 있는데 이러한 광전식 연기감지기의 챔버내에 이물질이 침입하게 되면 비화재보를 발생시키게 된다. 본 논문은 연기감지기의 연기감지 챔버에 대한 비화재보를 감소시키기 위한 신뢰성 시험에 대하여 논한 연구이다. 광전식 연기감지기의 신뢰성을 검증하는 방법으로는 먼지에 대한 신뢰성을 검증하는 가연물 종류에 따른 연기감지 신뢰성 시험이나 분진시험이 적합한 것으로 판단되며, 이러한 시험의 반복을 통하여 광전식 연기감지기의 신뢰성을 검증하는 것이 필요한 것으로 사료된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.265-267
• /
• 2004

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템을 하드웨어 모듈로 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 기존의 방법은 검증하고자 하는 암호 알고리즘의 종류에 따라 검증도구를 다시 개발해야 하는 번거로움으로 시간과 비용의 낭비가 초래되었다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제 하에서 어떤 종류의 암호 하드웨어 모듈에 대해서도 호환성을 갖출 신뢰성 있는 검증 도구를 효과적으로 개발하였다.

• ETRI Journal
• /
• v.10 no.2
• /
• pp.52-62
• /
• 1988

소프트웨어 검증과 확인은 소프트웨어 시스팀의 높은 신뢰도를 보증하기 위한 활동이다. 즉, 더 신뢰성 있는 소프트웨어 제품 생성, 더 낮은 가격의 생명 순기(life-cycle), 요구사항과 일치하지 않는 사항들과 설계 에러들을 초기에 발견하여 개발 가격을 줄이는데 큰 의의를 갖는다. 본고에서는 대형 소프트웨어 개발에서 필요한 검증에 관하여 그 정의와 이제까지 검증 활동을 통하여 제시된 여러 사항들 및 일반적인 자동화된 검증시스팀에 대하여 살펴보고, 특히 General Research Corporation(Santa Barbara, California)에서 개발하고 Huges 항공사에서 프로젝트에 적용을 시켜 성공을 거둔 상용화된 검증시스팀에 대해 고찰하였다.