메인내용

전자 서명 알고리즘(DSA)에 타원 곡선 암호(ECC) 방식을 이용한 전자 서명 알고리즘. 160비트의 키를 갖는 암호 방식으로 1024비트의 RSA(Rivest-Shamir-Adelmen) 방식과 대등한 안전성을 가지면서 처리속도를 줄일 수 있어 이동 단말기에 활용된다. DSA, RSA와 함께 미국 전자 서명 표준(DSS: Digital Signature Standard)에 포함되어 연방 정보 처리 표준(FIPS) 186-2로 승인되었다. WTLS, TLS, S/MIME 등의 보안 프로토콜에 포함된 사실 표준이다.

①보안 정책을 수학적으로 명확하게 기술하는 것. 명확하게 하기 위해서는 이러한 모형은 시스템의 초기 상태, 한 상태에서 다른 상태로의 시스템 진행 방법 및 시스템의 안전한 상태의 정의를 반드시 표현해야 한다. 태스크 제어 블록(TCB)의 토대로 받아들이기 위해서 모형은 시스템의 초기 상태가 안전한 상태의 정의를 만족하고 모형이 요구하는 모든 가정을 유지한다면 시스템의 모든 후속 단계는 안전할 것이라는 것에 대한 형식화 증명이 되어야 한다. 일부의 형식화 모형 기법은 상태 천이 모형, 표시 의미 모형(denotational semantics model) 및 대수 명세 모형을 포함한다. ②정보 보호 정책을 수학적으로 엄격하게 정의한 것. 모형은 시스템의 최초 상태와 한 상태에서 다른 상태로의 변경을 표현해야 하고, 시스템의 안전한 상태를 정의해야 한다. TCB의 기반으로 사용되기 위해서는 시스템의 최초 상태가 안전하다는 것과 최초 상태에서 변경된 모든 상태 역시 안전한 상태임을 형식화 증명을 통해서 보여야 한다. ③정보 시스템 개발에 적용된 보안 정책을 애매모호하지 않고 보안에 위배되지 않음을 보이기 위하여 수학적 개념을 기반으로 하는 형식화 표기법으로 기술한 검증된 모형.

컴퓨터의 명령어와 같은 형식을 갖지만, 실제로는 번역을 제어하는 데 사용되는 프로그램 명령어.

산술 연산에 사용되는 영역에 부호가 없거나 틀릴 경우를 표시해 주는 오류 검사 장치. 검사 결과에 따라 기계는 멈추든지 정정 루틴으로 들어가게 된다.

프리즘 시트와 확산 필름을 1장으로 합친 필름. 액정 표시 장치(LCD) 백 라이트 유닛(BLU)의 핵심 필름에는 확산·보호·반사·프리즘 시트가 있으며, 복합 필름은 이 중 프리즘 시트와 확산 필름을 1장으로 합친 것이다.