Modeling trusted computing (Q3443202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modeling trusted computing
scientific article

    Statements

    Modeling trusted computing (English)
    0 references
    0 references
    0 references
    0 references
    1 June 2007
    0 references
    trusted computing group (TCG)
    0 references
    trusted platform module (TPM)
    0 references
    root of trust
    0 references
    predicate logic
    0 references

    Identifiers