정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
검색 결과
"스마트 컨트랙트"에 대한 검색 결과 (총 4개)
이중 지불 (Double Spending) 1. 개요 이중 지불(Double Spending)이란 디지털 자산이 동일한 시점에 두 곳 이상의 수신자에게 중복으로 전송되어, 하나의 자산이 여러 번 사용되는 현상을 의미한다. 물리적 화폐는 한 번 건네주면 소유권이 완전히 이전되어 물리적으로 재사용이 불가능하지만, 디지털 데이터는 복제가 매우 쉽기 때문에 중앙 …
블록체인 개요/소개 블록체인은 2008년 비트코인의 등장과 함께 세상에 알려진 분산 원장 기술(Distributed Ledger Technology, DLT)의 핵심 구성 요소입니다. 중앙 집중적인 기관 없이 데이터를 기록하고 관리하는 새로운 방식을 제시하며 금융 시스템을 넘어 다양한 분야에서 혁신을 가져오고 있습니다. 블록체인은 데이터 위변조를 어렵게 하…
개인키 개인키(Personal Key는 암호화술에서 가장 핵심 구성 요소 중로, 정보의밀성, 무결성, 인증을 보장하기 위해 사용되는 비밀 값입니다. 특히 공개키 암호화(Public-key Cryptography) 시스템에서 개인키는 공키와 쌍을 이루며, 암호화된 데이터의 해독이나 디지털 서명 생성에 필수적으로 활용됩니다. 이 문서는 개인키의 정의, 작동 원…