Formal assessment of network security risks with an integrated assessment instrument
NASA 3rd Annual Assurance Technology Conference
2001-05-30
Conference paper
No indication
English
British Library Online Contents | 1996
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
DOAJ | 2014
|