"Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002" - читать интересную книгу автора (Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori...)