Channel abstractions for network security (Q3550700)

From MaRDI portal
Revision as of 06:37, 27 January 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q62045679, #quickstatements; #temporary_batch_1706332928950)
scientific article
Language Label Description Also known as
English
Channel abstractions for network security
scientific article

    Statements

    Channel abstractions for network security (English)
    0 references
    0 references
    0 references
    1 April 2010
    0 references
    bisimulation equivalences
    0 references
    intruder model
    0 references

    Identifiers