Repository navigation
S1 — Revoke a box or sign out #2249
Description
Slice
Destroy a box or log out, and every value naming it is refused within a minute; a re-created box works, and a later sign-in revives nothing.
Tasks:
- T20 — Record a revocation when a live box is destroyed and refuse its values within a minute #2277 — Record a revocation when a live box is destroyed and refuse its values within a minute
- T21 — Log out: delete the sign-in and refuse every reference to it #2278 — Log out: delete the sign-in and refuse every reference to it
- T22 — Prove a box re-created under the same name gets an id of its own that redeems #2286 — Prove a box re-created under the same name gets an id of its own that redeems
- T23 — Revoke a box or sign out, end to end #2291 — Revoke a box or sign out, end to end
Activity