.. _validation_models:

Models
------

.. contents::
   :depth: 2
   :local:

.. _validation_models_impact:

Impact
^^^^^^

`List of sCAD models
<https://github.com/mal-lang/corelang-examples/tree/main/validation/impact>`__

.. _validation_models_account_access_removal:

Account Access Removal
""""""""""""""""""""""
Techniques:
:ref:`mitre_technique_account_access_removal`

`sCAD Model <https://github.com/mal-lang/corelang-examples/blob/main/validation/impact/account_access_removal.sCAD>`__

.. _validation_models_impact_application_dos:

Application Denial of Service
"""""""""""""""""""""""""""""
Techniques:
:ref:`mitre_technique_endpoint_denial_of_service`,
:ref:`mitre_technique_network_denial_of_service`,
:ref:`mitre_technique_resource_hijacking`,
:ref:`mitre_technique_service_stop`,
:ref:`mitre_technique_system_shutdown_reboot`

`sCAD Model <https://github.com/mal-lang/corelang-examples/blob/main/validation/impact/application_dos.sCAD>`__

.. _validation_models_impact_data_disruptions:

Data Disruptions
""""""""""""""""
Techniques:
:ref:`mitre_technique_data_destruction`,
:ref:`mitre_technique_data_encrypted_for_impact`,
:ref:`mitre_technique_data_manipulation`,
:ref:`mitre_technique_defacement`,
:ref:`mitre_technique_disk_wipe`,
:ref:`mitre_technique_inhibit_system_recovery`

`sCAD Model <https://github.com/mal-lang/corelang-examples/blob/main/validation/impact/data_disruptions.sCAD>`__

.. _validation_models_firmware_corruption:

Firmware Corruption
"""""""""""""""""""
Techniques:
:ref:`mitre_technique_firmware_corruption`

`sCAD Model
<https://github.com/mal-lang/corelang-examples/blob/main/validation/impact/firmware_corruption.sCAD>`__