diff options
| author | Osmium Sorcerer <os@sof.beauty> | 2026-06-18 04:25:21 +0000 |
|---|---|---|
| committer | Osmium Sorcerer <os@sof.beauty> | 2026-06-18 04:25:21 +0000 |
| commit | 4bb60d0ccd288defb848dd28beac344295dfa602 (patch) | |
| tree | 45547b3421355cfd4dc71597e6bcd9ae7e4cd0b1 /sof-dhcr.spthy | |
| parent | c48736a18976a8d1c62fec3dbfa5c8c4dce38bc6 (diff) | |
Add the specification
While the symbolic model is useful to demonstrate security properties, a
concrete, self-contained specification that said model proves and can
be referenced is essential.
This repository shall hold everything related to the protocol.
Diffstat (limited to 'sof-dhcr.spthy')
0 files changed, 0 insertions, 0 deletions