A Static Analysis of PKI-Based Systems

B. Aziz,David Gray,G. Hamilton
DOI: https://doi.org/10.1007/11560586_6
2005-10-12
Abstract:
What problem does this paper attempt to address?