An algorithmic procedure for checking safety properties of protocols.

Krishan K. Sabnani Aleta M. Lapone M. Ü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