Author Info
Name
Affiliation
Papers
SHO ISHIBASHI
Department of Information and Computer Sciences, Saitama University, Japan
1
Collaborators
Citations 
PageRank 
3
0
0.34
Referers 
Referees 
References 
0
27
12
Title
Citations
PageRank
Year
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning00.342018