Details: Protocol Toolbar
The protocol toolbar is a tool found within the
Protocol Derivation Assistant, or Pda, which is a utility used for
supporting incremental security protocol derivations. The Pda concept
approaches protocol design using incremental editing of existing
protocols, going from basic components and refining and transforming the
fundamentals into a desired protocol. Pda contains a tool within it
called the “protocol toolbar.” Using the protocol toolbar, a protocol
designer is able to first enter an existing protocol, which can be
described as a distributed program in this context, and then base a new
protocol off of it. Using the protocol toolbar, a designer can then
specify both internal and external actions that will be executed by the
protocol’s participants. Examples of internal actions include: the
generation of keys, hashes, nonces, and decryption. Examples of external
actions include: sending and receiving messages. The protocol toolbar of
the Protocol Derivation Assistant tool contains a number of tools used
throughout the protocol editing process. By using a tool such as Pda, it
is possible to take an existing protocol, such as a one-way
authentication protocol, and base a derivative protocol off of it, such
as a two-way authentication protocol.
Associated Protocol Toolbar Applications:
Protocol Derivation Assistant
