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

Slični predmeti

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