검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

A Theory of Demonstrating Program Result-Correctness with Cryptographic Applications 암호화 응용 프로그램을 통한 프로그램 결과 정확성 입증 이론

Kouichi SAKURAI

  • 조회수

    0

  • 이것을 인용

요약 :

우리는 "프로그램 결과 정확성 입증" 모델을 공식화하고 가능한 적에 대해 이 사실을 증명하는 방법을 조사합니다. 이는 영지식 요구 사항을 추가하여 Blum의 프로그램 검사 이론을 자연스럽게 확장합니다. 영지식 요구 사항은 예 및 아니요 인스턴스 모두에 보편적입니다.

발행
IEICE TRANSACTIONS on Information Vol.E84-D No.1 pp.4-14
발행일
2001/01/01
공개일
온라인 ISSN
DOI
원고의 종류
INVITED SURVEY PAPER
범주

작성자

키워드