Inferences on Honesty in Compositional Logic for Protocol Analysis.

Koji Hasebe Mitsuhiro Okada

Published in: ISSS (2003)

Keyphrases

data analysis
lightweight
formal analysis
data sets
neural network
statistical analysis
database
databases
information systems
database systems
multi valued