Jump to main content

yr 〜
yr

Search results 5

Formal aspects of security and trust : 8th international workshop, FAST 2011 : Leuven, Belgium, September 12-14, 2011 : revised selected papers : Sep 2011, Leuven, Belgium. (Lecture Notes in Computer Science ; 7140)

Formal aspects of security and trust : 8th international workshop, FAST 2011 : Leuven, Belgium, September 12-14, 2011 : revised selected papers : Sep 2011, Leuven, Belgium. (Lecture Notes in Computer Science ; 7140)
Paper図書
Springerc2012.<M17-13-22>
National Diet Library
  • Author HeadingFAST (Workshop) (8th : 2011 : Leuven, Belgium) Barthe, Gilles, 1967- Datta, Anupam. Etalle, Sandro.

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian computing science conference : Seoul, Korea, December 14-16, 2009 : proceedings. : 13th annual Asian computing science conference : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5913)

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian computing science conference : Seoul, Korea, December 14-16, 2009 : proceedings. : 13th annual Asian computing science conference : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5913)
Paper図書
Springerc2009.<M17-10-2387>
National Diet Library
  • Author HeadingDatta, Anupam. Asian Computing Science Confe...

Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers

Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
Paper図書
Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)Springerc2012
Other Libraries in Japan

Analysis techniques for information security : pbk

Analysis techniques for information security : pbk
Paper図書
Anupam Datta, ... [et al.]Morgan & Claypoolc2010
Other Libraries in Japan

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings
Paper図書
Anupam Datta (ed.)Springerc2009
Other Libraries in Japan

Reached to the end of result.

RSS