600.436 High-Assurance
Systems
Fall 01/System Security Realization
65
Hybrids (2)
¨Reverse
Engineering Is Obviously Most Useful For
–Implementation
Representation
–TSF
Internals
–Low
Level Design
–FSP
and HLD in lower assurance systems
¨Interviews
Are Most Effective For
–HLD
and LLD in any existing system
–FSP,
as a starting point in existing systems