TSEC: Difference between revisions
| Line 1,777: | Line 1,777: | ||
! Condition | ! Condition | ||
|- | |- | ||
| 0 || nop || || || || | | 0 || nop || N/A || N/A || || | ||
|- | |- | ||
| 1 || mov || $cX || $cY || <code>$cX = $cY; ACL(X) = ACL(Y);</code> || | | 1 || mov || $cX || $cY || <code>$cX = $cY; ACL(X) = ACL(Y);</code> || | ||
| Line 1,811: | Line 1,811: | ||
| 0x10 || secret || $cX || immY || <code>$cX = load_secret(immY); ACL(X) = load_secret_acl(immY);</code> || | | 0x10 || secret || $cX || immY || <code>$cX = load_secret(immY); ACL(X) = load_secret_acl(immY);</code> || | ||
|- | |- | ||
| 0x11 || keyreg || immX || || <code>active_key_idx = immX;</code> || | | 0x11 || keyreg || immX || N/A || <code>active_key_idx = immX;</code> || | ||
|- | |- | ||
| 0x12 || kexp || $cX || $cY || <code>$cX = aes_kexp($cY); ACL(X) = ACL(Y);</code> || | | 0x12 || kexp || $cX || $cY || <code>$cX = aes_kexp($cY); ACL(X) = ACL(Y);</code> || | ||
| Line 1,823: | Line 1,823: | ||
| 0x16 || csigauth || $cX || $cY || <code>if (hash_verify($cX, $cY)) { has_sig = true; current_sig = $cX; }</code> || ? | | 0x16 || csigauth || $cX || $cY || <code>if (hash_verify($cX, $cY)) { has_sig = true; current_sig = $cX; }</code> || ? | ||
|- | |- | ||
| 0x17 || csigclr || || || <code>has_sig = false;</code> || | | 0x17 || csigclr || N/A || N/A || <code>has_sig = false;</code> || | ||
|- | |- | ||
| 0x18 || csigenc || $cX || $cY || <code>if (has_sig) $cX = aes_enc(current_sig, $cY);</code> || ? | | 0x18 || csigenc || $cX || $cY || <code>if (has_sig) $cX = aes_enc(current_sig, $cY);</code> || ? | ||