dclabel-eci11-0.2: DCLabel/Safe.hs

{-|
This module exports a safe-subset of "DCLabel.Core",
implementing Disjunction Category Labels. 
The exported functions and constructors may be used by  
untrusted code, guaranteeing that they cannot perform
anything unsafe.
-}


module DCLabel.Safe ( -- * DC Labels with EDSL
	              join, meet, top, bottom, canflowto
	            , Label, DCLabel, secrecy, integrity
                    , principal
                    , (.\/.), (./\.)
                    , (<>), (><)
                    , newDC
                      -- * Priviligies 
                    , TCBPriv, Priv
                    , canflowto_p
                    , delegatePriv
                    , canActFor
                    , newPriv, newTCBPriv
                    ) where

import DCLabel.Core
import DCLabel.NanoEDSL