• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.220-222
• /
• 2003

최근 연구되고 있는 XML 문서를 위한 접근 제어에 관한 연구는 간접적으로 접근 권한을 표현하는 명세 기반 접근 제어 방법과 각 객체에 직접적인 접근 권한을 표현하는 속성 기반 접근 제어 방법으로 구분할 수 있는데, 명세 기반 접근 제어 방법은 공간 효율적이며, 속도 비효율적인 특성을 갖으며, 속성 기반 접근 제어 방법은 속도 효율적이며, 공간 비효율적인 특성을 갖는다. 또한 이러한 연구의 초점은 안전한 접근 제어를 보장하면서, 부가적인 비용 증가를 줄이고자 하지만, 대부분의 연구에서는 인덱스 기법에 기반 하지 않고 문서 전체 또는 일부를 액세스 하므로 탐색 비용 또는 데이터 처리 비용이 증가하고, 특정 기법에 국한 하여 적용하기 때문에 각 기법이 갖는 근본적인 문제점온 해결 할 수 없다. 따라서 이러한 문제점을 해결하기 위해 인덱스 기반의 전역 접근 제어와 지역 접근 제어 메커니즘 제안하고. 이률 기반으로 명세/속성 기반 접근 제어를 연계하여 강제 접근 제어(MAC)의 최소 접근 권한 정책을 지원하는 역할 기반 다중 레벨 접근 제어 모델에 적용하였다.

• Agrochemical news magazine
• /
• v.20 no.2 s.149
• /
• pp.10-13
• /
• 1999

• Journal of Global Scholars of Marketing Science
• /
• v.15 no.1
• /
• pp.21-39
• /
• 2005

The research objectives of this study were to examine the relationship between e-store attributions(reputation, customer service, safety(security), merchandise quality, information quality, web navigation), trust, satisfaction and web site loyalty. The data were collected using survey with a structured questionnaire. The subjects of the study were 213 people. Several hypotheses were put forward and results except for four hypotheses were supported. That is, reputation, customer service, safety(security) and merchandise quality have a significant influence on trust and satisfaction, information quality and web navigation have no influence on trust and satisfaction, and trust and satisfaction have a significant influence on e-loyalty. Regression Analysis were applied to test the research hypotheses on the relationships among the variables. Research implications of the findings and future research directions are presented.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.8
• /
• pp.1597-1605
• /
• 2015

Password authenticated key exchange (PAKE) is a protocol that a client stores its password to a server, authenticates itself using its password and shares a session key with the server. In multi-server PAKE, a client splits its password and stores them to several servers separately. Unless all the servers are compromised, client's password will not be disclosed in the multi-server setting. In attribute-based encryption (ABE), a sender encrypts a message M using a set of attributes and then a receiver decrypts it using the same set of attributes. In this paper, we introduce multi-server PAKE protocol that utilizes a set of attributes of ABE as a client's password. In the protocol, the client and servers do not need to create additional public/private key pairs because the password is used as a set of public keys. Also, the client and the servers exchange only one round-trip message per server. The protocol is secure against dictionary attacks. We prove our system is secure in a proposed threat model. Finally we show feasibility through evaluating the execution time of the protocol.

• Proceedings of the Safety Management and Science Conference
• /
• 2005.11a
• /
• pp.427-449
• /
• 2005

• Journal of the Korea Construction Safety Engineering Association
• /
• v.2 no.4 s.6
• /
• pp.9-15
• /
• 1992

냉엄한 경제환경속에서 경영의 불확실성ㆍ불연속성은 기업의 생존과 직결된다. 재해로 인한 손해는 위험관리에서 말하는 순수위험의 하나이지만 투기적위험에 비해 손실방지에 대한 기업의 관심은 낮은 실정이다. 그러나 다수의 위험에 직면한 최근의 기업은 산업재해로 인한 손실에 대하여 경영관리로서의 중요성을 인식하기 시작했다. 즉 재해방지는 기업방위상의 과제로 되어가고 있는 것이다.

• The Journal of the Korea Contents Association
• /
• v.18 no.8
• /
• pp.573-585
• /
• 2018

Services for navigation and entertainment through AI-based voice user interface devices are becoming popular in the connected car system. Given the classification of VUI agent developers as IT companies and automakers, this study explores attributes of agent persona and user experience that impact the driver's perceived safety and satisfaction. Participants of a car simulator experiment performed entertainment and navigation tasks, and evaluated the perceived safety and satisfaction. Results of regression analysis showed that credibility of the agent developer, warmth and attractiveness of agent persona, and efficiency and care of the UX dimension showed significant impact on the perceived safety. The determinants of perceived satisfaction were unity of auto-agent makers and gender as predisposing factors, distance in the agent persona, and convenience, efficiency, ease of use, and care in the UX dimension. The contributions of this study lie in the discovery of the factors required for developing conversational VUI into the autonomous driving environment.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.931-936
• /
• 2005

There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program. In this paper, we develop a software model checker like SLAM for verifying embedded Java program Compared to SLAM, our tool allows to verify liveness properties as well as safety ones. As a result, we verify some desired properties in embedded Java program for controlling REGO robot.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2015.11a
• /
• pp.113-116
• /
• 2015

일반적으로 인간은 외부로부터 정보의 85% 이상을 '시각'을 통해 얻고 있으며 색(色)-형(形)-Texture(質感)의 순으로 사물을 인식한다. 그래서 인간은 예전부터 위험상황에 대응하기 위해 대상의 정보를 신속하게 전달하는 수단으로 색채를 활용해 왔으며, 안전색채는 이러한 색의 속성을 이용 위험으로부터 안전을 확보하기 위해 적용되어왔다. 현재 안전에 관한 정보를 제공하는 시스템에는 언어나 문자사용을 가능한 한 사용하지 않고 안전표지를 국제적으로 표준화하여 사용하는 것이 바람직하며 실제로 국제표준기구(ISO)가 제정한 '안전색채 및 안전표지(ISO3864)'를 채택하거나 자국의 실정에 맞춰 일부 변경 사용하고 있다. 또한 안전표지는 색만이 아니고 그것을 표시하는 형까지 포함 사용되며 형태는 표시 물건에 따라 다양하며 또한 색채가 일으키는 심리 작용을 이용하여 주의를 환기하거나 위험을 경고하며 위험방지 및 긴급사태에 대한 대응을 목적으로 하고 있다. 안전색채 및 안전표지의 목적은 안전 및 건강에 영향을 미치는 대상물 및 장소에 신속하게 주의를 촉구하는데 있다. 따라서 본 연구에서는 안전색채와 안전표지에 대해 알아보고 이를 사용한 실례를 통하여 안전색채와 안전표지의 색채 및 디자인에 대해 알아보고자 한다.