• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.389-390
• /
• 2019

최근 블록체인 기반의 어플리케이션이 증가하고 이들을 위한 스마트 컨트랙트가 설계상 오류로 부적절하게 사용될 가능성이 증대되고 있다. 따라서 스마트 컨트랙트의 설계를 보다 안전하게 지원할 수 있는 방안이 필요한 실정이다. 본 논문에서는 State machine을 이용하여 이더리움 스마트 컨트랙트의 기능사용을 보다 안전하게 지원하기 위한 기법을 제안한다. 제안된 기법은 전체 동작의 흐름의 제어하기 위한 Transition Contract와 각각 상태에 대한 스마트 컨트랙트인 State Contract를 이용하여 스마트 컨트랙트의 동작과정을 제어한다.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.9 no.9
• /
• pp.819-831
• /
• 2019

The types of properties traded in modern times are rapidly increasing due to changes in consumption patterns. However, as the type of properties traded increases, estimation about the value of properties may become inaccurate. There is a problem that it is difficult for consumers to estimate the right value and the variety of trading forms makes it difficult to guarantee the reliability of value estimation As access to a variety of properties has expanded, these shortcomings are considered to be a factor that hinders the stability of the shared economic market. In this paper, to resolve this issue, we present a blockchain-based property contract service through a trusted broker. The developed service registers trusted brokers into smart contracts on the Ethereum blockchain and use them for the evaluation and contract process of properties. In addition, registered contents, proposals and contracts of properties are stored in the blockchain to ensure the reliability of the contract process. Every step of the contract process is stored in the smart contract, recorded in the transaction history of the blockchain, ensuring the reliability of the stored data. In addition, the entire process of registration, proposal, and contract is driven by smart contracts designed by state machine technology, enabling users to more securely control the contract process.

• Journal of KIISE
• /
• v.43 no.1
• /
• pp.27-33
• /
• 2016

Virtualization has become one of the most helpful techniques in computing systems, and today it is prevalent in several computing environments including desktops, data-centers, and enterprises. However, since I/O layers are implemented to be oblivious to the I/O behaviors on virtual machines (VM), there still exists an I/O scalability issue in virtualized systems. In particular, when a multi-queue solid state drive (SSD) is used as a secondary storage, each system reveals a semantic gap that degrades the overall performance of the VM. This is due to two key problems, accelerated lock contentions and the I/O parallelism issue. In this paper, we propose a novel approach, including the design of virtual CPU (vCPU)-dedicated queues and I/O threads, which efficiently distributes the lock contentions and addresses the parallelism issue of Virtio-blk-data-plane in virtualized environments. Our approach is based on the above principle, which allocates a dedicated queue and an I/O thread for each vCPU to reduce the semantic gap. Our experimental results with various I/O traces clearly show that our design improves the I/O operations per second (IOPS) in virtualized environments by up to 155% over existing QEMU-based systems.