seclib-0.7: A lightweight library for Information-flow security in Haskell

SecLib.LatticeLH

Description

Define the classic two-point lattice that refers to public and secret information.

Synopsis

Documentation

data L Source

Data type representing the security level associated to public information.

Instances

Attacker L

The attacker can observe public data.

Less L H

Public information can become secret.

data H Source

Data type representing the security level associated to secret information.

Instances

Less L H

Public information can become secret.

scr :: Screen LSource

The attacker is at the terminal.