Preface

Metadata only

Autor(in)

Datum

2005-03

Typ

Other Journal Item

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Buchtitel

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004)

Zeitschrift / Serie

Electronic notes in theoretical computer science

Band

125(1)

Seiten / Artikelnummer

1 - 1

Verlag

Elsevier

Konferenz

Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004), Cork, Ireland, July 4, 2004

Organisationseinheit

03634 - Basin, David / Basin, David

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection