| Formal HLD |
|
|
|
|
|
|
|
|
| ¨ | Same
as Semiformal High-level |
||||||
| Explanation,,
except that |
|||||||
| – | The
presentation of the high-level design shall |
||||||
| be formal. |
|||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/System Security Realization |
| 16 |