Formal assessment of network security risks with an integrated assessment instrument
NASA 3rd Annual Assurance Technology Conference
30.05.2001
Aufsatz (Konferenz)
Keine Angabe
Englisch
The assessment of the marine risks based on the formal safety assessment
DOAJ | 2022
|Formal Safety and Security Assessment of an Avionic Architecture with Alloy
DOAJ | 2014
|British Library Online Contents | 1996