Information Flow (information Theory) - Explicit Flows and Side Channels

Explicit Flows and Side Channels

Information flows can be divided in two major categories. The simplest one is explicit flow, where some secret is explicitly leaked to a publicly observable variable. In the following example, the secret in the variable h flows into the publicly observable variable l.

var l, h l := h

The other flows fall into the side channel category. For example, in the timing attack or in the power analysis attack, the system leaks information through, respectively, the time or power it takes to perform an action depending on a secret value.

In the following example, the attacker can deduce if the value of h is one or not by the time the program takes to finish:

var l, h if h = 1 then (* do some time-consuming work *) l := 0

Another side channel flow is the implicit information flow, which consists in leakage of information through the program control flow. The following program (implicitly) discloses the value of the secret variable h to the variable l. In this case, since the h variable is boolean, all the bits of the variable of h is disclosed (at the end of the program, l will be 3 if h is true, and 42 otherwise).

var l, h if h = true then l := 3 else l := 42

Read more about this topic:  Information Flow (information Theory)

Famous quotes containing the words explicit, flows, side and/or channels:

    Like dreaming, reading performs the prodigious task of carrying us off to other worlds. But reading is not dreaming because books, unlike dreams, are subject to our will: they envelop us in alternative realities only because we give them explicit permission to do so. Books are the dreams we would most like to have, and, like dreams, they have the power to change consciousness, turning sadness to laughter and anxious introspection to the relaxed contemplation of some other time and place.
    Victor Null, South African educator, psychologist. Lost in a Book: The Psychology of Reading for Pleasure, introduction, Yale University Press (1988)

    All things change, nothing is extinguished.... There is nothing in the whole world which is permanent. Everything flows onward; all things are brought into being with a changing nature; the ages themselves glide by in constant movement.
    Ovid (Publius Ovidius Naso)

    I dare take the side of humanity against this sublime misanthrope.
    Voltaire [François Marie Arouet] (1694–1778)

    As every pool reflects the image of the sun, so every thought and thing restores us an image and creature of the supreme Good. The universe is perforated by a million channels for his activity. All things mount and mount.
    Ralph Waldo Emerson (1803–1882)