Login / Signup

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.

Serdar ErbaturSantiago EscobarDeepak KapurZhiqiang LiuChristopher LynchCatherine A. MeadowsJosé MeseguerPaliath NarendranSonia SantiagoRalf Sasse
Published in: ESORICS (2012)
Keyphrases
  • sufficient conditions
  • lightweight
  • neural network
  • high quality
  • database
  • data sets