Hillel Wayne personal blog
Modeling Adversaries with TLA+
A common question I get about specs is how to model bad actors. Usually this is one of two contexts: The spec involves several interacting agents sharing a protocol, but some of the nodes are faulty or malicious: they will intentionally try to subvert the system. The spec involves an agent subject to outside forces…
- Points
- 126
- HN comments
- 13
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSecurity & Privacy2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 6, 2019 | Modeling Adversaries with TLA+ by Supermighty | 126 | 13 |
