| ADV_INT – TSF Internals |
|
|
|
|
|
|
|
|
|
|
| ¨ | Definition |
||||||||
| ¨ | Aspects |
||||||||
| ¨ | Components |
||||||||
| – | Modularity |
||||||||
| – | Reduction
of Complexity |
||||||||
| – | Minimization
of Complexity |
||||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/System Security Realization |
| 28 |