|
CASE_Properties::CONFIDENTIALITY => MEDIUM; |
The properties referenced at this and the following lines (CONFIDENTIALITY, INTEGRITY, AVAILABILITY, BOUNDARY) are missing from all of the several copies of CASE_Properties.aadl present in this repo.
Is there an updated version of CASE_Properties.aadl available somewhere? Could it be added to this repo?
CASE/CASE_Simple_Example_V3/FC.aadl
Line 25 in 4763a80
The properties referenced at this and the following lines (
CONFIDENTIALITY,INTEGRITY,AVAILABILITY,BOUNDARY) are missing from all of the several copies of CASE_Properties.aadl present in this repo.Is there an updated version of CASE_Properties.aadl available somewhere? Could it be added to this repo?