A symbolic framework for multi-faceted security protocol analysis.

Andrea Bracciali GianLuigi Ferrari Emilio Tuosto

Published in: Int. J. Inf. Sec. (2008)

Keyphrases

multi faceted
data analysis
database systems
information systems
security protocols
metadata
response time
data processing