Skip to content

Commit 9451477

Browse files
authored
Update application.xml
1 parent 7ad98ef commit 9451477

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎input/application.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1067,7 +1067,7 @@ for i = 1 to 1000:
10671067
</aactivity>
10681068
</f-element>
10691069
<f-element id="fel-rbg-init-seed-how">
1070-
<title>The TSF shall use a <selectables><selectable id="internal-seed">TSF noise source <assignable>name of noise source</assignable></selectable><selectable id="internal-seeds"><h:b>multiple TSF noise sources <assignable>names of noise sources</assignable> </h:b></selectable><selectable id="external-seed">TSF interface for seeding</selectable></selectables> for initialized seeding.</title>
1070+
<title>The TSF shall use a <selectables><selectable id="internal-seed">TSF noise source <assignable>name of noise source</assignable></selectable><selectable id="internal-seeds"><h:b>multiple TSF noise sources <assignable>names of noise sources</assignable></h:b></selectable><selectable id="external-seed">TSF interface for seeding</selectable></selectables> for initialized seeding.</title>
10711071
<note role="application">
10721072
<h:p>For the selection in this requirement, the ST author selects "TSF noise source" if a single noise source is used as input to the DRBG. The ST author selects "multiple TSF noise sources" if a seed is formed from a combination of two or more noise sources within the TOE boundary. If the TSF implements two or more separate DRBGs that are seeded in separate manners, this SFR should be iterated for each DRBG. If multiple distinct noise sources exist such that each DRBG only uses one of them, then each iteration would select "TSF noise source"; "multiple TSF noise sources" is only selected if a single DRBG uses multiple noise sources for its seed. The ST author selects "TSF interface for seeding" if noise source data is generated outside the TOE boundary.<h:p/>If "TSF noise source" is selected, FCS_RBG.3 must be claimed.<h:p/>If "multiple TSF noise sources" is selected, FCS_RBG.4 and FCS_RBG.5 must be claimed.<h:p/>If "TSF interface for seeding" is selected, FCS_RBG.2 must be claimed.</h:p>
10731073
</note>

0 commit comments

Comments
 (0)