Lines Matching refs:internal
115 …sumptions-on-the-underlying-file-storage), each atomic operation in the internal storage concerns …
117 A key creation function must transform the internal storage from a state where file `id` does not e…
119 …is not possible with a stateful secure element because the state of the internal storage needs to …
121 …nging the state of the secure element, there must be information in the internal storage that indi…
129 …a different state after that, this will require a total of 4 updates to internal storage. Since we…
289 * Normal operation must maintain a certain invariant on the state of the world (internal storage an…
303 …e key must be present in the secure element if and only if the key file is in the internal storage.
325 …cure element, and if it does, keep it and keep `id`. If not, remove `id` from the internal storage.
334 If `id` is in the transaction list, neither the state of `id` in the internal storage nor the state…
341 …cure element, and if it does, keep it and keep `id`. If not, remove `id` from the internal storage.
365 In addition, before or after step 2, create or remove the key file in the internal storage.
369 * During key creation, create the key file in internal storage in the internal storage before calli…
370 … the secure element's key destruction entry point before removing the key file in internal storage.
415 3. Create the key file _A_ in the internal storage. Note that this is done at a different time from…
422 * If the key file has been created in the internal storage, remove it.
435 3. Remove the key file _A_ from the internal storage.
443 For each key _A_ in the transaction list file, if the file _A_ exists in the internal storage:
447 3. Remove the key file _A_ from the internal storage.
514 …build, we run test cases on a representative selection of states of the internal storage and the t…