A modal type theory for formalizing trusted communications.

Giuseppe Primiero Mariarosaria Taddeo

Published in: J. Appl. Log. (2012)

Keyphrases

theoretical foundation
evolutionary algorithm
data sets
learning algorithm
database systems
bayesian networks
data structure
distributed environment
communication networks
theoretical basis
general theory