1.

図書
図書
1. Financial cryptography : Third International Conference, FC '99, Anguilla, British West Indies, February 22-25 1999 : proceedings
Matthew Franklin (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1648
所蔵情報: loading…
2.

図書
図書
2. Advances in computer science--Asian 2006 : secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers
Mitsu Okada, Ichiro Satoh (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4435
所蔵情報: loading…
3.

図書
図書
3. Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures (: pbk)
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5705
所蔵情報: loading…