Dongyao Ji

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 1

Top Topics

Fuzzy Analytic Hierarchy Process

Payment Protocol

University Libraries

Multicast Routing Protocol

Top Venues

Publications

Bingqing Xia, Dongyao Ji, Gang Yao
Enhanced TLS Handshake Authentication with Blockchain and Smart Contract (Short Paper). IWSEC (2017)
Ting Wang, Dongyao Ji
Comment on "Design and formal security evaluation of NeMHIP". Comput. Secur. 52 (2015)
Wei Hu, Dongyao Ji, Ting Wang, Gang Yao
A New Trust Chain Security Evaluation Model and Tool. SecureComm (2) (2014)
Wei Hu, Dongyao Ji
Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service. EWDC (2013)
Ting Wang, Dongyao Ji
Active Attacking Multicast Key Management Protocol Using Alloy. ABZ (2012)
Qiang Tang, Dongyao Ji
Verifiable Attribute Based Encryption. Int. J. Netw. Secur. 10 (2) (2010)
Danqing Huang, Rui Xue, Feng Liu, Jianhua Peng, Zhenju Zhao, Dongyao Ji
Formal Verification of HMQV Using ASM-SPV. IIH-MSP (2010)
Wei Wang, Dongyao Ji
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. FORTE (2008)
Qiang Tang, Dongyao Ji
Verifiable Attribute-based Encryption. IACR Cryptol. ePrint Arch. 2007 (2007)
Dongyao Ji, Dengguo Feng
Efficient Anonymous Electronic Metering Scheme. AMT (2006)
Dongyao Ji, Dengguo Feng
Fault-tolerate Multiparty Electronic Contract Signing Protocol. AMT (2006)
Hong-Da Li, Dongyao Ji, Dengguo Feng, Bao Li
Oblivious Polynomial Evaluation. J. Comput. Sci. Technol. 19 (4) (2004)
Dongyao Ji, Yuming Wang
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao. ACM SIGOPS Oper. Syst. Rev. 35 (1) (2001)