Skip to content

Commit f4109bb

Browse files
authored
consistency rationale for assumptions
1 parent 925410d commit f4109bb

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

input/esm-edr.xml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -240,6 +240,8 @@
240240
management activities. The OE will provide reliable network connectivity for the EDR to operate.
241241
The EDR will robustly handle occasional instances when
242242
connectivity is unavailable or unreliable.</description>
243+
<consistency-rationale>This assumption is consistent with the Base-PP because assuming network availability is consistent with the A.PLATFORM
244+
assumption defined by the Base-PP, which expects the TOE to have a trustworthy computing platform.</consistency-rationale>
243245
<objective-refer ref="OE.RELIABLE_TRANSIT">
244246
<rationale>The OE objective OE.RELIABLE_TRANSIT is realized through
245247
A.CONNECTIVITY.</rationale>

0 commit comments

Comments
 (0)