compiler/edu.cornell.cs.apl.viaduct.backends.aby/BoolABY

BoolABY

class BoolABY(server: Host, client: Host) : ABY

Types

Companion

object Companion

Functions

authority

open override fun authority(hostTrustConfiguration: HostTrustConfiguration): Label

Returns the authority label of this protocol given the authority labels of the participating hosts.

compareTo

operator override fun compareTo(other: Protocol): Int

equals

operator override fun equals(other: Any?): Boolean

hashCode

override fun hashCode(): Int

toDocument

open override fun toDocument(): Document

Properties

A2BInputPorts

val A2BInputPorts: Map<Host, InputPort>

arguments

open override val arguments: Map<String, Value>

The named arguments applied to protocolName.

B2AOutputPorts

val B2AOutputPorts: Map<Host, OutputPort>

B2YOutputPorts

val B2YOutputPorts: Map<Host, OutputPort>

cleartextInputPorts

val cleartextInputPorts: Map<Host, InputPort>

cleartextOutputPorts

val cleartextOutputPorts: Map<Host, OutputPort>

client

val client: Host

hosts

val hosts: HostSetValue

Hosts involved in this protocol.

internalInputPorts

val internalInputPorts: Map<Host, InputPort>

internalOutputPorts

val internalOutputPorts: Map<Host, OutputPort>

name

override val name: String

nameCategory

override val nameCategory: String

protocolName

open override val protocolName: ProtocolName

The name of the (cryptographic) protocol.

secretInputPorts

val secretInputPorts: Map<Host, InputPort>

server

val server: Host

Y2BInputPorts

val Y2BInputPorts: Map<Host, InputPort>