Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration /
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Książka |
| Język: | angielski |
| Wydane: |
Berlín, Alemania :
Springer,
2009, c2009
|
| Seria: | (Lecture Notes in Computer Science)
|
| Dostęp online: | Ver documento en línea |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Podobne zapisy: Formal to Practical Security :
- Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers /
- Formal Aspects in Security and Trust : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
- Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers /
- Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /
- Information Security Practice and Experience : First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings /
- 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 /