Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Building formal models of next-generation security protocols

    Access

    To UB Braunschweig
    Check availability in my library
    Order at Subito €

    Access

    To UB Braunschweig
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Building formal models of next-generation security protocols

    Access

    To UB Braunschweig
    Check availability in my library
    Order at Subito €

    Building formal models of next-generation security protocols

    Access

    To UB Braunschweig
    Check availability in my library
    Order at Subito €

    Access

    To UB Braunschweig
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Document information
    Title:

    Building formal models of next-generation security protocols

    Contributors:

    Drielsma, Paul David Hankes

    Publication date:

    2007

    Size:

    Online-Ressource (150 S)

    Remarks:

    Ill

    DOI:

    https://doi.org/10.3929/ethz-a-005460433

    Type of media:

    Theses

    Type of material:

    Electronic Resource

    Language:

    English

    Similar titles

    Building formal models of next-generation security protocols

    Hankes Drielsma, Paul David | TIBKAT | 2007

    Formal description oriented Performance Evaluation of protocols

    Ecsedi Tóth, P. / Tarnay, K. | TIBKAT | 1987

    Building the next generation data centre

    British Library Online Contents | 2008

    Building France’s next-generation regional train

    Barrow, Keith | IuD Bahn | 2011

    IP Security Protocols

    Bozoki, E. | British Library Online Contents | 1999

    Back to top