An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness presented at C2SI 2019

by Yating Wang, Jingchen Yan, Yuichi Cheng,

Summary : N/A