WEBVTT

1
00:00:00.000 --> 00:00:02.884
Lab: Revocation and Fail Closed.

2
00:00:02.884 --> 00:00:09.210
Revoke the actor before dispatch, restart, and deny a broken request.

3
00:00:09.210 --> 00:00:11.814
Revoke the actor before Rain runs.

4
00:00:11.814 --> 00:00:14.419
The unused nonce does not execute.

5
00:00:14.419 --> 00:00:18.839
Restart keeps that revocation and that consumption state.

6
00:00:18.839 --> 00:00:23.496
An empty request id after restart is DENY, reason malformed.

7
00:00:23.496 --> 00:00:25.864
Nothing on either row executes.

8
00:00:25.864 --> 00:00:29.732
Revocation wins, and malformed input fails closed.

9
00:00:29.732 --> 00:00:36.362
A broken request is not an invitation for the workstation to guess the missing field.

10
00:00:36.362 --> 00:00:40.507
Here is the measured teaching-workstation run.

11
00:00:40.507 --> 00:00:43.915
Revoke operator and present the nonce.

12
00:00:43.915 --> 00:00:45.020
Outcome DENY.

13
00:00:45.020 --> 00:00:46.586
Dispatch is false.

14
00:00:46.586 --> 00:00:48.151
Executed is false.

15
00:00:48.151 --> 00:00:51.099
The reason is permit invalidated.

16
00:00:51.099 --> 00:00:54.875
After restart, submit an empty request id.

17
00:00:54.875 --> 00:00:55.980
Outcome DENY.

18
00:00:55.980 --> 00:00:57.546
Dispatch is false.

19
00:00:57.546 --> 00:00:59.112
Executed is false.

20
00:00:59.112 --> 00:01:01.230
The reason is malformed.