Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration /

Benzer Materyaller

• Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers /
  Yazar:: Pierpaolo Degano, Joshua Guttman, Fabio Martinelli
  Baskı/Yayın Bilgisi: (2009, c2009)
• Formal Aspects in Security and Trust : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
  Yazar:: Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider
  Baskı/Yayın Bilgisi: (2006, c2006)
• Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers /
  Yazar:: Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa
  Baskı/Yayın Bilgisi: (2003, c2003)
• Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /
  Yazar:: Ali E. Abdallah, Peter Ryan, Steve Schneider
  Baskı/Yayın Bilgisi: (2003, c2003)
• Information Security Practice and Experience : First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings /
  Yazar:: Robert H. Deng, Feng Bao, HweeHwa Pang, Jianying Zhou
  Baskı/Yayın Bilgisi: (2005, c2005)