Ecosyste.ms: Timeline
Browse the timeline of events for every public repo on GitHub. Data updated hourly from GH Archive.
jvdsn created a review comment on a pull request on DSC-iTC/cPP
Technically this whole thing is a completion of an assignment, with some nested selections and assignments within to make it more complicated for us :). We don't have any explicit rules in that cas...
jvdsn created a review comment on a pull request on DSC-iTC/cPP
It's a bit pedantic, but not exactly. What we do here is we partially complete the assignment and replace it with another assignment (which is actually not really defined by our conventions). This ...
jvdsn created a review comment on a pull request on DSC-iTC/cPP
Yes, that is correct. What we are doing here is not completing a selection, it is replacing an assignment with a selection (which kind-of completes the assignment, but also performs a refinement). ...
jvdsn pushed 2 commits to Working DSC-iTC/cPP
jvdsn pushed 3 commits to Working DSC-iTC/cPP
jvdsn closed a pull request on DSC-iTC/cPP
Fix ECD text
I know it's pretty late in the game but these seemed important enough. The `{empty}` tags were added to fix the rendering. The SFR text in the actual cPP body will be fixed as part of a separate...
jvdsn closed an issue on DSC-iTC/cPP
[cPP PUBLIC REVIEW] [atsec03] FCS_COP.1/AEAD application notes
Original comment: ``` It seems that FCS_COP.1/AEAD is newly-created selection-based SFR. It is referred to in several SFR components, such as FCS_CKM.2 FDP_ITC_EXT.1.2 FDP_ITC_EXT.2.2 FDP_S...
jvdsn pushed 3 commits to Working DSC-iTC/cPP
jvdsn closed a pull request on DSC-iTC/cPP
Remove redundant application notes and clean up some wording
As discussed, any application notes that just say "If X is selected then the selection-based SFR Y must be claimed." can be removed if the SFR text forces the ST author to include it. Also clea...
jvdsn created a review comment on a pull request on DSC-iTC/cPP
This sentence was removed because it's explained better below ("If the original SFR defined an assignment operation which was completed by the PP author by redefining it as a selection operation ...")
jvdsn opened a pull request on DSC-iTC/cPP
Sfr formatting
First, update the SFR formatting conventions section as discussed during the meeting (the most substantial change being that assignment -> selection refinements won't be bolded completely). Th...
jvdsn pushed 1 commit to ecd-fixes DSC-iTC/cPP
- Fix SFR formatting First, update the SFR formatting conventions section as discussed during the meeting (the most su... c9a5017
jvdsn opened an issue on DSC-iTC/cPP
[cPP PUBLIC REVIEW] FPT_TST.1.1 mismatch
FPT_TST.1.1 as instantiated in the cPP does not match FPT_TST.1.1 as defined in CC22 FPT_TST.1.1 as defined in CC22 includes ": [assignment: _list of self-tests run by the TSF_]"; I think this i...
jvdsn opened an issue on DSC-iTC/cPP
[cPP PUBLIC REVIEW] FDP_SDC.2.1 mismatch
FDP_SDC.2.1 as instantiated in the cPP does not match FDP_SDC.2.1 as defined in CC22 CC22 definition: The TSF shall ensure the confidentiality of the [selection: all user data, the following ...
jvdsn opened a pull request on DSC-iTC/cPP
Fix definition of FCS_STG_EXT.1.3
In #332 it was pointed out that there were two FCS_STG_EXT.1.4 definitions in the ECD. I just assumed the numbering was wrong, but in fact the entire element definition was duplicated. I restored i...
jvdsn opened an issue on DSC-iTC/cPP
[cPP PUBLIC REVIEW] FCS_STG_EXT.1.1 mismatch
FCS_STG_EXT.1.1 as defined in the ECD does not match FCS_STG_EXT.1.1 as instantiated in the cPP. ECD definition: FCS_STG_EXT.1.1:: The TSF shall provide [assignment: _protection method_] prot...
jvdsn pushed 1 commit to ecd-fixes DSC-iTC/cPP
- One more selection that should be an assignment aebf3a5
jvdsn opened a pull request on DSC-iTC/cPP
Fix ECD text
I know it's pretty late in the game but these seemed important enough. The `{empty}` were added to fix the rendering. The SFR text in the actual cPP body will be fixed as part of a separate PR.
jvdsn created a comment on an issue on DSC-iTC/cPP
I read through most app notes (though I didn't focus on this issue specifically) and only found this: FTP_CCMP_EXT.1: `_Inclusion of this SFR requires inclusion of AES-CCM in FCS_COP.1/AEAD._` ...
jvdsn created a comment on a pull request on DSC-iTC/cPP
@woodbe I removed the "simple" application notes that just said "This SFR must be claimed if X was selected in Z." I kept the ones that provided a little bit more context.
jvdsn pushed 1 commit to redundant-app-notes DSC-iTC/cPP
- Remove simple back-reference application notes 4fc8b10
jvdsn created a comment on a pull request on DSC-iTC/cPP
Open question: there are some cases where the selection-based SFR itself actually back-references to the SFR that requires the selection. This again seems a bit redundant to me, and might cause con...