psec 2009: Formal to Practical Security - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, editors, Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration. Volume 5458 of Lecture Notes in Computer Science, Springer, 2009.

runs on WebDSL