Hi all,
For CID 116, we debated whether we could accept the comment and could not come to an agreement on a proposed resolution. (see the comment and discussed resolutions below)
I would like to initiate a discussion on the reflector to see if we can come to a resolution.
Thanks,
Mike
Here is the comment:
REVme SEC adhoc comments
| 2554.00 |
12.4.8.6.5 |
|
V |
SAE: "<verify X>. If
not, <do Y>. If so, <do Z>" construction can be ambiguous
since it is not always clear what "if so" is referring to
(something in "verify X" vs. "do Y"). |
Replace
"If Sync is not greater than dot11RSNASAESync, the protocol instance
shall verify that the finite cyclic group is the same as the previously
received SAE Commit message. If not, the frame shall be silently discarded.
If so, the protocol instance shall increment Sync, increment Sc, and transmit
its SAE Commit message and its SAE Confirm message with the new Sc
value."
with
"If Sync is not greater than dot11RSNASAESync, the protocol instance
shall verify that the finite cyclic group is the same as the previously
received SAE Commit message. If not, the frame shall be silently discarded.
Otherwise, the protocol instance shall increment Sync, increment Sc, and
transmit its SAE Commit message and its SAE Confirm message with the new Sc
value." |
The proposed resolution that was discussed on the call (along with an alternative that was mentioned in the chat):
Replace
"If Sync is not greater than dot11RSNASAESync, the protocol instance shall verify that the finite cyclic group is the same as the previously received SAE Commit message. If not, the frame shall be silently discarded. If so, the protocol instance shall increment Sync, increment Sc, and transmit its SAE Commit message and its SAE Confirm message with the new Sc value."
with
"If Sync is not greater than dot11RSNASAESync, the protocol instance shall verify that the finite cyclic group is the same as in the previously received SAE Commit message. If it is not, the frame shall be silently discarded. Otherwise, the protocol instance shall increment Sync, increment Sc, and transmit its SAE Commit message and its SAE Confirm message with the new Sc value."
Alternative:
ust a suggestion: "If Sync is not greater than dot11RSNASAESync, the protocol instance shall verify that the finite cyclic group is the same as in the previously received SAE Commit message, and if it is not, the frame shall be silently discarded. If Sync is greater than dot11RSNASAESync, the protocol instance shall increment Sync, increment Sc, and transmit its SAE Commit message and its SAE Confirm message with the new Sc value."
To unsubscribe from the STDS-802-11-TGM list, click the following link: https://listserv.ieee.org/cgi-bin/wa?SUBED1=STDS-802-11-TGM&A=1