blob: d61f2b615e660c2c540b6f70c95039f477dd52f7 [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
// Security countermeasures testplan extracted from the IP Hjson using reggen.
//
// This testplan is auto-generated only the first time it is created. This is
// because this testplan needs to be hand-editable. It is possible that these
// testpoints can go out of date if the spec is updated with new
// countermeasures. When `reggen` is invoked when this testplan already exists,
// It checks if the list of testpoints is up-to-date and enforces the user to
// make further manual updates.
//
// These countermeasures and their descriptions can be found here:
// .../keymgr/data/keymgr.hjson
//
// It is possible that the testing of some of these countermeasures may already
// be covered as a testpoint in a different testplan. This duplication is ok -
// the test would have likely already been developed. We simply map those tests
// to the testpoints below using the `tests` key.
//
// Please ensure that this testplan is imported in:
// .../keymgr/data/keymgr_testplan.hjson
{
testpoints: [
{
name: sec_cm_bus_integrity
desc: "Verify the countermeasure(s) BUS.INTEGRITY."
milestone: V2S
tests: []
}
{
name: sec_cm_config_shadow
desc: "Verify the countermeasure(s) CONFIG.SHADOW."
milestone: V2S
tests: []
}
{
name: sec_cm_op_config_regwen
desc: "Verify the countermeasure(s) OP.CONFIG.REGWEN."
milestone: V2S
tests: []
}
{
name: sec_cm_reseed_config_regwen
desc: "Verify the countermeasure(s) RESEED.CONFIG.REGWEN."
milestone: V2S
tests: []
}
{
name: sec_cm_sw_binding_config_regwen
desc: "Verify the countermeasure(s) SW_BINDING.CONFIG.REGWEN."
milestone: V2S
tests: []
}
{
name: sec_cm_max_key_ver_config_regwen
desc: "Verify the countermeasure(s) MAX_KEY_VER.CONFIG.REGWEN."
milestone: V2S
tests: []
}
{
name: sec_cm_lc_ctrl_intersig_mubi
desc: "Verify the countermeasure(s) LC_CTRL.INTERSIG.MUBI."
milestone: V2S
tests: []
}
{
name: sec_cm_constants_consistency
desc: "Verify the countermeasure(s) CONSTANTS.CONSISTENCY."
milestone: V2S
tests: []
}
{
name: sec_cm_intersig_consistency
desc: "Verify the countermeasure(s) INTERSIG.CONSISTENCY."
milestone: V2S
tests: []
}
{
name: sec_cm_hw_key_sw_noaccess
desc: "Verify the countermeasure(s) HW.KEY.SW_NOACCESS."
milestone: V2S
tests: []
}
{
name: sec_cm_output_keys_ctrl_redun
desc: "Verify the countermeasure(s) OUTPUT_KEYS.CTRL.REDUN."
milestone: V2S
tests: []
}
{
name: sec_cm_ctrl_fsm_sparse
desc: "Verify the countermeasure(s) CTRL.FSM.SPARSE."
milestone: V2S
tests: []
}
{
name: sec_cm_data_fsm_sparse
desc: "Verify the countermeasure(s) DATA.FSM.SPARSE."
milestone: V2S
tests: []
}
{
name: sec_cm_ctrl_fsm_local_esc
desc: "Verify the countermeasure(s) CTRL.FSM.LOCAL_ESC."
milestone: V2S
tests: []
}
{
name: sec_cm_ctrl_fsm_consistency
desc: "Verify the countermeasure(s) CTRL.FSM.CONSISTENCY."
milestone: V2S
tests: []
}
{
name: sec_cm_ctrl_fsm_global_esc
desc: "Verify the countermeasure(s) CTRL.FSM.GLOBAL_ESC."
milestone: V2S
tests: []
}
{
name: sec_cm_ctrl_ctr_redun
desc: "Verify the countermeasure(s) CTRL.CTR.REDUN."
milestone: V2S
tests: []
}
{
name: sec_cm_kmac_if_fsm_sparse
desc: "Verify the countermeasure(s) KMAC_IF.FSM.SPARSE."
milestone: V2S
tests: []
}
{
name: sec_cm_kmac_if_ctr_redun
desc: "Verify the countermeasure(s) KMAC_IF.CTR.REDUN."
milestone: V2S
tests: []
}
{
name: sec_cm_kmac_if_cmd_ctrl_consistency
desc: "Verify the countermeasure(s) KMAC_IF_CMD.CTRL.CONSISTENCY."
milestone: V2S
tests: []
}
{
name: sec_cm_kmac_if_done_ctrl_consistency
desc: "Verify the countermeasure(s) KMAC_IF_DONE.CTRL.CONSISTENCY."
milestone: V2S
tests: []
}
{
name: sec_cm_reseed_ctr_redun
desc: "Verify the countermeasure(s) RESEED.CTR.REDUN."
milestone: V2S
tests: []
}
{
name: sec_cm_side_load_sel_ctrl_consistency
desc: "Verify the countermeasure(s) SIDE_LOAD_SEL.CTRL.CONSISTENCY."
milestone: V2S
tests: []
}
{
name: sec_cm_ctrl_key_integrity
desc: "Verify the countermeasure(s) CTRL.KEY.INTEGRITY."
milestone: V2S
tests: []
}
]
}