Sign in

An algorithmic procedure for checking safety properties of protocols.

Krishan K. SabnaniAleta M. LaponeM. Ümit Uyar
Published in: IEEE Trans. Commun. (1989)
Keyphrases
  • database
  • neural network
  • databases
  • search engine
  • database systems
  • desirable properties
  • iterative procedure
  • consistency checking
  • security properties