Using Checkable Types in Automatic Protocol Analysis.

Stephen H. Brackin

Published in: ACSAC (1999)

Keyphrases

website
formal analysis
database
data mining
machine learning
information systems
decision making
database systems
video sequences
data analysis
image analysis
data driven
statistical analysis
automatic analysis