Verification of Connection-Management Protocols.

Anneke A. Schoone

Published in: WDAG (1987)

Keyphrases

management system
cryptographic protocols
information systems
decision making
network management
database
knowledge management
data management
data processing
model checking
communication protocols
formal verification
information management
decision support
information technology
neural network
data sets
real time