Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal assessment of network security risks with an integrated assessment instrument


    Contributors:

    Conference:

    NASA 3rd Annual Assurance Technology Conference


    Publication date :

    2001-05-30


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English







    Formal safety assessment

    British Library Online Contents | 1996


    Formal Safety and Security Assessment of an Avionic Architecture with Alloy

    Julien Brunel / Laurent Rioux / Stéphane Paul et al. | DOAJ | 2014

    Free access