Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Software Security - Theories and Systems. Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8-10, 2002 Revised Papers
Авторы: Okada M. (ed.), Pierce B. (ed.), Scedrov A. (ed.)
This volume is composed of revised versions of the papers read at the symposium. It covers recently developed topics such as the security of pervasive computing, P2P systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, the construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues.