• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권5호
• /
• pp.2762-2777
• /
• 2017

A fuzzy identity based signature (FIBS) scheme allows a signer with identity ${\omega}$ to generate a signature which could be verified under identity ${\omega}^{\prime}$ if and only if ${\omega}$ and ${\omega}^{\prime}$ are within a certain distance of each other as judged by some metric. In this paper, we propose an efficient FIBS scheme from lattice assumption, which can resist quantum-computer attacks. Without using the Bonsai Tree technique, we utilize the lattice basis delegation technique to generate the private key, which has the advantage of keeping the lattice dimension invariant. We also prove that our proposed scheme is existentially unforgeable under an adaptive chosen message and identity attack in the random oracle model. Compared with existing scheme, our proposed scheme is much more efficient, especially in terms of communication overhead. Since our FIBS scheme possesses similar error-tolerance property, it can be well applied in post-quantum communication biometric authentication environments, where biometric identifiers such as fingerprints, voice, iris and gait are used in human identification.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권9호
• /
• pp.4576-4598
• /
• 2018

In big data age, flexible and affordable cloud storage service greatly enhances productivity for enterprises and individuals, but spontaneously has their outsourced data susceptible to integrity breaches. Provable Data Possession (PDP) as a critical technology, could enable data owners to efficiently verify cloud data integrity, without downloading entire copy. To address challenging integrity problem on multiple clouds for multiple owners, an identity-based batch PDP scheme was presented in ProvSec 2016, which attempted to eliminate public key certificate management issue and reduce computation overheads in a secure and batch method. In this paper, we firstly demonstrate this scheme is insecure so that any clouds who have outsourced data deleted or modified, could efficiently pass integrity verification, simply by utilizing two arbitrary block-tag pairs of one data owner. Specifically, malicious clouds are able to fabricate integrity proofs by 1) universally forging valid tags and 2) recovering data owners' private keys. Secondly, to enhance the security, we propose an improved scheme to withstand these attacks, and prove its security with CDH assumption under random oracle model. Finally, based on simulations and overheads analysis, our batch scheme demonstrates better efficiency compared to an identity based multi-cloud PDP with single owner effort.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.70-72
• /
• 2006

데이터 웨어하우스는 방대한 이력 데이터들을 저장하는 저장소이며, 이를 다양한 관점에서 분석하기 위해 OLAP (On-Line Analytical Processing) 연산을 이용한다. 일반적으로 이러한 저장소는 데이터를 저장할 때 많은 열(columns) 을 기반으로 저장하는 와이드(wide) 형태의 테이블로 저장하게 된다. 하지만, 관계형 DBMS에서는 열 수의 제약(MS SQLServer, Oracle 등 열의 수는 1024개임)을 받게 되므로, 그 이상의 열들을 저장할 수 없다. 하지만, 열 기반(이하, 수평 테이블)으로 저장하는 것보다는 관계형 DBMS의 특징을 이용하여 행(row) 기반(이하, 수직 테이블)으로 저장하게 되면 많은 데이터를 효율적으로 저장할 수 있다. 이때, 저장 테이블의 스키마 구조가 변경되므로, 수평 테이블에 대한 질의도 저장된 수직 테이블에 적용 가능하도록 변화시켜야 한다. 또한, 사용자에게 빠른 질의 응답을 제공하기 위해 질의 최적화를 고려하여 실행전락을 세워야 한다. 따라서 본 연구에서는 경험(heuristic)을 근거로 각 연산(프로젝션, 실렉션, 조인 연산)을 위한 질의 트리를 생성하여 질의 최적화에 대한 여러 질의 경로를 고려하고, 다양한 실험을 통해 질의 최적화에 대한 접근 경로들을 분석한다. 이로써, 본 연구의 질의 경로 분석을 기반으로 최적화 실행 계획을 기대해 본다.

• 대한조선학회지
• /
• 제30권2호
• /
• pp.44-52
• /
• 1993

선박에 있어서 철의장품은 종류와 수량이 다양하고 형상이 불규칙하여 대부분의 사업장에서 설계 전산화가 이루어지지 못하고 있는 실정이다. 의장설계실에서는 이를 전산화하기 위하여 먼저 철의장품의 표준을 제정 및 극대화하고 설계작업절차와 물량의 흐름을 전산과 연계하여 체계화 및 표준화하였다. 또한 선박의 전구역에 설치되는 철의장품들을 관련 양식과 함께 국제표준을 근거로 BASICA CADDS, SURFACE DESING, SDDP(structural Design ＆ Detailing Package) SOFTWARE를 이용하여 2차원(2-dimension) 및 3차원(3-dimension) 데이터베이스(database)화 하였으며 이를 POP-UP MENU를 이용, 쉽게 선택함으로써 모델링(modeling) 작업시수를 대폭 감소 시켰으며, 그래픽(graphic)에서 추출한 의장품의 데이터(data)를 의장품의 표준정보 FILE과 연계하여 라벨(LABEL) 및 치수(DIMENSION)를 기입하여 배치도를 추출하고 의장품의 제작, 설치, 계산 및 관리에 소요되는 설치도, 제작도 및 관련 보고서인 BOM(bill of material), PML(pallet material list), 의장제작품 LIST, COG(center of gravity), 관리점 등을 자동추출 및 관리전산망(PC-lan)과 연계할 수 있는 DECOM(철의장 전산설계 전용 package)을 89년에 개 발하여 의장설계에 적용하여 왔으며 ORACLE사의 RDBMS(relational database management system)를 도입하여 이를 보완하므로써 정보의 일관화 및 공유화가 가능하게 되었다. 그 결과 설계 M/H절감, 생산성 향상, 자재 및 관련 정보 전달에 혁신적인 변화 향상을 가져오게 되었다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.229-238
• /
• 2009

In this paper, AWS ECU test method, which is considering behavior of a Bi-modal tram, is described. In order to evaluate the performance of an electronic automotive ECU, the method which combines HILS (Hardware In the Loop Simulation) and RBT (Requirement Based Testing) is introduced. HILS is the method to predict the behavior of a vehicle adopting an ECU. The behavior of a Bi-modal tram can be analyzed by using the vehicle dynamic model. Requirement Based Testing compare the outputs of a real system with a virtual electronic unit (oracle) which created by the requirements. Rear axles of the Bi-modal tram are independently controlled by two AWS ECU. Especially, swing out can happen when an articulated vehicle is operated in the curved road. Therefore dynamic behaviour of a Bi-modal tram is considered at this situation. Through this study, the reliability of ECU can be verified economically and safely using the proposed test method before conducting the track test.

• 한국CDE학회논문집
• /
• 제2권2호
• /
• pp.103-110
• /
• 1997

In the development of large complex assembly, most design changes are from the following reasons.: 1) insufficient consideration of assembling sequence of downstream process. 2) interference and fit-up of related parts. 3) initial design changes which are not completely resolved. In order to reduce the first reason of above, the assembly-centric modeling methodology was proposed in the part (1) of the thesis. In this part (2), a Digital Mock-Up system, which is a tool to build a virtual mock-up in design stage, has been developed in order to prevent the other two reasons. The system can build a virtual assembly in various ways as followings.: 1) assembling parts which are located in user defined envelope. 2) assembling parts with the specified disciplines. 3) assembling parts that are selected in the part list. It can also make an assembly by the combination of above methods. In addition to that, it has the functions to read/write the virtual assembly and to explode parts of the assembly in desired direction. With the virtual assembly, engineers can design interference free parts without making physical mock-up. The system has been implemented with Oracle database management system in CATIA environment.

• 대한디지털의료영상학회논문지
• /
• 제5권1호
• /
• pp.46-63
• /
• 2002

This thesis describes the effective interfacing methods of PACS Modality based on the system installation and operating experiences. PACS(Picture Archiving and Communication Systems) is a system for medical image archiving and communication using large storage device and high-speed network. The standard communication protocol of PACS is DICOM(Digital Imaging and Communication in Medicine) based on TCP/IP and point-to-point protocol. However, there are many Non-DICOM Modalities and DICOM Modalities having problems. First, we had interfaced almost modalities, Fuji CR, GE CT, MRI, Angio, Fluoro, Phillips Angio, Shimadzu Fluoro, Ultrasound PACS, with the main PACS in the Seoul S Hospital as large scale hospital. And we manipulated the intelligent image distribution and the CT, MRI Interfaces never experienced before in the Anyang J Hospital and the Chungju C Hospital as mid or small scale hospital. Technically, we developed both the DICOM Interface and the Non-DICOM Interface. At the last, the DICOM Worklist and the DICOM Print Interface were implemented in the Seoul B Hospital, the Bucheon SJ Hospital and the Seoul K Hospital independently with PACS. The Oracle, Sybase and MS-SQL are used as database, and UNIX, Macintosh, MS Windows as operating systems. And the Visual C++ and UNIX C are the main programming tools. We have used UTP, coaxial and fiber optic Gable under 10/100 mbps LAN for networking.

• 안보군사학연구
• /
• 통권2호
• /
• pp.237-260
• /
• 2004

As the research work about XML based on the development of Internet and according to the information exchange standard is being carried out, the need of discovering new methods to store XML documents and manage them efficiently according to the frequency of large-capacity XML documents increases. Consequently, as a kind of back-end database system, XML storage systems such as RDBMS, OODBMS and Native XML DBMS etc. are coming forth in order to save XML documents. It is an urgent task to make comparisons among usage expense, function comparison storage, inquiry, and manage dimension for each DBMS. This paper makes an analysis and comparison of DTD-independent XML document access methods in RDBMS, OODBMS and Native XML DBMS for XML storage and management. After analyzing the advantages and disadvantages of each access method and comparing the function of typical commerce DBMS such as Oracle 8i, eXcelon and Tamino for finding the possibility of military applications, an another appropriate method to save XML documents is proposed as to find an implementation approach to save structural XML documents.

• International Journal of Ocean System Engineering
• /
• 제1권1호
• /
• pp.52-59
• /
• 2011

A prototype radar display unit was implemented using inexpensive off-the-shelf components, including a nonlinear estimation algorithm for the target tracking in a clutter environment. Two custom designed boards; an analog signal processing board and a DSP board, can be plugged into an expansion slot of a personal computer (PC) to form a maritime radar display unit. Our system provided all the functionality specified in the International Maritime Organization (IMO) resolution A422(XI). The analog signal processing board was used for A/D conversion as well as rain and sea clutter suppression. The main functions of the DSP board were scan conversion and video overlay operations. A host PC was used to run the tracking algorithm of targets in clutter, using the discrete-time Bayes optimal (nonlinear, and non-Gaussian) estimation method, and the graphic user interface (GUI) software for Automatic Radar Plotting Aid (ARPA). The proposed tracking method recursively found the entire probability density function of the target position and velocity by converting into linear convolution operations.

• Journal of Communications and Networks
• /
• 제11권3호
• /
• pp.279-286
• /
• 2009

This paper proposes an adaptive mode switching algorithm between two strategies in multiple antenna cellular networks:A single-user mode and a multi-user mode for the broadcast channel. If full channel state information is available at the base station, it is known that a multi user transmission strategy would outperform all single-user transmission strategies. In the absence of full side information, it is unclear what the capacity achieving method is, and thus there are few criteria to decide which of the myriad possible methods performs best given a system configuration. We compare a single user transmission and a multi user transmission with linear receivers in this paper where the transmitter and the receivers have multiple antennas, and find that neither strategy dom inates the other. There is instead a transition point between the two strategies. Then, the mode switching point is determined both ana lytically and numerically for a multiple antenna cellular downlink with correlation between transmit antennas.