E-MHT. An Efficient Protocol for Certificate Status Checking.

Jose L. Muñoz Jordi Forné Oscar Esparza Miguel Soriano

Published in: WISA (2003)

Keyphrases

communication protocol
data sets
genetic algorithm
computationally efficient
formal analysis
security protocols
tcp ip
communication protocols
network protocols
coloured petri nets