Timed Calculus of Cryptographic Communication.

Johannes Borgström Olga Grinchtein Simon Kramer

Published in: Formal Aspects in Security and Trust (2006)

Keyphrases

timed automata
secure communication
petri net
smart card
database systems
communication systems
information systems
communication cost
information exchange
neural network
genetic algorithm
knowledge base
model checking
hash functions
communication protocol
communication patterns