• 한국지반공학회논문집
• /
• 제24권9호
• /
• pp.23-32
• /
• 2008

본 논문에서는 계단식 형태로 시공되는 블록식 보강토 옹벽의 전체 안정성이 고려된 설계에 관한 내용을 다루었다. 다양한 계원과 이격거리로 설계된 네 가지 설계사례에 대해 현재 통용되고 있는 FHWA 및 NCMA 설계기준에 근거하여 내 외적 안정해석을 수행하고 그 결과를 토대로 두 설계기준의 차이점을 검토하였다. 아울러 대상옹벽에 대해 한계평형해석에 근거한 사면안정해석과 연속체역학 기반의 강도감소기법 해석을 수행하여 계단식 옹벽의 설계를 지배하는 파괴 메카니즘을 고찰하였다. 그 결과 내 외적 안정성 공히 FHWA에서 채택하고 있는 설계기준이 NCMA 보다 보수적인 결과(낮은 안전율)를 주는 것으로 나타났다. 또한 계단식 옹벽의 보강재의 소요 포설 길이는 전반적으로 전체 안정성에 좌우되는 것으로 검토되었으며 상부 옹벽의 보강재의 길이는 현 설계기준 보다 현저히 증가시켜야 하는 것으로 검토되었다.

• 한국전자통신학회논문지
• /
• 제6권2호
• /
• pp.171-179
• /
• 2011

블록 암호는 Feistel 구조와 SPN 구조로 나눌 수 있다. Feistel 구조는 암호 및 복호 알고리즘이 같은 구조이고, SPN 구조는 암호 및 복호 알고리즘이 다르다. SPN 구조에서의 암호 및 복호 라운드 함수는 키 합산층과 S-박스에 의하여 혼돈을 수행하는 치환층 및 확산층의 세 단계로 구성된다. AES, ARIA 등 많은 SPN 구조에서 8 비트 S-박스를 사용하므로 Square 공격, 부메랑 공격, 불능 차분 공격 등이 유효하다. 본 논문에서는 암호와 복호 과정이 동일한 SPN 구조 블록 암호 알고리즘을 제안한다. SPN 구조 전체를 짝수인 N 라운드로 구성하고 1 라운드부터 N/2 라운드까지는 정함수를 적용하고, (N/2)+1 라운드부터 N 라운드까지는 역함수를 적용한다. 또한 정함수단과 역함수단 사이에 대칭 블록을 구성하는 대칭단을 삽입한다. 대칭단은 간단한 비트 슬라이스 대합 S-박스로 구성한다. 비트 슬라이스 대합 S-박스는 Square 공격, 부메랑 공격, 불능 차분 공격 등의 공격을 어렵게 한다. 본 논문에서 제안한 SPN 블록 암호는 제한적 하드웨어 및 소프트웨어 환경인 스마트카드와 전자칩이 내장된 태그와 같은 RFID 환경에서 안전하고 효율적인 암호 시스템을 구성할 수 있다.

• 한국도로학회논문집
• /
• 제5권3호
• /
• pp.31-42
• /
• 2003

국내의 포장 재료와 교통 및 기후조건이 반영되는 포장설계법 개발을 위한 연구가 진행중에 있으며, 이를 위해 실제 교통량 및 기후조건이 반영되고 이에 따른 포장의 거동을 모니터링 할 수 있는 대규모의 현장시험시설로 시험도로를 건설하였다. 시험도로 아스팔트 포장구간은 15개의 다양한 두께 및 재료를 가진 단면들로 구성되어 있다. 이러한 단면들을 평가하기 위해 포장체 내에 다양한 계측기들이 매설되어 있다. 계측기 매설에 있어서 핵심 요소는 매설 위치의 정확성과 장기적인 생존율 및 내구성이다. 외국의 시험사례를 보면, 이런 정확성과 내구성은 매설 방법에 크게 영향을 받는다. 이에 본 연구에서는 2000년도부터 3년여 동안 일반적인 계측기 매설 방법인 마운드, 블록아웃. 트렌치컷에 대해 시험시공을 수행하였으며 시험시공 결과를 분석하여 시험도로에 적용하였다. 위치의 정확성, 생존의 안전성, 시공성, 재료의 균질성 측면에서 시험시공 결과를 평가한 결과 블록아웃이 가장 효율적인 방법으로 나타났다. 그러나, 표층의 경우 블록아웃에 부적절한 층두께 등의 특성을 감안하여 마운드 방법을 사용하는 것으로 결정하였다. 아스팔트 기층과 중간층의 매설에는 블록아웃을, 표층의 매설에는 마운드를 사용하는 것으로 결정했다. 2003년 9월 3일부터 11월 18일까지 2달 여에 걸쳐 총 374개의 아스팔트 포장 변형률계를 시험도로에 매설하였다. 계측값 분석 결과, 마운드의 경우 6.3%, 블록아웃은 2.5%의 계측기가 매설 전후의 계측값 변화가 일반적인 계측기 사양 범위를 초과하는 것으로 나타났다. 생존율의 경우 매설후 손실된 계측기는 2개로 99.5%의 높은 생존율을 나타났다.

• 한국콘텐츠학회논문지
• /
• 제21권10호
• /
• pp.38-47
• /
• 2021

본 연구는 블록체인 기반의 집단방역관리 시스템 및 상용화 모델이다. 본 시스템의 구성은 웨어러블 기기로부터 생성된 측정값에 기반하여 생체정보를 생성하는 생체정보생성부와 이곳에서 생성된 생체정보를 방역관리 플랫폼으로부터 전송하는 생체정보 전송부, 공동체서버에서 전송된 조치정보를 방역관리 플랫폼으로부터 수신하는 조치정보 수신부를 포함하는 시스템이다. 또한, 단말기로부터 생체정보를 수집하는 생체정보수신부와 상기 생체정보 수신부를 통해 생성된 생체정보를 블록체인 암호화 기술에 기반하여 암호화하는 암호부 및 감염병에 대한 증상을 데이터베이스화하여 증상정보를 저장하는 감염진단 데이터베이스로 구성된다. 생성된 데이터베이스는 유증상자로 확인된 사용자의 단말기로부터 위치정보를 수신하여 해당 사용자의 위치를 확인하는 위치정보 확인부와 위치가 확인된 후 사용자의 위치에 기반하여 해당 사용자가 공동체에 도착하였는지 판단하는 공동체도착 판단부를 포함하고 있다. 그리고 공동체 서버는 생성된 정보들 간의 상호작용을 돕는다. 이러한 블록체인 기반의 집단방역관리 시스템은 기존의 방역관리체계를 고도화하며 더욱 안전하고 건강한 사회를 구현하는데 도움을 줄 수 있다.

• 한국컴퓨터산업학회논문지
• /
• 제10권4호
• /
• pp.167-176
• /
• 2009

본 논문에서는 간단한 대칭단을 사용하여 암호와 복호를 동일하게 개선한 SHACAL-1을 제안한다. SHACAL-1의 한 라운드는 20스텝으로 되어 있고 모두 4라운드로 구성되어 있으며 복호는 암호의 역함수로 되어있다. 본 논문에서 제안하는 대칭구조 SHACAL-1은 전반부, 대칭단 그리고 후반부의 3개 부분으로 구성한다. 전반부는 SHACAL-1의 암호 알고리즘으로 한 라운드는 10스텝으로 하여 4라운드로 구성한다. 후반부는 SHACAL-1의 복호 알고리즘으로 동일하게 구조를 가진다. 그 중간에 대칭단을 삽입하여 암호와 복호 알고리즘을 동일하게 구성한다. 제안한 대칭구조 SHACAL-1은 SHACAL-1과 수행시간 테스트 결과 거의 영향을 미치지 않은 결과를 보였고, 안전성 또한 대칭단의 적응으로 선형, 차분분석과 같은 높은 확률 패스를 이용한 공격에도 분석을 어렵게 하고 있다. 제안한 알고리즘은 암호와 복호가 다른 블록 암호에도 쉽게 적용 가능하며, 다른 블록 암호 설계에도 유용하다.

• 한국정보통신학회논문지
• /
• 제15권4호
• /
• pp.860-868
• /
• 2011

블록 암호는 Feistel 구조와 SPN 구조로 나눌 수 있다. Feistel 구조는 암호 및 복호 알고리즘이 같은 구조이고, SPN 구조는 암호 및 복호 알고리즘이 다르다. 본 논문에서는 암호와 복호 과정이 동일한 SPN 구조 블록 암호 알고리즘인 가칭 SSB를 제안한다. SSB는 짝수 N 라운드로 구성하고, 각 라운드는 라운드 키 덧셈, 치환 계층, 바이트 교환 및 확산 계층으로 구성한다. 치환 계층은 홀수 라운드와 짝수 라운드가 서로 역의 관계를 이룬다. 확산 계층은 MDS 대합 행렬로 구성한다. SSB의 차분 및 선형 공격 확률은 $2^{-306}$로 AES와 동일하다. 본 논문에서 제안한 암호와 복호가 동일한 SPN 블럭 암호는 하드웨어 구성이 간단한 장점을 가지므로 제한적 하드웨어 및 소프트웨어 환경인 스마트카드와 전자 칩이 내장된 태그와 같은 RFID 환경에서 안전하고 효율적인 암호 시스템을 구성할 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권3호
• /
• pp.211-215
• /
• 2009

프로그래머블 로직 콘트롤러(PLC)가 원자력 계측제어 시스템과 같은 안전 필수 시스템 구현에 많이 사용됨에 따라, PLC 프로그램에 대한 정형검증의 필요가 높아지고 있다. 본 연구에서는 함수 블록 다이어램(FBD)으로 구현된 PLC 프로그램에 대한 자동화된 정형검증 기법을 제안한다. FBD 프로그램을 검증하기 위해서 먼저 FBD 프로그램을 검증언어인 Verilog로 변환하고, 변환된 Verilog모델에 대해 SMV 모델체커를 호출해 모델체킹을 수행한다. 자동화를 위해 FBD Verifier 도구를 개발하였다. FBD Verifier는 FBD 프로그램으로부터 Verilog 모델로의 자동변환 기능뿐 아니라 모델체킹 결과 생성된 반례를 직관적이고 효과적으로 분석할 수 있는 기능 또한 제공한다. 제안된 기법과 도구를 사용해 원전계측제어시스템 개발사업단의 원자로 보호시스템에 대한 방대한 양의 FBD 프로그램을 성공적으로 검증하였다.

• 터널과지하공간
• /
• 제22권1호
• /
• pp.43-53
• /
• 2012

개착면의 방향성과 규모가 점진적으로 변화되는 개착사면의 안정성을 지반의 암석학적, 구조적 및 역학적 특성을 종합적으로 고려한 횡단면 분석기법을 활용하여 분석하였다. 시추작업을 수행하여 획득한 코어시료를 관찰하여 사면지반의 암석학적 취약성을 조사하였으며, 시추공 내 BIPS 영상을 획득하여 사면 내부의 구조적 특성을 규명하였다. 시추코어 및 코어절리시료를 이용한 암석실험을 통해 사면 지반의 공학적 특성을 분석하였다. 평사투영해석을 수행하여 잠재적인 사면거동 양상과 거동유발 절리들을 분석하였으며, 거동유발 절리들의 트레이스 분포를 개착 형상이 고려된 횡단면상에 도시하였다. 횡단면에 분포된 평면파괴 절리들이 기저면을 형성하는 평면블록들을 절리 트레이스 분포를 고려하여 설정하였다. 횡단면 상에서 심도별 평면블록들의 안정성과 적정 안전율을 유지하기 위하여 요구되는 지보량을 산정하여 최적 사면 설계안 수립에 대한 횡단면 기법의 활용성을 고찰하였다.

• 융합정보논문지
• /
• 제8권5호
• /
• pp.85-93
• /
• 2018

본 연구는 우리나라에서 운영되고 있는 본인확인수단의 다양성을 확보하기 위해 비대면 본인인증수단 중에서 블록 체인과 FIDO를 선택하여 본인확인수단으로서의 적합성 정도를 검토하였다. 이를 위해 7가지 적합성 기준(보편성, 지속성, 유일성, 편의성, 보안성, 적용성, 경제성)을 선정하여 분석하였는데, 모두 적합한 수준을 갖추고 있음을 검증하였다. 이에 따라 블록체인과 FIDO를 본인확인수단으로 적용하기 위해서는 관련 규정 및 고시의 개정으로 본인확인절차를 개선하여야 한다. 더욱이, 기존의 본인확인수단뿐만 아니라 다양한 본인인증수단을 적용할 수 있도록 서비스분야별로 차별화된 인증기준이 마련되어야 하고, 지속적으로 인증수단을 개발하여 서비스와 연계하여야 한다. 앞으로 본인확인수단은 사물인터넷시대에서 정보유통환경의 안전성을 가져올 것이므로, 본인확인수단의 적용 확대 및 자율적 도입을 지원하여 다양한 서비스에서 구현될 수 있어야 한다.

• 한국정보통신학회논문지
• /
• 제13권4호
• /
• pp.675-683
• /
• 2009

암호/복호 알고리즘이 서로 다른 RC6을 간단한 논리 연산과 회전 연산을 사용한 대칭단의 삽입으로 암호/복호를 같게 하는 알고리즘을 제안한다. 즉 RC6의 전체 라운드의 반은 RC6의 암호 알고리즘을, 나머지 반은 RC6의 복호 알고리즘을 사용하고 암호와 복호 알고리즘 중간에 대칭 단을 넣어 암호/복호가 같은 개선된 RC6을 구현했다. 제안한 RC6 알고리즘은 기존의 RC6 알고리즘과 수행 속도에서는 거의 차이가 없고, 안전성은 대칭단의 삽입으로 차분 및 선형 분석에 필요한 높은 확률의 패스를 단절시켜 효과적인 분석을 어렵게 하고 있다. 제안한 대칭단 알고리즘은 암호/복호가 다른 블록 암호 알고리즘에 간단히 적용하여 암호/복호가 같게 만들 수 있으며, 새로운 블록 암호 알고리즘의 설계에도 좋은 아이디어로 사용할 수 있다.