Timing-Sensitive Noninterference through Composition (Q3304803): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-662-54455-6_1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2602832808 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transforming out timing leaks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4458491 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A process algebra for timed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4518881 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A uniform type structure for secure information flow / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4355684 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Theory of Timed I/O Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3833630 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topics in Cryptology – CT-RSA 2006 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4798025 / rank
 
Normal rank

Latest revision as of 04:46, 23 July 2024

scientific article
Language Label Description Also known as
English
Timing-Sensitive Noninterference through Composition
scientific article

    Statements

    Timing-Sensitive Noninterference through Composition (English)
    0 references
    0 references
    0 references
    0 references
    3 August 2020
    0 references
    schedule strategy
    0 references
    compositionality result
    0 references
    security property
    0 references
    timing channel
    0 references
    covert channel
    0 references

    Identifiers