Non-interference through determinism (Q826053)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Non-interference through determinism
scientific article

    Statements

    Non-interference through determinism (English)
    0 references
    0 references
    0 references
    0 references
    20 December 2021
    0 references
    security
    0 references
    non-interference
    0 references
    formal methods
    0 references
    process algebra
    0 references
    determinism
    0 references
    automatic verification
    0 references

    Identifiers