Timed Spi-Calculus with Types for Secrecy and Authenticity.

Christian Haack Alan Jeffrey

Published in: CONCUR (2005)

Keyphrases

digital images
timed automata
petri net
data sets
databases
real time
real world
machine learning
genetic algorithm
multiscale