Modeling and verification of cryptographic protocols using Coloured Petri Nets and Design/CPN

Modeling and verification of cryptographic protocols using Coloured Petri Nets and Design/CPN

Artikkeli

Al-Azzoni, Issam ; Down, Douglas G. ; Khedri, Ridha

Julkaisussa: Nordic journal of computing 12 (2005) : 3, s. 201-228

Tallennettuna:

Kieli

englanti

Luokitus

acmccs D.4.6
acmccs D.2.2
acmccs F.4.3
acmccs C.2.2

Aiheet/asiasanat

cryptographic protocols

protocol analysis

Coloured Petri Nets

Design/CPN

security goals

Saatavuustiedot

Henkilökuntanäyttö