Login / Signup

A uniform deductive approach for parameterized protocol safety.

Jean-François CouchotAlain GiorgettiNikolai Kosmatov
Published in: ASE (2005)
Keyphrases
  • lightweight
  • network protocols
  • formal analysis
  • communication protocol
  • neural network
  • real time
  • data sets
  • security protocols
  • authentication protocol
  • cryptographic protocols
  • nuclear power plant
  • coloured petri nets