• Title/Summary/Keyword: control flow integrity

Search Result 62, Processing Time 0.026 seconds

A Study on Researches for CFI enforcement and their Application to Mobile Devices (CFI 기술의 연구 동향 및 모바일 기기에의 적용 가능성 고찰)

  • Lee, Yong-Je;Lee, Jinyong;Heo, Ingoo;Moon, Hyungon;Hwang, Dongil;Baek, Yun-Heung
    • Annual Conference of KIPS
    • /
    • 2014.04a
    • /
    • pp.408-411
    • /
    • 2014
  • 최근 포스트 PC 시대가 시작되면서 다양한 모바일 기기가 상호 연결되는 트렌드가 나타나고 있다. 하지만 이로 인해 나타나는 보안상의 취약점 문제는 모바일 기기 상에서의 보다 강력한 보안성 요구 하게 되었다. 이 논문에서는 보안 취약점에 대처하는 연구 중 Control Flow Integrity (CFI) 연구에 대한 동향을 살펴보고, 이를 모바일 기기에 적용하기 위해서 고려해야 할 점에 대하여 논하겠다.

Effect of κ-Carrageenan on Sperm Quality in Cryopreservation of Canine Semen (개 정액의 냉동보존 시 κ-Carrageenan이 정자 성상에 미치는 영향)

  • Kim, Eun-Ji;Talha, Nabeel A.H.;Jeon, Yu-Byeol;Yu, Il-Jeoung
    • Journal of Animal Reproduction and Biotechnology
    • /
    • v.34 no.1
    • /
    • pp.57-63
    • /
    • 2019
  • This study was conducted to find out the effect that ${\kappa}-Carrageenan$ has on the properties of dog sperm when it was added to the cryoprotectant. Extender basically was contained 1.21 g Trizma base, 0.67 g citric acid, 0.4 g glucose, 0.03 g penicillin G, 0.05 g streptomycin sulfate. Extender1 was added with 0.1%, 0.2%, 0.3%, and 0.5% carrageenan, while extender2 was supplemented with glycerol. After freezing-thawing, the motility, viability, acrosome integrity, apoptosis, and ROS (reactive oxygen specifications) of sperm were measured to analyze the effects of the supplementation of carrageenan. Total Motile (TM), Rapid Progressive Motile (RPM), Medium Progressive Motile (MPM), and Immotile were measured through the CASA system after thawing in 37 degree water. Extender with 0.2% ${\kappa}-carrageenan$ ($64.26{\pm}0.49$) was significantly higher than control ($40.24{\pm}8.27$) (p < 0.05). RPMs of extender with 0.1%, 0.2% ${\kappa}-carrageenan$ ($57.64{\pm}6.34$, $56.47{\pm}1.35$) were significantly higher than the other groups (p < 0.05). Acrosome integrity was measured by dyeing to PSA-FITC with an epifluorescence microscope. Normal acrosome ratio of extender with 0.5% ${\kappa}-carrageenan$ ($61{\pm}8.03$) was higher than the other groups (p < 0.05). Apoptosis was measured with a FACSCalibur flow cytometer using FITC (FITC Annexin V Apoptosis Detection Kit). Treated groups of ${\kappa}-carrageenan$ of 0.1% ($0.81{\pm}0.05$), 0.2% ($0.85{\pm}0.05$) were significantly higer (p < 0.05) than control. Modified SYBR/PI staining was used for determination of viability and DCF staining was used for evaluation of ROS. Viability and ROS were not significantly different from other groups. In conclusion, adding a certain concentration of carrageenan to the extender of cryopreservation, carrageenan contributes to the improvement of the sperm motility, acrosome integrity and prevention of apoptosis.

Loading Rates and Characteristics of Litter from Highway Stormwater Runoff (강우로 인해 고속도로로부터 유출되는 폐기물의 성상, 부하량 및 유출 특성)

  • Kim, Lee-Hyung;Kang, Joohyon
    • Journal of Korean Society on Water Environment
    • /
    • v.20 no.5
    • /
    • pp.415-421
    • /
    • 2004
  • Litter wastes on highway runoff are gradually being considered one of the major pollutants of concern in protecting the integrity of receiving waters for beneficial use. The California State Water Resources Control Board has identified in their 303(d) list at least 36 water bodies where trash or litter is considered a pollutant of concern. The first TMDL adopted by the Region 4 (Los Angeles area) of the California State Water Quality Control Board was for trash in the Los Angeles River. The first flush characteristic study was developed to obtain first flush water quality and litter data from representative stormwater runoff from standard highway drainage outfalls in the Los Angeles area. Total captured gross pollutants in stormwater runoff were monitored at six Southern California highway sites over two years. The gross pollutants were 90% vegetation and 10% litter. Approximately 50% of the litter was composed of biodegradable materials. The event mean concentrations show an increasing trend with antecedent dry days and a decreasing trend with total runoff volume or total rainfall. Event mean concentrations were ranged 0.0021 to 0.259g/L for wet gross pollutants and 0.0001 to 0.027g/L for wet litters. The first flush phenomenon was evaluated and the impacts of various parameters such as rainfall intensity, drainage area, peak flow rate, and antecedent dry period on litter volume and loading rates were evaluated. First flush phenomenon was generally observed for litter concentrations, but was not apparent with litter mass loading rates. Litter volume and loading rates appear to be directly related to peak storm intensity, antecedent dry days and total flow volume.

A Study on the Transaction Security of Electronic Payment (전자결제의 보안성에 관한 연구)

  • 홍선의
    • The Journal of Information Technology
    • /
    • v.1 no.1
    • /
    • pp.173-188
    • /
    • 1998
  • In this paper we discussed various types of electronic payment schemes that are emerging. Threats vary from malicious hackers attempting to crash a system, to threats to data or transaction integrity. An understanding of the various types of threats can assist a security manager in selecting appropriate cost-effective controls to protect valuable information resources. An overview of many of today's common threats presented in this paper will be useful to mangers studying their own threat environments with a view toward developing solutions specific to their organization. To ensure security on the Internet, several methods have been developed and deployed. They include authentication of users and servers, encryption, and data integrity. Transaction security is critical : without it, information transmitted over the Internet is susceptible to fraud and other misuse. So computer systems represents an Intermediary with the potential to access the flow of information between a user. Security is needed to ensure that intermediaries cannot eavesdrop on transactions, or copy/modify data. Online firms must take additional precautions to prevent security breaches. To protect consumer information, they must maintain physical security of their servers and control access to software passwords and private keys. Techniques such as secret and public-key encryption and digital signatures play a crucial role in developing consumer confidence in electronic commerce.

  • PDF

Effect of Alpha-Linolenic Acid with Bovine Serum Albumin or Methyl-Beta-Cyclodextrin on Membrane Integrity and Oxidative Stress of Frozen-Thawed Boar Sperm

  • Lee, Won-Hee;Kim, Wook-Hwan;Cheong, Hee-Tae;Yang, Boo-Keun;Park, Choon-Keun
    • Development and Reproduction
    • /
    • v.23 no.1
    • /
    • pp.11-19
    • /
    • 2019
  • The study was conducted to investigate the effects of alpha-linolenic acid (ALA) combined with bovine serum albumin (BSA) or methyl-beta-cyclodextrin (MBCD) on plasma and acrosomal membrane damages, mitochondrial activity, morphological abnormality, motility, and oxidative stress in frozen-thawed boar sperm. In previous our study, 3 ng/mL ALA had been shown protective effect during freezing process of boar sperm. Therefore, we used 3 ng/mL ALA in present study and ALA was combined with same molar ratio of BSA or MBCD (ALA+BSA and ALA+MBCD, respectively). To confirm the effect of two carrier proteins, same volume of BSA and MBCD without ALA were added during cryopreservation. Membrane damage, mitochondrial activity, reactive oxygen species (ROS) and lipid peroxidation (LPO) levels were measured using flow cytometry, and movement of sperm tail as motility parameter and morphological abnormality were observed under light microscope. In results, all of sperm parameters were enhanced by ALA combined with BSA or MBCD compared to control groups (p<0.05). Mitochondrial activity, morphological abnormality, ROS and LPO levels in ALA+BSA or MBCD groups were no significant difference compared with ALA, BSA and MBCD treatment groups. On the other hand, plasma and acrosomal membrane intact, and sperm motility in ALA+MBCD group were higher than single treatment groups (p<0.05), whereas ALA+BSA did not differ. Our findings indicate that carrier proteins such as BSA and MBCD could improve the effect of ALA during cryopreservation of boar sperm, and treatment of ALA with carrier proteins enhance membrane integrity, mitochondrial activity through reduction of ROS-induced LPO.

Effects of ice-binding protein from Leucosporidium on the cryopreservation of boar sperm

  • Park, Sang Hyoun;Oh, Keon Bong;Ock, Sun-A;Byun, Sung June;Lee, Hwi-Cheul;Kumar, Suresh;Lee, Sung Gu;Woo, Jae-Seok
    • Journal of Embryo Transfer
    • /
    • v.33 no.3
    • /
    • pp.185-194
    • /
    • 2018
  • The aim of this study was performed to evaluate the effects of ice-binding protein from the arctic yeast Leucosporidium (LeIBP) supplementation on cryopreservation of boar sperm. The collected semen was diluted ($1.5{\times}10^8/ml$) in lactose egg yolk (LEY) and cooled at $5^{\circ}C$ for 3 h. The cooled semen was then diluted ($1{\times}10^8/ml$) in LeIBP containing LEY with 9% glycerol and maintained at $5^{\circ}C$ for 30 min. The semen was divided into six experimental groups (control, 0.001, 0.005, 0.01, 0.05 and 0.1 mg/ml of LeIBP). The straws were kept on above the liquid nitrogen ($LN_2$) vapors for 20 minutes and then plunged into $LN_2$. After thawing, computer-assisted sperm analysis was used for sperm motility and flow cytometry was performed to assess the viability, acrosome integrity (FITC-PSA/PI), ROS (DCF/PI), lipid peroxidation (BODIPY C11/PI) and apoptosis (Annexin V/PI), respectively. No significant responses were observed for sperm motility. However, sperm viability was significantly increased on 0.05 and 0.1 mg/ml of LeIBP groups compared to control (P < 0.05). In addition, acrosome integrity was significantly increases LeIBP groups (P < 0.05) and both ROS and lipid peroxidation level were lower in all LeIBP groups than those of control (P < 0.05). On the other hand, a significant higher apoptosis rate was observed in 0.05 and 0.1 mg/ml of LeIBP groups compared to control (P < 0.05). It can be assumed that a supplementation of LeIBP in boar sperm freezing extender is an effective method to increase the sperm qualities after cryopreservation.

Analysis of S/W Test Coverage Automated Tool & Standard in Railway System (철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석)

  • Jo, Hyun-Jeong;Hwang, Jong-Gyu;Shin, Seung-Kwon;Oh, Suk-Mun
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.11
    • /
    • pp.4460-4467
    • /
    • 2010
  • Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

Effects of α-Linolenic Acid in Frozen-thawed Boar Spermatozoa (돼지 정자의 동결보존 시 α-Linolenic Acid의 효과)

  • Lee, Won-Hee;Hwangbo, Yong;Lee, Sang-Hee;Yang, Jin-Woo;Kim, Hwa-Young;Lee, Yu-Rim;Park, Ji-Eun;Cheong, Hee-Tae;Yang, Boo-Keun;Park, Choon-Keun
    • Reproductive and Developmental Biology
    • /
    • v.40 no.3
    • /
    • pp.27-31
    • /
    • 2016
  • The aim of this study was to evaluate effect of ${\alpha}$-linolenic acid (ALA) on viability, acrosome reaction and mitochondrial intact in frozen-thawed boar sperm. The boar semen was collected by gloved-hand method and cryopreserved in 20% egg yolk freezing extender containing ALA (0, 3, 5, and 10 ng/mL) with 0.05% ethanol. The frozen-boar spermatozoa were thawed at $37.5^{\circ}C$ for 45 sec in water-bath. The spermatozoa samples were evaluated the plasma membrane integrity, acrosome reaction, and mitochondrial integrity using flow cytometry. In results, population of live sperm with intact plasma membrane was significantly higher in control and 3 ng/mL ALA treatment group than ethanol group (p<0.05). In contract, dying sperms were higher in ethanol group than 3 ng/mL ALA treatment (p<0.05). Acrosomal membrane damage in all sperm population was reduced in 3 ng/mL ALA groups compared with ethanol treatment (p<0.05). However, acrosome damage in live sperm population was no significant difference among the all treatment groups. Mitochondrial integrity was not influenced by ALA treatments in both of live and all sperm population. In conclusion, this results show that supplement of ALA during the cryopreservation process could reduce the membrane damages including plasma and acrosomal membrane, whereas ALA did not influence to mitochondria in boar spermatozoa. Therefore, these results suggest that ALA can protect against the membrane damage derived cryo-stress, and cryopreservation efficiency of boar semen would be improved by use of ALA.

Relationship between fish assemblages community and Streamline complexity (어류군집 특성과 하안형태복잡도와의 관계)

  • Kim, Jin-Ah;Lee, Sang-Woo;Hwang, Gil-Son;Kim, Chulgoo
    • Journal of the Korean Society of Environmental Restoration Technology
    • /
    • v.15 no.2
    • /
    • pp.19-29
    • /
    • 2012
  • Numerous studies suggested that fish assemblage structure reflects the status of stream ecosystems. The status of streams integrity, including various trophic levels, water quality and habitat degradation, can be assessed by fish assemblages. In this study, we investigated the relationships between fish assemblages and streamline geometry of streams. Previous studies suggested that geomorphologic parameter can be a critical factor of permeability between adjacent two systems. From a landscape ecological perspective, edges may partially control the flow rate of energy between two adjacent systems. Thus, the Streamline geometry can be a geomorphologic parameter that exhibits the integrity of stream. We selected the Nakdong river for study areas, which is one of major rivers and the longest (525 km) River in South Korea. We used the revised IBI representing overall ecological characteristics of Korean fish assemblages and eight sub-assessment criteria of IBI, collected from 82 sampling sites in the Nakdong River. For calculating the Streamline geometry, we measured fractal dimension index that generally used in biology, ecology and landscape ecology. We used the digital land-use/land-cover map and generated a 1-km buffer for each sampling site and refined the shape of the Streamlines. Pearson correlation analyses were performed between Streamline geometry and IBI and sub-assessment criteria of IBI. The results show that IBI and eight sub-assessments of fish are significantly correlated with geometry of Streamline. The fractal dimension of Streamline geometry were related with IBI (r = 0.48) and six sub-assessments of IBI, including total number of native fish and native species, the number of riffle benthic species, sensitive species, tolerant species and native insectivore. Especially, the number of tolerant species(r = -0.52) and native insectivore(r = 0.52) show strong correlation with geometry of Streamline. These results indicate that lower Streamline geometry can result in poor fish assemblages, while higher geometry of Streamline can enhance fish assemblages by potentially supplying insects and better habitat conditions. We expect the results of our study to be useful for stream restoration and management. However, we see the necessity of study investigating the mechanisms how Streamline geometry affect fish assemblages.

Packet Buffering and Relay Method for Reliable UDP based VLBI Data Transmission (신뢰성 있는 UDP 기반 VLBI 데이터 전송을 위한 패킷 버퍼링 및 중계 방안)

  • Song, Min-Gyu;Kang, Yong-Woo;Kim, Hyo-Ryoung;Je, Do-Heung;Wi, Seog-Oh;Lee, Sung-Mo;Kim, Seung-Rae
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.16 no.6
    • /
    • pp.1161-1174
    • /
    • 2021
  • UDP is an unreliable data transmission protocol, in contrast to TCP, which implements reliable data delivery based on flow control and retransmission methods. However, the TCP operation algorithm for guaranteeing reliability is inefficient in improving transmission performance, and above all, there is no need to transmit data using the TCP method for fields that do not require perfect integrity. In this paper, we intend to discuss ways to improve the stability while maintaining the existing performance of UDP. To this end, a program applied with packet buffering and relaying techniques was developed, and the performance and stability of the experiment were verified.