• 디지털융복합연구
• /
• 제16권9호
• /
• pp.179-185
• /
• 2018

4차 산업 혁명의 정보통신기술 산업 분야의 새로운 성장 동력으로 주목받는 사물인터넷 기술은 단순한 보안 기술을 넘어 신뢰성이 필요하다. 이러한 신뢰성은 IoT 제품의 기획 및 설계 단계부터 고려되어 제품을 개발하고 평가하며 사용하는 모두가 보안성을 측정하고 신뢰할 수 있는 시스템이 구축되어야 한다. 사용되는 IoT 기기 수의 급격한 증가와 사용 생명주기의 증가는 소프트웨어 패치와 업데이트 및 관리의 어려움으로 인한 보안 취약성 증가로 이어진다. 본 논문에서는 IoT 산업 분야의 기술적 정책적 동향을 분석하고 이를 통해 IoT 기기의 보안성과 확장성의 한계점을 분석한다. 이러한 한계점을 보완하기 위해 블록체인의 요소 기술인 해시를 활용해 소프트웨어의 무결성을 자동 검증하는 방법을 제안한다. 해시를 활용한 소프트웨어 무결성 자동 검증 방법으로 사물인터넷의 보안성과 확장성을 강화하고, 제안하는 보안 기술 적용을 위한 정책적 솔루션을 제시한다.

• 전자공학회논문지SC
• /
• 제39권2호
• /
• pp.146-156
• /
• 2002

이 논문에서는 불규칙한 배선 구조에 대한 가상직선(virtual-straight line) 파라미터 추출 방법과 이를 이용한 새롭고 빠른 시간 영역에서의 시뮬레이션 방법론을 보이고 검증한다. 비선형인 트랜지스터의 특성을 고려한 인터컨넥트 회로의 시간영역에서의 신호응답은 모델차수감소법(model order reduction method)을 사용하여 수행된다. 모델차수감소법은 인터컨넥트 회로의 단위길이당 파라미터를 이용하므로 인터컨넥트의 길이가 서로 다르고 불규칙한 형태를 갖는 인터컨넥트에 대해서 직접적으로 모델차수감소법을 적용하기 위해 가상직선 모델을 사용하여 인터컨넥트의 파라미터를 추출한다. 또한 모델차수감소법은 일반적인 Berkeley SPICE의 모듈로 구성하여 인터컨넥트 회로의 시간영역 시간응답을 구하였으며 일반적인 회로 시뮬레이터인 HSPICE의 시뮬레이션 결과와 비교하여 잘 일치한다는 것을 보인다. 제안된 방법은 복잡한 다층 배선 구조에 대한 신속하고 정확한 시간영역 신호응답을 제공함으로써 고성능 VLSI 회로 설계에 유용하게 적용할 수 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권10호
• /
• pp.5039-5061
• /
• 2017

Cloud storage becomes a new trend that more and more users move their data to cloud storage servers (CSSs). To ensure the security of cloud storage, many cloud auditing schemes are proposed to check the integrity of users' cloud data. However, most of them are based on public key infrastructure, which leads to complex certificates management and verification. Besides, most existing auditing schemes are inefficient when user uploads a large amount of data or a third party auditor (TPA) performs auditing for multiple users' data on different CSSs. To overcome these problems, in this paper, we propose an efficient and secure auditing scheme based on identity-based cryptography. To relieve user's computation burden, we introduce a proxy, which is delegated to generate and upload homomorphic verifiable tags for user. We extend our auditing scheme to support auditing for dynamic data operations. We further extend it to support batch auditing in multiple users and multiple CSSs setting, which is practical and efficient in large scale cloud storage system. Extensive security analysis shows that our scheme is provably secure in random oracle model. Performance analysis demonstrates that our scheme is highly efficient, especially reducing the computation cost of proxy and TPA.

• 정보과학회 논문지
• /
• 제43권11호
• /
• pp.1245-1258
• /
• 2016

다양한 기기들이 상호 연결되어 통신하는 IoT 환경에서는 보안 위협을 방지하기 위해 암호 알고리즘, 메시지 인증 코드 등 기밀성과 무결성을 제공하는 암호 기술을 사용한다. 안전성이 검증된 기존 암호 기술들이 다수 존재하지만, 저전력 저성능의 마이크로 컨트롤러 기반 IoT 기기에 기존 암호 기술을 그대로 사용하기 어렵기 때문에 다양한 경량 암호 기술이 등장하게 되었다. 최근 경량 블록 암호 알고리즘에 대한 연구는 꾸준히 증가하고 있지만, 경량 메시지 인증 코드에 대한 연구는 미흡한 실정이다. 따라서, 본 논문에서는 다양한 메시지 인증 코드에 대한 분류 분석을 통해 향후 메시지 인증 코드의 발전 방향에 대해 제시한다. 또한, 기반 기술별 대표 알고리즘을 실제 마이크로 컨트롤러에 구현 실험하여 저사양 환경에서의 알고리즘 성능 저하를 실증적으로 검증한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권4호
• /
• pp.2276-2291
• /
• 2017

Data protection of removable storage devices is an important issue in information security. Unfortunately, most existing data protection mechanisms are aimed at protecting computer platform which is not suitable for ultra-low-power devices. To protect the flash disk appropriately and efficiently, we propose a trust based USB flash disk, named UTrustDisk. The data protection technologies in UTrustDisk include data authentication protocol, data confidentiality protection and data leakage prevention. Usually, the data integrity protection scheme is the bottleneck in the whole system and we accelerate it by WH universal hash function and speculative caching. The speculative caching will cache the potential hot chunks for reducing the memory bandwidth pollution. We adopt the symmetric encryption algorithm to protect data confidentiality. Before mounting the UTrustDisk, we will run a trusted virtual domain based lightweight virtual machine for preventing information leakage. Besides, we prove formally that UTrustDisk can prevent sensitive data from leaking out. Experimental results show that our scheme's average writing throughput is 44.8% higher than that of NH scheme, and 316% higher than that of SHA-1 scheme. And the success rate of speculative caching mechanism is up to 94.5% since the access pattern is usually sequential.

• 전자공학회논문지 IE
• /
• 제43권2호
• /
• pp.87-92
• /
• 2006

최근 들어 지적 재산권 보호와 멀티미디어 데이터 인증을 위하여 다양한 워터마킹 방법들이 제안되어 왔다. 이미지 인증을 위한 워터마킹에서 워터마크는 영상의 부당한 변형 검출을 위해서 영상 내에 삽입된다. 따라서, 인증과 무결성을 위한 워터마킹은 스케일링 및 크롭핑 등과 같은 영상 변형에 대하여 삽입된 워터마크가 쉽게 지워져야 한다. 본 논문에서는 계층적 구조를 사용하여 영상의 무결성 검증과 변형 위치 검출을 위한 fragile 워터마킹 방법을 제안한다. 제안 방법에서는 워터마크가 삽입되는 영상을 여러 레벨로 구성하여 각 레벨별로 영상을 여러 블록으로 나눈 후 각 블록에 대한 디지털 서명을 계산한다. 디지털 서명은 블록 내 모든 화소의 상위 7개의 비트들(MSBs)을 사용하여 계산한 후 각 블록 내에서 선택된 화소의 LSB에 삽입된다. 본 논문에서 제안한 방법에 대한 실험 결과는 제안 방법의 효율성을 나타낸다.

• 한국항공우주학회지
• /
• 제37권12호
• /
• pp.1232-1237
• /
• 2009

국제민간항공기구 및 미 연방항공청에서는 항공기 이 착륙에 적용될 수 있는 지역위성항법보강시스템 (GBAS)에 대한 연구 개발을 수행하고 있다. 항공기 이 착륙에 위성항법시스템이 사용되는 만큼 시스템에 대한 무결성 확보가 최우선시 되어야 한다. 이를 위해 GBAS에서는 발생 가능성이 있는 오차 모델을 통해 위치 오차 예측값을 계산하고 이를 허용 한계치를 초과 하는 지 확인하고, 만약 초과하였을 경우 항공기는 GBAS 시스템 활용을 중단하고 다른 항법수단을 강구하게 된다. 하지만 높은 위치 오차 예측값은 시스템의 무결성 확보에는 도움이 되겠지만, 가용성 확보에 어려움이 있다. 본 논문에서는 제주도 국제공항에 설치되어 있는 항공우주연구원 GBAS 기준국의 실제 데이터를 사용하여, 위치 오차 예측값 계산에 사용될 수 있는 B-Value 기반의 지상국 오차 표준편차 모델 제시하였다. 또한 제시된 오차 표준편차 모델에 시그마 인플레이션을 적용하여 GBAS의 가용성 향상을 검증하였다.

• 한국철도학회논문집
• /
• 제12권4호
• /
• pp.518-525
• /
• 2009

논문은 샌드위치 복합재가 적용된 바이모달 트램의 설계검증을 위한 구조 성능 시험과 유한요소 해석에 대해 기술하였다. 차체 구조물에 적용된 샌드위치 복합재는 알루미늄 하니컴 심재와 WR580/NF4000 유리섬유/애폭시 면재로 구성되었다. 이때, 차체 구조물의 구조 시험은 JIS E 7105 규정에 따라 수직하중, 압축하중, 비틀림 및 고유진동수 시험이 각각 수행되었다. 그리고 다이얼게이지, 스트레인게이지, 가속도 센서를 통해 얻어진 처짐, 응력, 고유전동수 결과에 따른 구조 안전성을 평가하였다. 그리고 Ansys v11.0을 이용하여 유한요소해석을 수행하였고, 구조 시험 결과와 비교하였다. 구조 시험 결과는 제안된 유한요소 모델을 사용한 구조 해석 결과와 처침, 응력, 고유진동수가 비교적 잘 일치함을 확인하였다.

• 한국BIM학회 논문집
• /
• 제11권3호
• /
• pp.22-33
• /
• 2021

In order to maximize the use of BIM, all data related to individual elements in the model must be correctly assigned, and it is essential to check whether it corresponds to the IFC entity classification. However, as the BIM modeling process is performed by a large number of participants, it is difficult to achieve complete integrity. To solve this problem, studies on semantic integrity verification are being conducted to examine whether elements are correctly classified or IFC mapped in the BIM model by applying an artificial intelligence algorithm to the 2D image of each element. Existing studies had a limitation in that they could not correctly classify some elements even though the geometrical differences in the images were clear. This was found to be due to the fact that the geometrical characteristics were not properly reflected in the learning process because the range of the region to be learned in the image was not clearly defined. In this study, the CRF-RNN-based semantic segmentation was applied to increase the clarity of element region within each image, and then applied to the MVCNN algorithm to improve the classification performance. As a result of applying semantic segmentation in the MVCNN learning process to 889 data composed of a total of 8 BIM element types, the classification accuracy was found to be 0.92, which is improved by 0.06 compared to the conventional MVCNN.

• 전기전자학회논문지
• /
• 제25권3호
• /
• pp.578-583
• /
• 2021

본 논문에서는 반도체의 신뢰성을 테스트하기 위한 가속 시험에 대해 설명하고 자동차 반도체의 신뢰성 테스트 국제 표준인 AEC-Q100에 대해 다룬다. 반도체는 수십년 동안 사용할 수 있기 때문에 수명 전주기에서 발생하는 잠재적인 문제점을 테스트하기 위해서는 집중적으로 스트레스를 가하여 테스트 시간을 최소화하는 가속 시험이 필수적이다. 자동차 반도체에서 사용하는 대표적인 가속 시험인 AEC-Q100은 반도체에서 발생하는 각종 불량과 그 원인을 분석할 수 있도록 설계되었기 때문에 반도체의 수명과 신뢰성을 예측할 수 있을 뿐만 아니라 설계상, 제조상의 문제도 쉽게 찾아낼 수 있다. AEC-Q100은 가속 스트레스 시험, 가속 수명 시험, 패키지 적합성 시험, 공정 신뢰성 시험, 전기적 특성 시험, 결함 검출 시험, 기계적 특성 시험의 7개 테스트 그룹으로 구성되며 동작 온도에 따라 Grade 0에서 Grade 3까지 4개의 등급이 존재한다. 반도체 소자, 광전자 반도체, 센서 반도체, 멀티 칩 모듈, 수동 소자 분야에서는 각각 AEC-Q101, Q102, Q103, Q104, Q200이 사용된다.