Information Security and Cryptography Research Group

Modelling a Public-Key Infrastructure

Ueli Maurer

European Symposium on Research in Computer Security — ESORICS '96, Lecture Notes in Computer Science, Springer-Verlag, vol. 1146, pp. 325–350, Sep 1996.

A global public-key infrastructure (PKI), components of which are emerging in the near future, is a prerequisite for security in distributed systems and for electronic commerce. The purpose of this paper is to propose an approach to modelling and reasoning about a PKI from a user Alice's point of view. Her view, from which she draws conclusions about the authenticity of other entities' public keys and possibly about the trustworthiness of other entities, consists of statements about which public keys she believes to be authentic and which entities she believes to be trustworthy, as well as a collection of certificates and recommendations obtained or retrieved from the PKI. The model takes into account recommendations for the trustworthiness of entities. Furthermore, it includes confidence values for statements and can exploit arbitrary certification structures containing multiple intersecting certification paths to achieve a higher confidence value than for any single certification path. Confidence values are measured on a continuous scale between 0 and 1 and, in contrast to previous work in this area, are interpreted as probabilities in a well-defined random experiment.

Key words: Distributed system security, key management, public-key certification, cryptography, trust, recommendations, probabilistic logic.

BibTeX Citation

@inproceedings{Maurer96b,
    author       = {Ueli Maurer},
    title        = {Modelling a Public-Key Infrastructure},
    editor       = {E. Bertino},
    booktitle    = {European Symposium on Research in Computer Security --- ESORICS~'96},
    pages        = 325--350,
    series       = {Lecture Notes in Computer Science},
    volume       = 1146,
    year         = 1996,
    month        = 9,
    publisher    = {Springer-Verlag},
}

Files and Links