Enum Action

pub enum Action {
    Cancel {
        timer: Timer,
    },
    SendPadding {
        bypass: bool,
        replace: bool,
        timeout: Dist,
        limit: Option<Dist>,
    },
    BlockOutgoing {
        bypass: bool,
        replace: bool,
        timeout: Dist,
        duration: Dist,
        limit: Option<Dist>,
    },
    UpdateTimer {
        replace: bool,
        duration: Dist,
        limit: Option<Dist>,
    },
}

An Action happens upon transition to a State. All actions (except Cancel) can be limited. The limit is the maximum number of times the action can be taken upon repeated transitions to the same state.

Variants

Cancel

Cancel a timer.

Fields

timer: Timer

SendPadding

Schedule padding to be sent after a timeout.

The bypass flag determines if the padding packet MUST bypass any existing blocking that was triggered with the bypass flag set.

The replace flag determines if the padding packet MAY be replaced by a packet already queued to be sent at the time the padding packet would be sent. This applies for data queued to be turned into normal (non-padding) packets AND any packet (padding or normal) in the egress queue yet to be sent (i.e., before the TunnelSent event is triggered). Such a packet could be in the queue due to ongoing blocking or just not being sent yet (e.g., due to CC). We assume that packets will be encrypted ASAP for the egress queue and we do not want to keep state around to distinguish padding and non-padding, hence, any packet. Similarly, this implies that a single blocked packet in the egress queue can replace multiple padding packets with the replace flag set.

Fields

bypass: bool

replace: bool

timeout: Dist

limit: Option<Dist>

BlockOutgoing

Schedule blocking of outgoing traffic after a timeout.

The bypass flag determines if padding actions are allowed to bypass this blocking action. This allows for machines that can fail closed (never bypass blocking) while simultaneously providing support for constant-rate defenses, when set along with the replace flag.

The replace flag determines if the action duration MUST replace any existing blocking. Note that the blocking with the replace flag is always allowed if blocking is currently active, regardless of any limits set. This is to make it possible to create a machine that is guaranteed to prevent indefinite blocking (but comes at the cost of making it possible for a machine that indefinitely refresh blocking by using the replace flag).

Fields

bypass: bool

replace: bool

timeout: Dist

duration: Dist

limit: Option<Dist>

UpdateTimer

Update the timer duration for a machine.

The replace flag determines if the action duration MUST replace the current timer duration, if the timer has already been set.

Fields

replace: bool

duration: Dist

limit: Option<Dist>

Implementations

impl Action

pub fn validate(&self) -> Result<(), Error>

Validate all distributions contained in this action, if any.

Trait Implementations

impl Clone for Action

fn clone(&self) -> Action

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Action

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Action

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Action

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Action

fn eq(&self, other: &Action) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Action

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Action

impl StructuralPartialEq for Action