WEBVTT

1
00:00:00.000 --> 00:00:02.576
Replay, Nonce, and Revocation.

2
00:00:02.576 --> 00:00:08.705
Reject a replay, then show a revoked actor denied on the next request.

3
00:00:08.705 --> 00:00:11.546
Rain dispatches the fresh PERMIT once.

4
00:00:11.546 --> 00:00:13.543
The nonce is then consumed.

5
00:00:13.543 --> 00:00:19.456
Presenting it again is rejected, reason replay rejected, and nothing executes.

6
00:00:19.456 --> 00:00:21.376
The actor is then revoked.

7
00:00:21.376 --> 00:00:25.907
A new request from that actor is DENY, reason actor revoked.

8
00:00:25.907 --> 00:00:28.902
Revocation wins over the earlier permit.

9
00:00:28.902 --> 00:00:37.196
A consumed nonce does not get a second execution, and a revoked actor does not get a new one by asking again.

10
00:00:37.196 --> 00:00:41.326
Here is the measured teaching-workstation run.

11
00:00:41.326 --> 00:00:44.263
Rain dispatches the fresh PERMIT.

12
00:00:44.263 --> 00:00:45.548
Outcome PERMIT.

13
00:00:45.548 --> 00:00:47.016
Dispatch is true.

14
00:00:47.016 --> 00:00:48.484
Executed is true.

15
00:00:48.484 --> 00:00:51.330
The teaching nonce is on screen.

16
00:00:51.330 --> 00:00:54.266
Present the consumed nonce again.

17
00:00:54.266 --> 00:00:55.368
Outcome DENY.

18
00:00:55.368 --> 00:00:56.928
Dispatch is false.

19
00:00:56.928 --> 00:00:58.488
Executed is false.

20
00:00:58.488 --> 00:01:01.150
The reason is replay rejected.

21
00:01:01.150 --> 00:01:04.913
Revoke the actor and handle a new request.

22
00:01:04.913 --> 00:01:06.014
Outcome DENY.

23
00:01:06.014 --> 00:01:07.574
Dispatch is false.

24
00:01:07.574 --> 00:01:09.134
Executed is false.

25
00:01:09.134 --> 00:01:11.612
The reason is actor revoked.