Modelling and Analysis of PKI-Based Systems Using Process Calculi.

Benjamin Aziz Geoff W. Hamilton

Published in: Int. J. Found. Comput. Sci. (2007)

Keyphrases

image analysis
distributed systems
management system
statistical analysis
real time
information retrieval
information systems
expert systems
intelligent systems
learning systems
complex systems
temporal reasoning
information exchange