600.436 High-
Assurance Systems
Fall 01/Protection Profiles
14
Semiformal Functional Specification
¨
“describe the TSF and its external interfaces
using a
semiformal
style,
supported by
informal, explanatory text where
appropriate
”
