• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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