Handling exp, × (and Timestamps) in Protocol Analysis.

Roberto Zunino Pierpaolo Degano

Published in: FoSSaCS (2006)

Keyphrases

formal analysis
data analysis
quantitative analysis
real world
website
expert systems
lightweight
network protocols