@@ -1102,14 +1102,10 @@ The product shall prevent a user account from logging in if another user account
* Applicability: Has user accounts
* Reference: TR-MISO
* Objective: Prevent unauthorized access of memory
* Preparation: List all user accounts and verify they are zero
* Activities: Attempt to create a second user account, then list user accounts again
* Verdict: Creation of second user account fails and list of user accounts shows one account and is identical before and after test => PASS, otherwise FAIL
* Evidence: List of user accounts before and after test, output of test
* Test: with one user logged in, attempt to log in as a second user
* Result: failure to log in
* Output: error message
* Preparation: Create two accounts, log in to one account, list all logged in user accounts and verify there is exactly one, list all methods of logging in to a user account
* Activities: For each method of logging in to a user account, attempt to login as a second user account, then list logged in user accounts again
* Verdict: Login of second user account fails or is not possible, and list of user accounts logged in shows one account and is identical before and after test => PASS, otherwise FAIL
* Evidence: List of logged in user accounts before and after test, output of each test or evidence proving that logging in as a second user is impossible
#### 5.2.X.x **MI-PMSC** Prevent memory leaks through microarchitectural side channels in provided executables
