Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal assessment of network security risks with an integrated assessment instrument


    Beteiligte:
    Gilliam, D. P. (Autor:in) / Powell, J. D. (Autor:in) / Kelly, J. C. (Autor:in)

    Kongress:

    NASA 3rd Annual Assurance Technology Conference


    Erscheinungsdatum :

    30.05.2001


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch







    Formal Safety and Security Assessment of an Avionic Architecture with Alloy

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

    Freier Zugriff

    Formal safety assessment

    British Library Online Contents | 1996