The CaPiTo Approach to Protocol Validation - (Invited Talk).

Flemming Nielson Han Gao Hanne Riis Nielson

Published in: ARSPA-WITS (2010)

Keyphrases

invited talk
selected papers
knowledge discovery and data mining
lightweight
communication protocol
decision making
cryptographic protocols
program committee
artificial intelligence
formal analysis
neural network