earticle

증명 가능한 안전성을 가지는 2라운드 패스워드 기반 그룹 키 교환 프로토콜 KCI 등재후보

권정옥, 김기탁, 정익래, 이동훈

한국인터넷방송통신학회 한국인터넷방송통신학회 논문지 제7권 제1호 2007.02 pp.1-9

Complete Fair Tracing E-cash System with Provable Security SCOPUS

Bin Lian, Gongliang Chen, Jianhua Li

보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.7 No.4 2013.07 pp.17-36

차분 및 선형 공격에 증명 가능한 안전성을 갖는 새로운 블록 암호 구조

김종성, 이창훈, 홍석희

보안공학연구지원센터(JSE) 보안공학연구논문지 Vol.4 No.4 2007.11 pp.25-30

A Remote File Possession Checking Protocol in a Cloud Storage

Zuojie Deng, Xiaolan Tan

보안공학연구지원센터(IJFGCN) International Journal of Future Generation Communication and Networking Vol.8 No.6 2015.12 pp.115-122

An Efficient Provable Data Possession based on Elliptic Curves in Cloud Storage SCOPUS

Hongyuan Wang, Liehuang Zhu, Feng Wang, Yijia Lilong, Yu Chen, Chang Liu

보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.8 No.5 2014.09 pp.97-108

A Stronger Formal Security Model of Three-party Authentication and Key Distribution Protocol for 802.11i SCOPUS

Tao Wenjun, Hu Bin

보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.6 No.4 2012.10 pp.163-174

2SC: an Ecient Code-based Stream Cipher SCOPUS

Mohammed Meziani, Pierre-Louis Cayrel, Sidi Mohamed El Yousfi Alaoui

보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.5 No.4 2011.10 pp.107-116

Provable Security of 3GPP Integrity Algorithm f9

Hong, Do-won, Shin, Sang-Uk, Ryu, Heui-su, Chung, Kyo-Il

[Kisti 연계] 한국정보처리학회 정보처리학회논문지 C Vol.c9 No.4 2002 pp.573-580

Practical and Provable Security against Differential and Linear Cryptanalysis for Substitution-Permutation Networks

Kang, Ju-Sung, Hong, Seok-Hie, Lee, Sang-Jin, Yi, Ok-Yeon, Park, Choon-Sik, Lim, Jong-In

[Kisti 연계] 한국전자통신연구원 ETRI journal Vol.23 No.4 2001 pp.158-167

PRF-기반 키유도함수에서 카운터 입력 형태에 따른 증명가능 안전성

김나영, 강주성, 염용진

[Kisti 연계] 한국정보보호학회 정보보호학회논문지 Vol.25 No.3 2015 pp.547-557