On 13.09.25 18:58, Muhammad Usama Sardar wrote:
Sure, we'll update the draft. But the way I view it is like this:
security goals => formal analysis => security considerations
So one of the aims of the thread was to ask if someone could think of
any other security goal in the mean time, and definitely not to say that
the security consideration section is ready for review.
It is also not uncommon to motivate goals (so I'd give that a small
semantic push towards the "requirements" definition).
use case OR usage scenarios -> (security) requirements -> model
specification -> model analysis -> validation & falsification results
(some of which go into the SecConSec)
This can be an iterative process, of course 😅
_______________________________________________
TLS mailing list -- [email protected]
To unsubscribe send an email to [email protected]
