Cristin-resultat-ID: 881502
Sist endret: 10. januar 2012, 16:29
Resultat
Vitenskapelig foredrag
2011

A Novel Framework for Protocol Analysis

Bidragsytere:
  • George Petrides
  • Kristian Gjøsteen og
  • Asgeir Bertelsen Steine

Presentasjon

Navn på arrangementet: Provable Security
Sted: Xi'An
Dato fra: 16. oktober 2011
Dato til: 18. oktober 2011

Arrangør:

Arrangørnavn: Xidian University

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2011

Beskrivelse Beskrivelse

Tittel

A Novel Framework for Protocol Analysis

Bidragsytere

George Petrides

  • Tilknyttet:
    Forfatter
    ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet

Kristian Gjøsteen

  • Tilknyttet:
    Forfatter
    ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet

Asgeir Bertelsen Steine

  • Tilknyttet:
    Forfatter
    ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet
1 - 3 av 3