https://catalogue-scientifique.canada.ca/record=2160641~S6*frc
naval research lab washington dc center for high assurance computing systems (chacs), 1994
Previous work at NRL demonstrated the benefits of a security modeling approach for building high assurance systems for particular application domains. This...
Publication gouvernementale