Tapkey Lock Control Protocol

The Tapkey Lock Control Protocol (TLCP) defines how entities within Tapkey communicate with each other.

Examples

Trigger Lock

The following sequence diagram shows a simplified overview of the execution of a trigger lock command.

Legend

Lock ID $:=$ $l$ ⟶ The lock's identification (ID).

KeyU $:=$ $k_{u}$ ⟶ The user's symmetrical encrypting and signing key, for example, abc123.

CertU $:=$ $c_{u}$ ⟶ The user's certificate.

RCL $:=$ $(r_{1}, r_{2}, r_{3})$ ⟶ The lock's revocation control list.

enc_L $:=$ $E_{l}(x)$ ⟶ Function encrypting parameter $x$ using the lock's master key.

sig_U $:=$ $S_{u}(x)$ ⟶ Function signin $x$ using the user's symmetrical key.