Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols

Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

Abstrakt

Gordon and Jeffrey developed a type system for verification of
asymmetric and symmetric cryptographic protocols.
We propose a modified version of Gordon and Jeffrey's type system
and develop a type inference algorithm for it, so that protocols can
be verified automatically as they are, without any type annotations
or explicit type casts. We have implemented a protocol verifier
SpiCa based on the algorithm, and confirmed its effectiveness.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6996
Sider (fra-til)75-89
Antal sider15
ISSN0302-9743
DOI
StatusUdgivet - 2011
Begivenhed9th International Symposium on Automated Technology for Verification and Analysis - Taipei, Taiwan
Varighed: 11 okt. 201114 okt. 2011
Konferencens nummer: 9

Konference

Konference9th International Symposium on Automated Technology for Verification and Analysis
Nummer9
LandTaiwan
ByTaipei
Periode11/10/201114/10/2011

Bibliografisk note

Proceeedings of the 9th International Symposium on Automated Technology for Verification and Analysis 2011. Bultan, T. & Hsiung, P.-A. (eds.)

Citationsformater