Login / Signup

A Simple Process Calculus for the analysis of Security Protocols.

Yonggen GuYuxi FuGuoqiang Li
Published in: PDCAT (2005)
Keyphrases
  • security protocols
  • automated design
  • data mining
  • real time
  • information systems
  • case study
  • data analysis
  • software development
  • personal information