Ceremonies Formal Analysis in PKI's Context.

Jean Everson Martina Túlio Cicero Salvaro de Souza Ricardo Felipe Custódio

Published in: CSE (3) (2009)

Keyphrases

formal analysis
formal methods
machine learning
database systems
low cost
context aware
query language
cost effective
agent model
public key