Login / Signup

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning.

Jingchen YanSho IshibashiYuichi GotoJingde Cheng
Published in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Keyphrases
  • fine grained
  • formal analysis
  • security properties
  • cryptographic protocols
  • coarse grained
  • expert systems
  • security protocols
  • e government
  • knowledge acquisition