• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.720-737
• /
• 2024

Private set intersection cardinality (PSI-CA) is a typical problem in the field of secure multi-party computation, which enables two parties calculate the cardinality of intersection securely without revealing any information about their sets. And it is suitable for private data protection scenarios where only the cardinality of the set intersection needs to be calculated. However, most of the currently available PSI-CA protocols only meet the security under the semi-honest model and can't resist the malicious behaviors of participants. To solve the problems above, by the application of the variant of Elgamal cryptography and Bloom filter, we propose an efficient PSI-CA protocol with high security. We also present two new operations on Bloom filter called IBF and BIBF, which could further enhance the safety of private data. Using zero-knowledge proof to ensure the safety under malicious adversary model. Moreover, in order to minimize the error in the results caused by the false positive problem, we use Garbled Bloom Filter and key-value pair packing creatively and present an improved PSI-CA protocol. Through experimental comparison with several existing representative protocols, our protocol runs with linear time complexity and more excellent characters, which is more suitable for practical application scenarios.

• 대한안전경영과학회지
• /
• 제16권4호
• /
• pp.101-111
• /
• 2014

Aviation safety is increasingly important to secure the safety of the Republic of Korea Air Force (ROKAF). A critical activity for enhancing aviation safety is to analyze an accident throughly and to identify causes that can explain it reasonably. The results of such a systematic accident investigation can be effectively used for improving information displays, task procedures, and training systems as well as for reorganizing team structure and communication control system. However, the current practice of analyzing aviation accidents in ROKAF is too superficial and simple to diagnose them systematically. Additionally, the current practice does not give a full consideration to human factors that have been identified as main causes of most of the aviation accidents. With this issue in mind, this study aims to suggest a new approach to analyzing aviation accidents related to human factors.The proposed method is developed on the basis of several models and frameworks about system safety, human error, and human-system interaction. Its application to forty-two human factors-related accidents, which have occurred in ROKAF during the last ten years, showed that the proposed method could be a useful tool for analyzing aviation accidents caused by human factors.

• 대한안전경영과학회지
• /
• 제19권3호
• /
• pp.123-128
• /
• 2017

Logistics companies distinguish between medium-sized business and small business according to the size of enterprises. Of course, conglomerates are called global corporations. In this study, mid-sized companies over a certain size or more and those below are classified and decide the priorities among important factors to secure competitiveness in logistics companies are determined through AHP technique. Mid-sized companies are companies that can provide more than two logistics services. For example, they provide warehousing and transportation services in the same time. small companies are companies that can mostly provide one functional service. Warehousing, transportation, manpower, and information are listed as factors in this study. As a result of the study, medium-sized companies emphasized on the importance of transportation. When it comes to small companies, warehousing was emphasized as an important factor. Due to the simultaneous and contemporary service of warehousing and transportation in small-sized company, the reliable image of the company will be underestimated in case of delays in transportation. Competitiveness will also be weakened. Global corporations or conglomerates will start to consider relocating warehousing areas to others except for the central storage hub. They won't plan to invest directly, either. Therefore, it will be possible to secure competitiveness by providing the function of warehousing and to signed easily partnership.

• 상하수도학회지
• /
• 제30권5호
• /
• pp.533-543
• /
• 2016

Supplying clean and safe water to people is facing both quantitative and qualitative challenges. Due to climate change, access to freshwater becomes increasingly difficult, while pollution from various sources decreases the public trust in water quality. Managed aquifer recharge (MAR) which stores and uses surface water in aquifer is receiving attention as a new technology to secure freshwater. Recently, there is a global expansion in the attempt to combine general purification plants and hazard analysis and critical control point (HACCP) which manages all the process from raw material to consumer for food safety. This research is about an attempt to apply HACCP to the drinking water supply process using MAR to secure both quantity and quality of drinking water. The study site is a MAR plant being constructed in the downstream area of the Nakdong River Basin, South Korea. The incorporation of HACCP with MAR-based water supply system is expected to enhance the safety and reliability of drinking water.

• 해양환경안전학회지
• /
• 제12권3호
• /
• pp.225-231
• /
• 2006

해양은 인류의 생존에 필수적인 지구 환경 및 생태계를 구성할 뿐만 아니라 인류의 번영에 필수적인 다양한 자원을 제공하고 있다. 세계 주요 해양국가들은 국내외의 해양자원안보를 강화하고 해양안전안보의 영역을 확대하고 있으며 해양안보를 위한 국제협력을 강화하고 또한 이들 업무를 추진하는 전문기관의 위상을 강화하고 있다. 우리나라도 관할해역의 확대와 더불어 산업화, 과학기술의 발달 및 사회문화의 발달에 따른 해양안보의 수요급증, 해양안보의 국제협력 증대 등 해양안보의 환경이 급변하고 있는 바, 해양안보의 집행수단 확보, 정보수집능력의 강화. 교육훈련의 강화 등 해양안보의 확보를 위한 정책의 강화가 요구된다.

• 한국멀티미디어학회논문지
• /
• 제23권2호
• /
• pp.351-360
• /
• 2020

If various unreasonable safety standards are preemptively and effectively readjusted, the risk of accidents can be reduced. In this paper, we proposed a machine reading comprehension-based safety standard Q&A system to secure supporting technology for effective search and analysis of safety standards for integrated and systematic management of safety standards. The proposed model finds documents related to safety standard questions in the various laws and regulations, and then divides these documents into provisions. Only those provisions that are likely to contain the answer to the question are selected, and then the BERT-based machine reading comprehension model is used to find answers to questions related to safety standards. When the proposed safety standard Q&A system is applied to KorQuAD dataset, the performance of EM 40.42% and F1 55.34% are shown.

• 한국가스학회지
• /
• 제25권5호
• /
• pp.70-77
• /
• 2021

4차 산업혁명과 더불어 IoT 기술이 발전함에 따라 IoT 기술이 적용된 가스안전 제품들이 개발되고 있다. 하지만 그에 따른 가스 안전 제도는 허용되지 않았기 때문에 IoT 가스안전 제품들을 위한 제도개선과 동작 신뢰성 테스트가 요구된다. 본 논문은 IoT 가스안전 제품 중 IoT 퓨즈 콕, 스마트 다기능 계량기에 대해서 연구하고 IoT 퓨즈 콕의 실증 결과 데이터를 분석하여 동작 신뢰성 데이터를 확보하며, 그에 따라 IoT 가스안전제품에서 선두주자가 되는 것뿐만 아니라 추후 다양한 시험 평가 및 방법으로 가스 차단 기술을 한 단계 성장시키는 것을 목적으로 한다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제40권10호
• /
• pp.906-915
• /
• 2016

In this study, a network monitoring system, including a secure 460-Network and a 460-Gateway, is designed and developed according with the requirements of the IEC (International Electro-Technical Commission) 61162-460 network standard for the safety and security of networks on board ships. At present, internal or external unauthorized access to or malicious attack on a ship's on board systems are possible threats to the safe operation of a ship's network. To secure the ship's network, a 460-Network was designed and implemented by using a 460-Switch, 460-Nodes, and a 460-Gateway that contains firewalls and a DMZ (Demilitarized Zone) with various application servers. In addition, a 460-firewall was used to block all traffic from unauthorized networks. 460-NMS (Network Monitoring System) is a network-monitoring software application that was developed by using an simple network management protocol (SNMP) SharpNet library with the .Net 4.5 framework and a backhand SQLite database management system, which is used to manage network information. 460-NMS receives network information from a 460-Switch by utilizing SNMP, SNMP Trap, and Syslog. 460-NMS monitors the 460-Network load, traffic flow, current network status, network failure, and unknown devices connected to the network. It notifies the network administrator via alarms, notifications, or warnings in case any network problem occurs. Once developed, 460-NMS was tested both in a laboratory environment and for a real ship network that had been installed by the manufacturer and was confirmed to comply with the IEC 61162-460 requirements. Network safety and security issues onboard ships could be solved by designing a secure 460-Network along with a 460-Gateway and by constantly monitoring the 460-Network according to the requirements of the IEC 61162-460 network standard.

• 디지털산업정보학회논문지
• /
• 제7권3호
• /
• pp.63-74
• /
• 2011

Credit cards are more convenient than cash of heavy. Therefore, credit cards are used widely in on_line (internet) and off_line in nowadays. To use credit cards on internet is commonly secure because client identification based security card and authentication certificate. However, to use in off_line as like shop, store, department, restaurant is unsecure because of irregular accident. As client identification is not used in off_line use of credit cards, the irregular use of counterfeit, stolen and lost card have been increasing in number recently. Therefore, client identification is urgently necessary for secure card using in off_line. And the method of client identification must be simple, don't take long time, convenient for client, card affiliate and card company. In this paper, we study a reform measure of the structure and transaction process for the safety improvement of a credit cards. And we propose several authentication method of short-and long-term for client identification. In the proposal, the client authentication method by OTP application of smart-phone is efficient nowadays.

• 한국안전학회지
• /
• 제14권4호
• /
• pp.204-210
• /
• 1999

본 논문에서는 정합필터의 데이터 베이스로 체적 홀로그램을 사용한 광 지문 인식 시스템을 제안하였다. VanderLugt 상관기에 사용되는 정합필터는 방대한 저장 능력과 실시간 랜덤 엑세스의 장점을 갖는 체적 홀로그램에 기록된다 데이터 베이스로 사용되는 지문 영상들은 각각 공간광변조기에 디스플레이 되어 퓨리에 변환 렌즈를 통과한 후 퓨리에 변환된 공간정합필터의 형태로 광굴절매질에 기록된다. 대용량의 데이터 베이스를 구성하기 위한 다중화 방법으로 스텝 모터를 이용하여 기준파의 각도를 회전하는 각다중화 기술을 사용하였다. 실험을 통해 본 시스템이 제한된 영역의 접근을 통제하기 위한 개인 인증용 안전 출입 시스템 및 크레디트카드, 여권, ID등의 위조방지에 이용이 가능함을 제시하였다