Searched defs:dice_chain (Results 1 – 1 of 1) sorted by relevance
654 let dice_chain = make_explicit_owned_dice(/*Security version in a node */ 5); in secret_management_replay_protection_seq_num() localVariable690 let dice_chain = make_explicit_owned_dice(/*Security version in a node */ 5); in secret_management_replay_protection_seq_num_per_session() localVariable721 let dice_chain = make_explicit_owned_dice(/*Security version in a node */ 5); in secret_management_replay_protection_out_of_seq_req_not_accepted() localVariable747 let dice_chain = make_explicit_owned_dice(/*Security version in a node */ 100); in secret_management_policy_gate() localVariable