2 sessions
Concurrent sessions per principal

A replay needs a second session to replay from, so at one session no replay attack can be reported. More sessions can only reveal more attacks, at a steep cost in time.

Share
Reference Loading...
model.vpCtrl/⌘ + Enter to verify · hover a term for its documentation

Tab indents and Shift+Tab outdents. Press Escape and then Tab to move focus out of the editor. Ctrl+Space shows completions, F12 or Ctrl or Command with a click goes to a definition, F2 renames, and Ctrl or Command with slash comments out lines.

verifpal analysis
Load an example or write a model, then press Verify.