I think it is important that this specification actually are explicit on which security properties it actual achieves. It will makes it easier to discuss if the document achieves what is claims to achieve it there is actually a set of properties to consider. Otherwise I think the reviewers assumption on what is possible might make people easily talk past each other.