COST-PEM certificates verification: An alternative procedure.

Nada Kapidzic Sead Muftic

Published in: Comput. Networks ISDN Syst. (1995)

Keyphrases

model checking
total cost
high cost
expected cost
iterative procedure
information systems
formal analysis
machine learning
decision making
knowledge base
lower bound
search procedure
formal verification
cost savings