• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2011년도 정기 학술발표대회
• /
• pp.182-182
• /
• 2011

현재 국내에서 PSC 거더의 제작은 주로 포스트텐션방식을 사용하고 있다. 포스트텐션방식은 콘크리트 양생 후 긴장력을 도입하여 제작회전율이 높은 특성을 가지나 쉬스, 그라우팅, 정착장치 등이 요구되어 조립과정이 복잡하고 제작단가가 높다. 교량에 적용되는 PSC 거더를 포스트텐션방식 대신에 프리텐션방식으로 제작한다면 제작단가를 대폭 감소시킬 수 있을 것이나, 교량용 PSC 거더의 길이가 일반적으로 30~50m이므로 공장에서 제작하여 현장으로 운반하는 것은 운반비용의 상승 및 운반 가능한 크기의 제한을 받게 된다. 운반의 문제를 해결하기 위해서는 현장에서 PSC 거더를 제작하여야 하는데 현장에 긴장대를 고정식으로 설치하는 것은 제작단가의 상승으로 이어져 경제성을 잃게 된다. 따라서 현장에서 사용할 수 있도록 이동식 긴장대를 제작한다면 경제성을 갖춘 프리텐션방식의 PSC 거더 생산이 가능할 것이다. 50m급 이동식 긴장대에는 약 10MN에 이르는 매우 큰 긴장력이 가해져 이동식 긴장대가 콘크리트 양생전까지 이 긴장력을 저항하여야 한다. 본 논문에서는 유한요소 해석프로그램인 ABAQUS를 사용하여 50m급 PSC 거더를 생산할 수 있는 이동식 긴장대를 모델링하여 약 10MN에 이르는 긴장력이 가해질 때에 이동식 긴장대의 각 구성요소의 거동특성 및 하중에 대한 안전성 및 좌굴에 대한 안정성 확보 여부를 해석적으로 파악하고자 한다. 이동식 긴장대는 구성요소인 정착블럭(긴장BOX)과 중간연결블럭으로 나누어 모델링하였다. 정착블럭(긴장BOX)은 다수의 강판을 4절점 쉘요소(S4R)를 사용하여 직육면체의 BOX 형상에 내부를 보강한 단면으로 구성하였고, 중간연결블럭은 H형강 2개를 일체화한 긴장대 거더와 콘크리트 바닥판 블록이 볼트로 합성된 구조이며, H형강은 4절점 쉘요소(S4R), 바닥판블럭은 8절점솔리드요소(C3D8R)를 사용하였다. 긴장대거더와 바닥판블럭은 합성거동을 하도록 weld option을 사용하여 부분적으로 결합하였다. 정적해석결과 이동식 긴장대에 발생하는 응력은 도로교 설계기준에 SS400 강재의 허용응력 140MPa 보다 작으며 선형탄성좌굴 해석결과 가력하중의 2.22배 약 21MN의 하중이 가력되어야 전체좌굴이 발생하게 될 것으로 추정된다. 해석결과를 보아 50m급 PSC 거더를 생산할 수 있는 이동식 긴장대는 하중에 대한 안전성 및 좌굴에 대한 안정성을 확보하고 있는 것으로 판단된다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2019년도 추계학술대회
• /
• pp.87-88
• /
• 2019

유도표지의 일종인 도등과 지향등은 고정된 위치에서 안전한 입항침로를 시각적인 방법으로 제공해주기 때문에 항해자가 전방을 주시하면서 시야를 빼앗기지 않고 자연스럽게 이용할 수 있어 심리적 안점감을 주는 매우 효과적인 항로표지이다. 부산항 북항은 부산항북항재개발사업 D-1 블록 신축공사 계획에 따른 부산북항도등 맹목구간 해소를 위해 지향등을 설치가 필요하고, 부산항 신항은 토도 제거로 선박 통항여건이 바뀌어 항로표지 정비가 필요하여 지향등 설치를 위해 기본설계를 하였다. 또한, 기본설계 결과를 항로표지 시뮬레이션과 비교하여 검증을 하였다. 이 연구는 향후 우리나라 항만에서 선박 안전유도를 위해 지향등을 설치하는데 유용한 자료로 활용될 수 있을 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제15권2호
• /
• pp.199-206
• /
• 2010

인터넷과 네트워크 등 통신의 급속한 발달로 디지털 정보화 사회가 점점 고도화되고 다양한 서비스를 제공받고 있는 상황이지만 심각한 보안 위협에 노출되어 있다. 이와 같은 정보 보호 시장의 특성에 따라 보안 기술의 적용 환경이나 분야에 적합하고, 중요한 정보를 보다 안전하게 보호하기 위한 암호 기술의 연구가 더욱 절실히 요구된다. 통신에서 정보 보호를 위한 암호화 기술 중에서 암호화 키와 복호화 키가 같은 대칭키 암호 알고리즘은 변환 방법에 따라 블록 암호 알고리즘과 스트림 암호 알고리즘으로 구분된다. 본 연구에서는 제안한 SEED와 스트림 암호 알고리즘의 안전성과 신뢰성을 검증하고 통신 환경에서의 적용 가능성을 확인하고자 한다. 이것은 다양한 통신 환경 조건에 따른 적합한 암호 알고리즘의 선택과 적용으로 안전한 정보 교류가 이루어질 수 있도록 하는데 기여할 수 있을 것이다.

• 정보보호학회논문지
• /
• 제26권6호
• /
• pp.1431-1441
• /
• 2016

ARX 구조를 가지는 블록암호알고리즘에 마스킹 대응기법을 적용할 경우 연산별 마스킹 방식의 차이로 인하여 방식 간 안전한 변환이 반드시 필요하다. 그러나 마스킹 변환 시 발생되는 많은 연산량으로 인하여 ARX 기반 알고리즘에 마스킹 대응기법을 적용하는 것은 AES와 같이 하나의 마스킹 방식을 적용하는 알고리즘보다 상대적으로 비효율적이라고 알려져 있다. 본 논문에서는 현재까지 제안된 다양한 마스킹 변환 기법을 이용하여 1차 부채널분석에 안전한 LEA를 설계하고 32비트 플랫폼에 구현한다. 이를 바탕으로 대응기법의 예상되는 이론적 연산량과 실제 측정한 연산량간 발생하는 차이점에 대해 구현관점에서 살펴본다. 아울러 T-test를 활용하여 본 논문에서 구현한 대응기법이 실제 안전한지를 실험적으로 검증한다.

• 정보처리학회논문지C
• /
• 제13C권7호
• /
• pp.843-850
• /
• 2006

본 논문에서는 기존의 암호화 방법보다 안전한 키를 생성하는 해쉬체인 알고리즘을 제안하며, 해쉬체인 알고리즘 기법을 통해 생성한 각각의 키를 각각의 블록에 적용한 암호화 방법을 사용하여 기존의 시스템보다 보안성이 높은 암호화 방법을 제안한다. 또한 사용자 인증기법을 통해 사용자를 유/무선으로 인증한 후, 키 분할 기법을 이용하여 분할된 키를 안전하게 전송하는 방법과 클라이언트에 키가 유출되어도 완전한 키를 얻지 못하도록 하는 세션키 분할 기법을 제안한다. 제안한 시스템을 설계하고 구현한 후 성능 평가를 위해 다양한 크기의 디지털콘텐츠 파일을 이용하여 실험을 수행하였으며, 제안한 시스템이 기존 시스템에 비해 안전한 키 전송을 할 수 있었고, 키 유출에도 전체 데이터를 복호화 할 수 없도록 암호화 하였다. 또한 클라이언트 시스템에서 비디오 데이터 파일 재생 시 암호화 복호화 시간은 기존 방법과 유사함을 확인하였다.

• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1225-1236
• /
• 2020

퍼징은 예상되는 범위를 벗어난 입력값을 무작위로 생성해 소프트웨어를 동적으로 테스팅 하는 방법으로, 취약점 분석을 자동화하기 위해 주로 쓰인다. 현재 한국인터넷진흥원에서는 국내 표준 암호 알고리즘들에 대한 소스코드를 공개하고 있으며, 많은 암호모듈 개발업체들이 이 소스코드를 이용하여 암호모듈을 개발하고 있다. 만약 이러한 공개 소스코드에 취약점이 존재할 경우, 이를 참고한 암호 라이브러리는 잠재적 취약점을 가지게 되어 향후 막대한 손실을 초래하는 보안 사고로 이어질 수 있다. 이에 본 연구에서는 SEED, HIGHT, ARIA와 같은 블록암호 소스코드의 안전성을 검증하기 위한 적절한 보안 정책을 수립하였고, 차분 퍼징을 이용해 안전성을 검증하였다. 최종적으로 스택 버퍼 오버플로우와 널 포인터 역참조를 포함하는 메모리 버그 항목과 오류 처리 항목에서 총 45개의 취약점을 발견하였으며, 이를 해결할 수 있는 취약점 개선 방안을 제시한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국정보전자통신기술학회논문지
• /
• 제17권1호
• /
• pp.67-75
• /
• 2024

복잡한 도시 환경에서 횡단보도는 보행자의 안전한 이동을 위해 중요한 역할을 한다. 하지만 시각 장애인에게는 횡단보도가 큰 위험 요소가 될 수 있다. 안전한 보행을 위한 점자 블록이나 음향 신호등과 같은 보조 시설들이 존재하지만, 부실한 관리로 인하여 때로는 오히려 안전을 저해하는 요소로 작용할 수 있다. 본 논문에서는 시각 장애인의 보행 보조를 위한 애플리케이션에 활용할 수 있는 딥러닝 기반 실시간 횡단보도 탐지 모델에 정확도 향상을 위한 방법을 제안한다. 횡단보도 이미지의 흰색 줄이 도로 표면과 대조를 이루는 특성을 활용하여 이미지를 이진화하고, 이를 통해 횡단보도를 더 잘 인식할 수 있게 하고 횡단보도 전체와 중간 부분을 각각 학습한 두 가지 모델을 활용하여 횡단보도의 위치를 더 정확하게 파악할 수 있도록 하였다. 또한 횡단보도를 인식하는 경계 상자를 전체와 부분의 두 단계로 생성하여 정확도를 높이고자 하였다. 이러한 방법을 통해 횡단보도 횡단 영상에서 RGB 이미지 학습에서 탐지 모델이 탐지하지 못한 프레임들을 추가로 탐지할 수 있었다.

• 정보보호학회논문지
• /
• 제29권6호
• /
• pp.1259-1270
• /
• 2019

블록 암호를 설계할 때, 설계자는 주로 차분 특성 확률의 상한을 이용하여 라운드 수를 결정한다. 라운드 수는 블록 암호의 성능에 영향을 미치므로, 더 적은 라운드를 갖기 위해 차분 특성 확률의 상한을 정밀하게 계산하는 것이 중요하다. 이전까지의 활성 S-box의 최소 개수를 탐색하는 방법들은 비선형 연산과 선형 연산을 각각 제약식으로 구성하여 차분 특성 확률의 상한을 계산하였다. 하지만 선형 연산이 비선형 연산에 의존적으로 선택되는 BOGI 설계전략(Bad-Output Good-Input Design Strategy)의 경우 이전 탐색방법으로 구한 상한은 정밀하지 않을 수 있다. 본 논문에서는 BOGI 전략의 성질을 이용하여 기존의 방법보다 더 정밀한 차분 특성 확률의 상한을 구하는 새로운 방법을 제안한다. 그리고 이 방법을 이용하여 구한 상한의 타당성을 수학적으로 증명한다. 제안한 방법을 BOGI가 사용된 GIFT-64와 GIFT-128에 각각 적용하여 9라운드까지 차분 특성 확률의 상한을 탐색하였다. GIFT-64의 7라운드와 GIFT-128의 9라운드에 대해 기존의 방법을 적용하면 차분 특성 확률의 상한이 각각 2^-18.395와 2^-26.885이었으나, 제안한 방법을 적용하면 각각 2^-19.81과 2^-28.3으로 더 정밀하게 계산된다.

• 한국산학기술학회논문지
• /
• 제20권5호
• /
• pp.36-46
• /
• 2019

인터넷에 연결된 호스트의 개수가 대폭 증가해 1984년 도메인 네임 시스템(Domain Name System, 이하 DNS)이 도입되었다. DNS는 웹 사이트를 검색할 때, 일련의 숫자로 이루어진 복잡한 IP 주소를 외우지 않고 편리성이 높은 문자 형태의 주소를 사용할 수 있게 함으로써 현재 인터넷을 이용하는 모든 사용자에게 중요한 핵심 요소로 사용되고 있다. 그러나 이러한 DNS의 중요성에 비해 권한 할당 문제, 공인 등록 관련 분쟁, DNS 캐시 포이즈닝(DNS Cache Poisoning), DNS 스푸핑(DNS Spoofing), 중간자 공격(Man-in-the-Middle Attack), DNS 증폭 공격(DNS Amplification Attack)과 같은 각종 보안 취약점, 초연결 네트워크 시대의 더 많은 도메인 네임의 필요성 등 많은 문제점이 존재한다. 본 연구에서는 기존의 DNS가 가지는 이러한 문제점을 효과적으로 개선하고자 분산원장기술인 블록체인을 이용해 DNS를 구현하는 법을 제안하고, 이더리움 기반의 플랫폼을 이용해 구현하였다. 추가적으로 기존의 도메인 네임 등록 및 도메인 네임 서버의 정성적 성능 비교 평가를 하고, 제안하는 시스템이 기존 DNS의 보안 문제점을 개선할 수 있는지 보안 평가를 하였다. 결론적으로 블록체인을 이용해 더 안전하고 효율적으로 DNS 서비스를 제공할 수 있다는 것을 보였다.