A Guide to Understanding Design Documentation in Trusted Systems [chapter]

1985 The 'Orange Book' Series  
doi:10.1007/978-1-349-12020-8_12 fatcat:bj5c6qvygba57cwhhnaxim4qq4