• 한국수정란이식학회지
• /
• 제28권1호
• /
• pp.63-71
• /
• 2013

In this study, we used flow a cytometric assay to evaluate plasma membrane integrity and mitochondrial activity in post-thawed sperm that was supplemented with ginsenoside-$Rg_1$. Varying concentrations of ginsenoside-$Rg_1$ (0, 25, 50 and $100{\mu}M/ml$) were used in the extender during cryopreservation to protect the DNA of thawed sperm, thereby increasing the viability and motility rate as evaluated using a computer-assisted sperm analysis (CASA) method. The results derived from CASA were used to compare the fresh, control, and ginsenoside-$Rg_1$ groups. Sperm motility and the number of progressively motile sperm were significantly (p<0.05) higher in the $50{\mu}M/ml$ ginsenoside-Rg1 group ($61.0{\pm}4.65%$) than in the control ($46.6{\pm}7.02%$), $25{\mu}M/ml$ ($46.2{\pm}4.76%$), and $100{\mu}M/ml$ ginsenoside-$Rg_1$ ($52.0{\pm}1.90%$) groups. However, the velocity distribution of post-thawed sperm did not differ significantly. Membrane integrity and MMP staining as revealed using flow cytometry were significantly (p<0.05) higher ($91.6{\pm}0.82%$) in the $50{\mu}M/ml$ ginsenoside-$Rg_1$ group than in the other groups. Here, we report that ginsenoside-$Rg_1$ affects the motility and viability of boar spermatozoa. Moreover, ginsenoside-$Rg_1$ can be used as a protective additive for the suppression of intracellular mitochondrial oxidative stress caused by cryopreservation.

• Clinical and Experimental Reproductive Medicine
• /
• 제49권2호
• /
• pp.87-92
• /
• 2022

Objective: The aim of this study was to determine the effects of melatonin and selenium in freezing extenders on frozen-thawed rat sperm. Methods: Semen samples were collected from 20 adult male Wistar albino rats. Following dilution, the samples were divided into six groups: four cryopreserved groups with 1 mM and 0.5 mM melatonin and selenium supplements, and two fresh and cryopreserved control groups. The rapid freezing technique was used to freeze the samples. Flow cytometry was used to assess plasma membrane integrity, mitochondrial membrane potential, and DNA damage, while computer-assisted sperm analysis was used to assess motility. Results: Total motility was higher in the 1 mM melatonin supplementation group than in the cryopreserved control group (mean±standard error of the mean, 69.89±3.05 vs. 59.21±1.31; p≤0.05). The group with 1 mM selenium had the highest plasma membrane integrity (42.35%±1.01%). The cryopreserved group with 0.5 mM selenium had the highest mitochondrial membrane potential, whereas the cryopreserved control group had the lowest (45.92%±4.53% and 39.45%±3.52%, respectively). Conclusion: Cryopreservation of rat semen supplemented with 1 mM melatonin increased sperm motility after freeze-thawing, while supplementation with 0.5 mM selenium increased mitochondrial activity.

• 정보보호학회논문지
• /
• 제15권3호
• /
• pp.13-29
• /
• 2005

역할기반 접근제어의 중요한 특징은 그 자체가 정책 중립적이라는 데 있다. 이것은 역할기반 접근제어에는 특정한 접근제어 정책이 내포되어 있다기 보다 응용 환경에 따라 요구되는 정책을 쉽게 표현할 수 있다는 것을 의미한다. 이런 이유로 전통적인 접근제어 정책인 강제적 접근제어 정책과 임의적 접근제어 정책을 역할기반 접근제어 모델로 구성 가능함을 보이고자 하는 연구가 진행되어 왔다. 특히, 역할기반 접근제어를 이용하여 강제적 접근제어를 표현하는 연구에서는 낮은 보안등급에서 높은 보안등급으로의 단방향 정보흐름을 유지할 수 있는 두 가지 규칙인 하향 갱신금지 규칙과 상향 판독 금지 규칙을 준수할 수 있도록 역할기반 접근제어의 일부 컴포넌트(사용자, 역할, 역할 계층, 세션)들을 재구성하고 제약사항들을 추가함으로써 해결하는데 초점을 두고 있다. 그러나 이런 기존 연구들은 비밀성 보장에 초점을 두었지만 실제 일부분에서 비밀성이 보장되지 못하고 있음을 밝힌다. 추가로 권한이 없는 사용자에 의한 정보 수정을 막는 무결성이 위반되고 있음을 밝힌다. 본 논문은 강제적 접근제어 정책에서 요구하고 있는 비밀성과 무결성을 동시에 만족시키는 역할기반 접근제어 모델을 제안한다. 역할기반 접근제어의 일부 컴포넌트들을 재구성하고 추가적인 제약사항들을 제안하였다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.753-762
• /
• 2021

웹 어셈블리는 웹 환경에서 수행 가능한 명령어 형식을 일컫는다. 최근 웹 어셈블리의 성능적인 우수함 때문에 다양한 웹 애플리케이션에서 웹 어셈블리가 활용되고 있다. 하지만 본 논문에서는 보안 관점에서 웹 어셈블리의 간접호출 명령어에 대한 보호 기능에 취약한 부분이 있다는 것을 알게 되었고, 이에 이러한 웹 어셈블리에서의 간접호출 명령어의 보호를 위한 코드 계측 기술인 WACFI를 제안한다. 구체적으로 WACFI에서는 소스 코드 분석을 통해 얻은 정보를 활용해 웹 어셈블리 코드를 수정하여 웹 어셈블리의 간접호출 명령어 보호 기능을 강화하였다. 우리의 실험결과에 따르면 WACFI는 단지 약 2.75%의 성능 부하만으로 이러한 보안 기능을 제공하는 것으로 확인되었다.

• 한국유체기계학회 논문집
• /
• 제18권5호
• /
• pp.49-53
• /
• 2015

Thrust vector control is the method which generates the side force and roll moment by controlling exhausted gas directly in a rocket nozzle. TVC is classified by mechanical and fluid dynamic methods. Mechanical methods can change the flow direction by several objects installed in a rocket nozzle exhaust such as tapered ramp tabs and jet vane. Fluid dynamic methods control the flight direction with the injection of secondary gaseous flows into the rocket nozzle. The tapered ramp tabs of mechanical methods are used in this paper. They installed at the rear in the rocket nozzle could be freely moved along axial and radial direction on the mounting ring to provide the mass flow rate which is injected from the rocket nozzle. TVC of the tapered ramp tabs has the potential to produce both large axial thrust and high lateral force. We have conducted the experimental research and flow analysis of ramp tabs to show the performance and the structural integrity of the TVC. The experiments are carried out with the supersonic cold flow system and the schlieren graph. This paper provides to analyze the location of normal shock wave and distribution of surface pressure on the region enclosed by the tapered ramp tabs.

• 한국정보전자통신기술학회논문지
• /
• 제13권1호
• /
• pp.88-93
• /
• 2020

최근 SDN 기술이 실제 통신 사업에 적용되면서 사용자가 많아지며 네트워크에 흐르는 데이터 량이 많아짐에 따라 네트워크 데이터 흐름 관리에 대한 관심이 늘고 있다. 이 과정에서 전송되는 네트워크 상의 데이터의 기밀성, 무결성, 가용성, 추적 가능성이 보장되는지 확인할 수 있어야 한다. 또한, 다양한 분야에서 요구되는 네트워크상에서 데이터를 실시간으로 흐름을 관측하고 통제를 시각적으로 확인할 수 있는 환경이 개발이 필요하다. 본 논문에서는 첫 번째로 Mininet을 응용하여 네트워크 토폴로지를 시각적으로 구성하고 다양한 속성을 부여할 수 있는 환경을 구축하였다. 둘째, Mininet 환경에서 OpenDayLight를 추가하여 네트워크 토폴로지에서 네트워크 트래픽 흐름을 시각적으로 확인하고 제어할 수 있는 시뮬레이션 환경을 개발하였다.

• 한국컴퓨터정보학회논문지
• /
• 제9권4호
• /
• pp.49-54
• /
• 2004

규칙 기반 접근 제어가 신분 기반 접근 제어의 완전한 대체 방법이 아니듯이 직무 기반 접근 제어도 신분 기반 접근 제어와 규칙 기반 접근 제어의 병합이 아닌 상호 보완적인 방법이다. 본 논문에서는 기존의 접근 제어 메커니즘을 통합하여 보안성 무결성 및 흐름 제어 보안 기능을 제공하며 직무 중심 조직의 접근 제어 요구를 용이하게 수용할 수 있는 새로운 방식의 통합 접근 제어를 위한 시뮬레이션 모델을 설계하여 이를 실제의 응용 시스템에 적용할 수 있도록 한다.

• 한국수정란이식학회지
• /
• 제31권4호
• /
• pp.355-365
• /
• 2016

The cryopreservation of sperm has become the subject of research for successful artificial insemination technologies. Antifreeze proteins (AFPs), one of the factors necessary for effective cryopreservation, are derived from certain Antarctic organisms. These proteins decrease the freezing point of water within these organisms to below the temperature of the surrounding seawater to protect the organism from cold shock. Accordingly, a recent study found that AFPs can increase the motility and viability of spermatozoa during cryopreservation. To evaluate this relationship, we performed cryopreservation of boar sperm with AFPs produced in the Arctic yeast Leucosporidium sp. AFP expression system at four concentrations (0, 0.01, 0.1, and $1{\mu}g/ml$) and evaluated motility using computer assisted sperm analysis. DNA damage to boar spermatozoa was measured by the comet assay, and sperm membrane integrity and acrosome integrity were evaluated by flow cytometry. The results showed that motility was positively affected by the addition of AFP at each concentration except $1{\mu}g/ml$ (p<0.001). Although cryopreservation with AFP decreased the viability of the boar sperm using, the tail DNA analyses showed that there was no significant difference between the control and the addition of 0.1 or $0.01{\mu}g/ml$ AFP. In addition, the percentage of live sperm with intact acrosomes showed the least significant difference between the control and $0.1{\mu}g/ml$ AFP (p<0.05), but increased with $1{\mu}g/ml$ AFP (p<0.001). Our results indicate that the addition of AFP during boar sperm cryopreservation can improve viability and acrosome integrity after thawing.

• 시스템엔지니어링학술지
• /
• 제12권2호
• /
• pp.101-114
• /
• 2016

A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

• 정보보호학회논문지
• /
• 제25권6호
• /
• pp.1449-1453
• /
• 2015

IoT환경에서는 소프트웨어의 안전성과 무결성이 중요하다. 하지만 IoT의 제한된 성능 때문에 소프트웨어 검증에 음영지역이 발생한다. 제한된 제어 변조 공격은 이러한 음영지역을 목표로, 대상 프로그램의 핵심 분기문을 변조하여 동작을 조작한다. 본 논문에서는 이러한 공격에 대응하여 프로그램에 marker를 직접 주입하고 확인함으로써 공격을 탐지하는 효율적인 기법을 제안한다.