Formal to Practical Security

Format:

e-book

Title:

Formal to Practical Security

Author:

Cortier, Véronique; Kanade, Takeo; Kirchner, Claude; Okada, Mitsuhiro; Sakurada, Hideki

Language:

English

Publisher:

Springer Berlin Heidelberg 2009

ISBN:

3-642-02001-1
3-642-02002-X

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000746046?locale=en