Building formal models of next-generation security protocols: Fid-Bau Portal

Building formal models of next-generation security protocols

Drielsma, Paul David Hankes

Zugriff

Zur UB Braunschweig

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Building formal models of next-generation security protocols

Drielsma, Paul David Hankes

Building formal models of next-generation security protocols

Drielsma, Paul David Hankes

Zugriff

Zur UB Braunschweig

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

Building formal models of next-generation security protocols

Beteiligte:

Drielsma, Paul David Hankes

Erscheinungsdatum:

2007

Format / Umfang:

Online-Ressource (150 S)

Anmerkungen:

Ill

DOI:

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

Medientyp:

Hochschulschrift

Format:

Elektronische Ressource

Sprache:

Englisch

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

Nach oben