Testing noninterference, quickly (Q5244824): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Importer (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2159192310 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1409.0393 / rank
 
Normal rank

Latest revision as of 00:16, 20 April 2024

scientific article; zbMATH DE number 6421062
Language Label Description Also known as
English
Testing noninterference, quickly
scientific article; zbMATH DE number 6421062

    Statements

    Testing noninterference, quickly (English)
    0 references
    30 March 2015
    0 references
    abstract machine
    0 references
    design
    0 references
    dynamic information-flow control
    0 references
    noninterference
    0 references
    QuickCheck
    0 references
    random testing
    0 references
    security
    0 references

    Identifiers

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