Dongyao Ji

According to our database, Dongyao Ji authored at least 12 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Enhanced TLS Handshake Authentication with Blockchain and Smart Contract (Short Paper).

Bingqing Xia, Dongyao Ji, Gang Yao

Proceedings of the Advances in Information and Computer Security, 2017

2015

Comment on "Design and formal security evaluation of NeMHIP".

Ting Wang, Dongyao Ji

Comput. Secur., 2015

2014

A New Trust Chain Security Evaluation Model and Tool.

Wei Hu, Dongyao Ji, Ting Wang, Gang Yao

Proceedings of the International Conference on Security and Privacy in Communication Networks, 2014

2013

Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service.

Wei Hu, Dongyao Ji

Proceedings of the Dependable Computing - 14th European Workshop, 2013

2012

Active Attacking Multicast Key Management Protocol Using Alloy.

Ting Wang, Dongyao Ji

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2010

Verifiable Attribute Based Encryption.

Qiang Tang, Dongyao Ji

Int. J. Netw. Secur., 2010

Formal Verification of HMQV Using ASM-SPV.

Danqing Huang, Rui Xue, Feng Liu, Jianhua Peng, Zhenju Zhao, Dongyao Ji

Proceedings of the Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), 2010

2008

Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.

Wei Wang, Dongyao Ji

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2006

Efficient Anonymous Electronic Metering Scheme.

Dongyao Ji, Dengguo Feng

Proceedings of the Advances in Intelligent IT, 2006

Fault-tolerate Multiparty Electronic Contract Signing Protocol.

Dongyao Ji, Dengguo Feng

Proceedings of the Advances in Intelligent IT, 2006

2004

Oblivious Polynomial Evaluation.

Hong-Da Li, Dongyao Ji, Dengguo Feng, Bao Li

J. Comput. Sci. Technol., 2004

2001

Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao.

Dongyao Ji, Yuming Wang

ACM SIGOPS Oper. Syst. Rev., 2001