A separated domain-based kernel model for trusted computing (Q3443169)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A separated domain-based kernel model for trusted computing
scientific article

    Statements

    A separated domain-based kernel model for trusted computing (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1 June 2007
    0 references
    noninterference teory
    0 references
    separation kernel
    0 references
    trusted computing
    0 references
    0 references

    Identifiers