• Title/Summary/Keyword: new proof

Search Result 435, Processing Time 0.032 seconds

An Efficient Provable Secure Public Auditing Scheme for Cloud Storage

  • Xu, Chunxiang;Zhang, Yuan;Yu, Yong;Zhang, Xiaojun;Wen, Junwei
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.8 no.11
    • /
    • pp.4226-4241
    • /
    • 2014
  • Cloud storage provides an easy, cost-effective and reliable way of data management for users without the burden of local data storage and maintenance. Whereas, this new paradigm poses many challenges on integrity and privacy of users' data, since users losing grip on their data after outsourcing the data to the cloud server. In order to address these problems, recently, Worku et al. have proposed an efficient privacy-preserving public auditing scheme for cloud storage. However, in this paper, we point out the security flaw existing in the scheme. An adversary, who is on-line and active, is capable of modifying the outsourced data arbitrarily and avoiding the detection by exploiting the security flaw. To fix this security flaw, we further propose a secure and efficient privacy-preserving public auditing scheme, which makes up the security flaw of Worku et al.'s scheme while retaining all the features. Finally, we give a formal security proof and the performance analysis, they show the proposed scheme has much more advantages over the Worku et al.'s scheme.

Implementation of Statistical Significance and Practical Significance Using Research Hypothesis and Statistical Hypothesis in the Six Sigma Projects (식스시그마 프로젝트에서 연구가설과 통계가설에 의한 통계적 유의성 및 실무적 유의성의 적용방안)

  • Choi, Sung-Woon
    • Journal of the Korea Safety Management & Science
    • /
    • v.15 no.1
    • /
    • pp.283-292
    • /
    • 2013
  • This paper aims to propose a new steps of hypothesis testing using analysis process and improvement process in the six sigma DMAIC. The six sigma implementation models proposed in this paper consist of six steps. The first step is to establish a research hypothesis by specification directionality and FBP(Falsibility By Popper). The second step is to translate the research hypothesis such as RHAT(Research Hypothesis Absent Type) and RHPT(Research Hypothesis Present Type) into statistical hypothesis such as $H_0$(Null Hypothesis) and $H_1$(Alternative Hypothesis). The third step is to implement statistical hypothesis testing by PBC(Proof By Contradiction) and proper sample size. The fourth step is to interpret the result of statistical hypothesis test. The fifth step is to establish the best conditions of product and process conditions by experimental optimization and interval estimation. The sixth step is to draw a conclusion by considering practical significance and statistical significance. Important for both quality practitioners and academicians, case analysis on six sigma projects with implementation guidelines are provided.

In vivo functional photoacoustic imaging (나노초 레이져를 이용한 광-초음파 이미지 결상법)

  • Oh, Jung-Taek;Li, Meng-Lin;Song, Kwang-Hyun;Xie, Xueyi;Stoica, George;Wang, Lihong V.
    • Proceedings of the Optical Society of Korea Conference
    • /
    • 2006.02a
    • /
    • pp.359-360
    • /
    • 2006
  • Functional photoacoustic tomography is a new non-invasive imaging modality, and it is emerging as a very practical method for imaging biological tissue structures by means of laser-induced ultrasound. Structures with high optical absorption, such as blood vessels, can be imaged with the spatial resolution of ultrasound, which is not limited by the strong light scattering in biological tissues. By varying wavelengths of the laser light and acquiring photoacoustic images, optical absorption spectrum of each image pixel is found. Since the biochemical constituents of tissues determine the spectrum, useful functional information like oxygen saturation ($SO_2$) and total haemoglobin concentration (HbT) can be extracted. In this study, as a proof-of-principle experiment, hypoxic brain tumor vasculature and traumatic brain injury (TBI) of small animal brain are imaged with functional photoacoustic tomography. High resolution brain vasculature images of oxygen saturation and total hemoglobin concentration are provided to visualize hypoxic tumor vasculature, and hemorrhage on the cortex surface by the TBI.

  • PDF

ID-based signcryption with improved security (안전성을 보완한 ID기반 signcryption 기법)

  • Kwak Byeong-Ok;Jeong Yoon-Su;Lee Sang-Ho
    • Journal of the Korea Society of Computer and Information
    • /
    • v.11 no.2 s.40
    • /
    • pp.239-251
    • /
    • 2006
  • Zheng's signcryption scheme is a new encryptical scheme of which can save more expense than those of the current signature encryption by using digital signature and symmetric key encryption logically. The current signcryption schemes have a problem that is to be exposed the secret key of the receiver in the case of checking repudiation of origin by the third party. To solve this problem, a solution suggested in this paper is to use multi-purpose ID-based signcryption scheme with anonymity and unlinkability. This solution is safe and more efficient than current signcryption schemes because the suggested scheme keeps the security of the random oracle model as using Weil-pairing in encryption. and follows a formal proof of semantic security of the decisional Diffie-Hellman problem.

  • PDF

An Assessment for Anti-piercing Designs of RC Slabs against Small Caliber Bullets (소구경 탄자에 대한 철근콘크리트 슬래브의 관입저항력 평가)

  • Kim, Suk-Bong;Kang, Young-Chul;Lee, Jong-Chan;Baek, Sang-Ho;Park, Young-Jun
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.10 no.2
    • /
    • pp.69-75
    • /
    • 2007
  • So far, anti-piercing depths for concrete slabs have been determined using Conventional Weapon's Effects Program(CONWEP) that was developed by the U. S. Army's Corps of Engineering. However, it has been suggested by a number of field officers that the values computed by CONWEP tend to be too high for protective facilities used in small military units and that indiscriminate application of these values to such facilities would lead to uneconomical penetration-proof designs. In this study, gunshots onto RC slabs were carried out using KM80 bullets in order to measure the piercing depths. The observed depths and the depths offered by the CONWEP system differed greatly from each other by up to 119 centimeters. Based on the depth values obtained through this experiment, we have proposed a new equation to calculate effective anti-piercing depths for RC slabs against small caliber bullets.

AC Breakdown Strength According to Crystallinity and Diffusion of Crosslink By-products by Annealing of XLPE (XLPE의 열처리에 의한 결정화도, 가교부산물의 확산에 따른 교류파괴전압 특성)

  • Kim, Young-Ho;Lee, Sang-Jin;Lee, Seung-Yop;Choi, Myung-Kyu
    • Proceedings of the KIEE Conference
    • /
    • 2000.07c
    • /
    • pp.1608-1610
    • /
    • 2000
  • In this work, the effect of annealing on physical and electrical properties of XLPE cable insulation was investigated. One sample was non-annealed and the other two samples were treated under air circulated oven at 80$^{\circ}C$ for five and ten days. In the DSC patterns of annealed specimen, new peaks appeared at near 80$^{\circ}C$ as a proof of thermal history. The degree of crystallinity increased by annealing effect. In the FT-IR spectrums, the change of absorbances to acetophenone and cumyl alcohol were observated according to the radial direction of cable insulation. They slowly diffused into both semi-conductive layer of the cable in proportion to annealing time and lastly led to near equilibrium state through cable insulation. The AC breakdown strength did not increased but the values were stabilized by effects of crystallinity and diffusion of by-products.

  • PDF

Vertical distributions of lateral forces on base isolated structures considering higher mode effects

  • Tsai, C.S.;Chen, Wen-Shin;Chen, Bo-Jen;Pong, Wen-Shen
    • Structural Engineering and Mechanics
    • /
    • v.23 no.5
    • /
    • pp.543-562
    • /
    • 2006
  • Base isolation technology has been accepted as a feasible and attractive way in improving seismic resistance of structures. The seismic design of new seismically isolated structures is mainly governed by the Uniform Building Code (UBC-97) published by the International Conference of Building Officials. In the UBC code, the distribution formula of the inertial (or lateral) forces leads to an inverted triangular shape in the vertical direction. It has been found to be too conservative for most isolated structures through experimental, computational and real earthquake examinations. In this paper, four simple and reasonable design formulae, based on the first mode of the base-isolated structures, for the lateral force distribution on isolated structures have been validated by a multiple-bay three-story base-isolated steel structure tested on the shaking table. Moreover, to obtain more accurate results for base-isolated structures in which higher mode contributions are more likely expected during earthquakes, another four inertial force distribution formulae are also proposed to include higher mode effects. Besides the experimental verification through shaking table tests, the vertical distributions of peak accelerations computed by the proposed design formulae are in good agreement with the recorded floor accelerations of the USC University Hospital during the Northridge earthquake.

The Development of Balancing Machine Using Hall Effect Sensor (홀 이펙트 센서를 이용한 밸런싱 머신 개발)

  • Jang, In-Hun;Nam, Won-Ki;Oh, Se-Hoon;Sim, Kwee-Bo
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.16 no.2
    • /
    • pp.209-214
    • /
    • 2006
  • The eccentricity of the rotor causes a rotary machine to unbalance and the balancing to correct or compensate this is very important not only for dust-proof and anti -noise design but also for stabilization and durability of the rotary machine. In this paper, for developing the balancing machine to find and compensate such eccentricity, we will propose new way of measuring eccentricity using hall effect sensor that is different from the way in a conventional balancing machine. And we will show that it is possible to make balancing machine more compactly and cheaply by experiment results using hall effect sensor to measure eccentricity. Moreover we try to control and monitor the balancing machine by personal computer through serial communication.

Validity of Community Planning Techniques using a Web Survey that Considers Voluntary and Flexibility of Participation

  • Kikuchi, Sachiko;Koshimizu, Hajime
    • Proceedings of the Korean Institute of Landscape Architecture Conference
    • /
    • 2007.10b
    • /
    • pp.60-65
    • /
    • 2007
  • Workshops and discussions on the community planning process and visions for the future have progressed with the cooperation of the administration, citizens and specialists. However, they require a technical proof. For this reason, it is difficult to achieve a standard, whereby city dwellers are satisfied. In this study, the Delphi method was selected as a support tool, and an attempt was made to grasp the intentions and interests of city dwellers. Then, the community planning process was applied by using the Delphi method for urban areas with sparse identification. Participants were residents and commuters in the target areas. Categories were 'environment', 'community' and 'cultural sensibility'. For reducing the cost and time taken by investigators, and to enable those living in the community to participate in voluntaries and flexibility, we used a web survey as an investigation method. As a result, we could express the regional characteristics, problems and community planning intentions of city dwellers. The results suggested the validity of web surveys in regional evaluation, and explained the visions for the future and response attitudes, as well as the existence of a new identification that gives consideration to voluntary and flexibility of participation.

  • PDF

A multilevel in space and energy solver for multigroup diffusion eigenvalue problems

  • Yee, Ben C.;Kochunas, Brendan;Larsen, Edward W.
    • Nuclear Engineering and Technology
    • /
    • v.49 no.6
    • /
    • pp.1125-1134
    • /
    • 2017
  • In this paper, we present a new multilevel in space and energy diffusion (MSED) method for solving multigroup diffusion eigenvalue problems. The MSED method can be described as a PI scheme with three additional features: (1) a grey (one-group) diffusion equation used to efficiently converge the fission source and eigenvalue, (2) a space-dependent Wielandt shift technique used to reduce the number of PIs required, and (3) a multigrid-in-space linear solver for the linear solves required by each PI step. In MSED, the convergence of the solution of the multigroup diffusion eigenvalue problem is accelerated by performing work on lower-order equations with only one group and/or coarser spatial grids. Results from several Fourier analyses and a one-dimensional test code are provided to verify the efficiency of the MSED method and to justify the incorporation of the grey diffusion equation and the multigrid linear solver. These results highlight the potential efficiency of the MSED method as a solver for multidimensional multigroup diffusion eigenvalue problems, and they serve as a proof of principle for future work. Our ultimate goal is to implement the MSED method as an efficient solver for the two-dimensional/three-dimensional coarse mesh finite difference diffusion system in the Michigan parallel characteristics transport code. The work in this paper represents a necessary step towards that goal.