지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. Interactive Proof Systems For Languages
2. Interactive Proofs For Decision Problems
3. Interactive Proofs Of Knowledge
4. Proos Of Computational Power
5. Multi-Prover Interactive Proofs
6. Instance-Hiding Proof Systems
7. Interactive Proofs With Space Bounded Verifiers
8. Non-Interactive Proof Systems
9. Remarks
Acknowledgements
References
著者紹介
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
개인정보보호를 위한 Zero-Knowledge Proof을 도입한 블록체인 전력 IoT 시스템 제안
한국정보과학회 학술발표논문집
2017 .12
An Approach to Providing a Proof Tool for Z Specifications
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
A SIMPLE PROOF OF THE CONDITION FOR FLOOR PLANNING
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
Knowledge-Base System
전자공학회잡지
1985 .04
Introduction to Error-Correction Codes Proof-of-Work
전자공학회지
2019 .05
전방향 안전 서명을 보장하는 Proof of Elapsed Time
한국정보과학회 학술발표논문집
2018 .12
Weather proof of Solar-cell Sheet
한국고분자학회 학술대회 연구논문 초록집
2016 .10
Knowledge Representation Issue from Knowledge Base
한국정보과학회 워크샵
1991 .03
보호시스템 보증시험 적용이 장외영향평가 안전성 확보에 미치는 영향
한국안전학회지
2017 .01
Efficient Proof of Vote Validity Without Honest-Verifier Assumption in Homomorphic E-Voting
JIPS(Journal of Information Processing Systems)
2011 .01
Knowledge and Service
대한전자공학회 심포지엄 논문집
1985 .01
Knowledge Management
데이터베이스월드
1999 .01
건축디자인과정에서 지식의 처리 유형에 관한 연구
대한건축학회 논문집 - 계획계
2003 .08
Knowledge Service Platform with Live Knowledge Based System
JOURNAL OF PLATFORM TECHNOLOGY
2014 .12
Application of a Fool-proof Method to Decision Making
대한인간공학회 학술대회논문집
2016 .06
None Difficulty Proof-of-Work Blockchain Algorithm for Industrial IoT
한국통신학회 학술대회논문집
2019 .06
공동주택 외부 석재마감에 따른 창호주위 누수방지에 관한 연구
한국건축시공학회 학술발표대회 논문집
2006 .01
건설공사 실행예산편성을 위한 핵심지식 체계화 연구
대한건축학회 논문집 - 구조계
2003 .03
0