4 ms·

What do you mean? https://www.w3.org/TR/webauthn/ https://www.w3.org/TR/webauthn/ includes formal specifications.

• agentultra 8y ago
  Formal as in Formal Mathematics -- a specification with a precise definition that can be verified by a model checker to have the desired safety and, if necessary, liveness guarantees.
  • mehh 8y ago
    Which flavour of Formal Mathmatical language would you suggest it should be written in?
    • agentultra 8y ago
      TLA+, Alloy, Isabelle, Coq, or Lean would all be fine choices. I'd prefer TLA+ myself as the language, TLA, is straight-forward maths.
      • mehh 8y ago
        What about Z or B?