Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code (Q3557736)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code
scientific article

    Statements

    Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    23 April 2010
    0 references
    mobile code security
    0 references
    verification
    0 references
    behavior model
    0 references
    security policy
    0 references
    model-carrying code
    0 references

    Identifiers