Added Security Goals and fixed terminology

[tireddy2]

Address #77

[ilaril]

I suppose the security goals are now something that can be achieved. Feature like this needs formal analysis, which can inform what the goals should be.

[tireddy2]

I suppose the security goals are now something that can be achieved. Feature like this needs formal analysis, which can inform what the goals should be.

Yes, formal analysis is mandatory for the draft to progress.

[muhammad-usama-sardar]

I suppose the security goals are now something that can be achieved. Feature like this needs formal analysis, which can inform what the goals should be.

Sure. I am working on formal analysis of this draft. For formal analysis, we need to first align on the desired security goals and the terminology. Hence, issues #76, #77, and #78 were created.