• Journal of Communications and Networks
• /
• v.16 no.6
• /
• pp.592-599
• /
• 2014

Cloud computing enables users to easily store their data and simply share data with others. Due to the security threats in an untrusted cloud, users are recommended to compute verification metadata, such as signatures, on their data to protect the integrity. Many mechanisms have been proposed to allow a public verifier to efficiently audit cloud data integrity without receiving the entire data from the cloud. However, to the best of our knowledge, none of them has considered about the efficiency of public verification on multi-owner data, where each block in data is signed by multiple owners. In this paper, we propose a novel public verification mechanism to audit the integrity of multi-owner data in an untrusted cloud by taking the advantage of multisignatures. With our mechanism, the verification time and storage overhead of signatures on multi-owner data in the cloud are independent with the number of owners. In addition, we demonstrate the security of our scheme with rigorous proofs. Compared to the straightforward extension of previous mechanisms, our mechanism shows a better performance in experiments.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.10 s.241
• /
• pp.1353-1360
• /
• 2005

Injection-molded products serve a wide range of applications in our modem lives and their significance is ever increasing. However, difficulty of communication among related companies under the present system results in increase of lead time and decrease of production efficiency. The objective of this paper is the development of a web-based draft verification system in mold design processes. Although several commercial CAD systems offer draft verification functions, those systems are very expensive and inadequate to perform collaborative works. For collaborative work under the distributed environment, the proposed system uses native file transforming of CAD data into optimal format by using the ACIS kernel and InterOp. Functions of draft verification modules are constructed over the ActiveX control using the visual C++ and OpenGL. Therefore, collaborators related to the development of a new product are able to verify the draft and undercut over the Internet without commercial CAD systems. The system helps to reduce production cost, errors and lead-time to the market. Performance of the system is confirmed through various case studies.

• 수도
• /
• v.24 no.5 s.86
• /
• pp.16-28
• /
• 1997

As sewerage works has become one of the major public works in Korea, the employment of advanced and more appropriate sewerage technology has become essential to improve the efficiency of sewerage works. During last 10 years, the Korean Government has made tremendous amount of investment on sewerage works so that treatment plants in 58 cities have treatment capacity which is equivalent to 52.8% of total daily sewage generation in Korea. This remarkable development, however, has heavily depended on one technology, the conventional activated sludge process as more than 95% of the existing plants employ this process, Recently, the Korean Government and local authorities have plans to introduce more appropriate sewage treatment technologies and research and development in this area has become very active. To encourage employing new and appropriate technologies, however, the proper technology evaluation and verification program for new process is needed. The public sector should play a key role in this program since the sewerage works is one of the major public works. In this paper, the technology evaluation and verification programs related with sewerage facilities in the US and Japan are briefly reviewed. The Innovatived and Alternative Technology programs which was operated by US EPA until recently and Environmental Technology Verification(ETV) program which was commenced in 1995 are introduced. The technology verification programs operated in Japan and also in Korea are also reviewed in this paper to propose a future direction for development of the appropriate evaluation and verification system.

• The KIPS Transactions:PartA
• /
• v.12A no.6 s.96
• /
• pp.523-530
• /
• 2005

When a PCI 2.2 bus master requests data using Memory Read command, a target device may hold PCI bus without data to be transferred for long time because a target device needs time to prepare data infernally. Because the usage efficiency of the PCI bus and the data transfer efficiency are decreased due to this situation, the PCI specification recommends to use the Delayed Transaction mechanism to improve the system performance. But the mechanism cann't fully improve performance because a target device doesn't know the exact size of prefetched data. In the previous work, we propose a new method called Prefetch Request when a bus master intends to read data from the target device. In this paper, we design PCI 2.2 controller and local device that support the proposed method. The designed PCI 2.2 controller has simple local interface and it is used to convert the PCI protocol into the local protocol. So the typical users, who don't know the PCI protocol, can easily design the PCI target device using the proposed PCI controller. We propose the basic behavioral verification, hardware design verification, and random test verification to verify the designed hardware. We also build the test bench and define assembler instructions. And we propose random testing environment, which consist of reference model, random generator ,and compare engine, to efficiently verify corner case. This verification environment is excellent to find error which is not detected by general test vector. Also, the simulation under the proposed test environment shows that the proposed method has the higher data transfer efficiency than the Delayed Transaction about $9\%$.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.533-538
• /
• 2019

The mechanical-collimation imaging is the most mature technology in prompt gamma (PG) imaging which is considered the most promising technology for beam range verification in proton therapy. The purpose of the present study is to compare the performances of two mechanical-collimation PG cameras, knife-edge (KE) camera and multi-slit (MS) camera. For this, the PG cameras were modeled by Geant4 Monte Carlo code, and the performances of the cameras were compared for imaginary point and line sources and for proton beams incident on a cylindrical PMMA phantom. From the simulation results, the KE camera was found to show higher counting efficiency than the MS camera, being able to estimate the beam range even for $10^7$ protons. Our results, however, confirmed that in order to estimate the beam range correctly, the KE camera should be aligned, at least approximately, to the location of the proton beam range. The MS camera was found to show lower efficiency, being able to estimate the beam range correctly only when the number of the protons is at least $10^8$. For enough number of protons, however, the MS camera estimated the beam range correctly, errors being less than 1.2 mm, regardless of the location of the camera.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.11
• /
• pp.998-1005
• /
• 2017

In this paper, we first introduce a systematic verification procedure for hierarchically structured avionics system. By making use of equipment models, it can perform individual verifications of each subsystem, integrated verifications of multiple subsystems, and an integrated verification of a whole system. A multi-mode system integration laboratory is then proposed to make it possible to execute various individual or integrated verification tests at the same time. By mathematically proving that the proposed multi-mode system integration laboratory needs less verification time than the conventional verification methodology, it is expected to enhance the efficiency of the systematic verification procedure and as a result, reduce the overall verification period and costs.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2077-2081
• /
• 2011

Recently the train indusrty come to the fore because of Punctual, eco-friendly transportation system and becoming the main transportation. The construction plans for the trian depot for train's maintenance and storage increase constantly. For past few years, there were many construction plans, Bubal train depot, Gwangju train depot, Duckha train depot. Proper track distribution plan is important to carry out the design of railway depot for efficient maintenance operation and train storage. Through the proper design of track distribution plan, we can shorten the moving time, train movement distance, waiting time in train depot. In this paper, the verification of the track distribution plan's efficiency and appropriateness for railway depot as Bubal train depot's plan is studied and analyzed with the train depot management simulation program-Posrail(v1.0).

• Journal of the Korean Society of Industry Convergence
• /
• v.17 no.1
• /
• pp.15-19
• /
• 2014

Recently, cyclone is used to collect fine particles in various industrial precesses, but many studies are undergoing because of cyclone's low collection efficiency. Thus, we have developed water-cyclone which minimizes disadvantages of existing conventional cyclone and designed 3 different stages depending on precessing materials. Stage 1 collects particles by using principles of conventional cyclone. Stage 2 processes acid gases by extending contact time with water film through vortex movement. Stage 3 processes uncollected substances in stage 1 and 2. Hence, we evaluate water-cyclone by experimental verification.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.6
• /
• pp.2429-2449
• /
• 2018

Dynamic data possession verification is a common requirement in cloud storage systems. After the client outsources its data to the cloud, it needs to not only check the integrity of its data but also verify whether the update is executed correctly. Previous researches have proposed various schemes based on Merkle Hash Tree (MHT) and implemented some initial improvements to prevent the tree imbalance. This paper tries to take one step further: Is there still any problems remained for optimization? In this paper, we study how to raise the efficiency of data dynamics by improving the parts of query and rebalancing, using a new data structure called Rank-Based Merkle AVL Tree (RB-MAT). Furthermore, we fill the gap of verifying multiple update operations at the same time, which is the novel batch updating scheme. The experimental results show that our efficient scheme has better efficiency than those of existing methods.

• Proceedings of the SAREK Conference
• /
• 2006.06a
• /
• pp.1069-1074
• /
• 2006

Heat loss by window in building occupies about 1/4 of energy amount used building. Therefore, high thermal insulation of windows system can speak as very important part in save energy of building. in this research, After select most suitable frame design and Glazing system for high thermal insulation of windows, execute simulation of mixing frame and Glazing System. Also, manufacture windows with the result and execute verification experiment, with verified simulation, this research evaluated thermal insulation performance of window by Glazing System's change.