Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Attack.PeerTampering

Contents

Peer tampering params
Peer tampering label
Peer tampering attack

Description

This module provides an attack to replace a peer with another in every possible locations in a skeleton. If the peers have different levels of privileges, this can uncover vulnerabilities.

Synopsis

data PeerTamperingParams effs = PeerTamperingParams {
- ptpBranching :: Branching
- ptpChanges :: Sem effs (PubKeyHash, [PubKeyHash])
}
purePeerTamperingParams :: Member NonDet effs => Branching -> [(PubKeyHash, [PubKeyHash])] -> PeerTamperingParams effs
singlePeerTamperingParams :: (ToPubKeyHash existing, ToPubKeyHash new) => existing -> new -> PeerTamperingParams effs
balancingPeerTamperingParams :: (ToPubKeyHash new, Members '[Tweak, NonDet] effs) => new -> PeerTamperingParams effs
newtype PeerTamperingLabel = PeerTamperingLabel [PubKeyHash]
peerTamperingAttack :: Members '[Tweak, NonDet] effs => PeerTamperingParams effs -> Sem effs [PubKeyHash]

Peer tampering params

data PeerTamperingParams effs Source #

Parameters of the peer tampering attack

Constructors

PeerTamperingParams
Fields ptpBranching :: Branching The branching policy to use when several peers are targeted ptpChanges :: Sem effs (PubKeyHash, [PubKeyHash]) The peer to replace, associated with a list of replacing peers

purePeerTamperingParams :: Member NonDet effs => Branching -> [(PubKeyHash, [PubKeyHash])] -> PeerTamperingParams effs Source #

A pure variant of PeerTamperingParams

singlePeerTamperingParams :: (ToPubKeyHash existing, ToPubKeyHash new) => existing -> new -> PeerTamperingParams effs Source #

Peer tampering params transforming a single user into another

balancingPeerTamperingParams :: (ToPubKeyHash new, Members '[Tweak, NonDet] effs) => new -> PeerTamperingParams effs Source #

Peer tampering params transforming the balancing user into another

Peer tampering label

newtype PeerTamperingLabel Source #

A label added to a TxSkel on which a tweak tampering a peer has been applied. The label contains all the peers that have been replaced, as they were before being replaced.

Constructors

PeerTamperingLabel [PubKeyHash]

Instances

Instances details

Show PeerTamperingLabel Source #
Instance details Defined in Cooked.Attack.PeerTampering Methods showsPrec :: Int -> PeerTamperingLabel -> ShowS # show :: PeerTamperingLabel -> String # showList :: [PeerTamperingLabel] -> ShowS #
PrettyCooked PeerTamperingLabel Source #
Instance details Defined in Cooked.Attack.PeerTampering Methods prettyCookedOpt :: PrettyCookedOpts -> PeerTamperingLabel -> DocCooked Source # prettyCooked :: PeerTamperingLabel -> DocCooked Source #
Eq PeerTamperingLabel Source #
Instance details Defined in Cooked.Attack.PeerTampering Methods (==) :: PeerTamperingLabel -> PeerTamperingLabel -> Bool # (/=) :: PeerTamperingLabel -> PeerTamperingLabel -> Bool #
Ord PeerTamperingLabel Source #
Instance details Defined in Cooked.Attack.PeerTampering Methods compare :: PeerTamperingLabel -> PeerTamperingLabel -> Ordering # (<) :: PeerTamperingLabel -> PeerTamperingLabel -> Bool # (<=) :: PeerTamperingLabel -> PeerTamperingLabel -> Bool # (>) :: PeerTamperingLabel -> PeerTamperingLabel -> Bool # (>=) :: PeerTamperingLabel -> PeerTamperingLabel -> Bool # max :: PeerTamperingLabel -> PeerTamperingLabel -> PeerTamperingLabel # min :: PeerTamperingLabel -> PeerTamperingLabel -> PeerTamperingLabel #

Peer tampering attack

peerTamperingAttack :: Members '[Tweak, NonDet] effs => PeerTamperingParams effs -> Sem effs [PubKeyHash] Source #

Attempts to change the given peer into other peers everywhere in a TxSkel in an attempt to uncover permission breaches.