On the accuracy of formal verification of selective defenses for TDoS attacks (Q1683703)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the accuracy of formal verification of selective defenses for TDoS attacks
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references