The PKI Specification Dilemma: A Formal Solution.

Maris A. Ozols Marie Henderson Chuchang Liu Anthony Cant

Published in: ACISP (2000)

Keyphrases

formal specification
formal methods
high level
formal model
linear equations
mathematical model
specification languages
real time
genetic algorithm
web services
optimal solution
search algorithm
public key
formal language