Okada M. (ed.), Pierce B. (ed.), Scedrov A. (ed.) — Software Security - Theories and Systems. Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8-10, 2002 Revised Papers
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите 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.
|
|
О проекте