Software security -- theories and systems. Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8--10, 2002. Revised papers (Q1397223)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Campbell, Roy; Al-Muhtadi, Jalal; Naldurg, Prasad; Sampemane, Geetanjali; Mickunas, M. Dennis}, Towards security and privacy for pervasive computing, 1-15 [Zbl 1033.68539] \textit{Stajano, Frank}, Security for whom?, 16-27 [Zbl 1033.68546] \textit{Matsumiya, Kenta; Aoki, Soko; Murase, Masana; Tokuda, Hideyuki}, Active authentication for pervasive computing environments, 28-41 [Zbl 1033.68542] \textit{Wallach, Dan S.}, A survey of peer-to-peer security issues, 42-57 [Zbl 1033.68548] \textit{Mitchell, John C.; Teague, Vanessa}, Autonomous nodes and distributed mechanisms, 58-83 [Zbl 1033.68543] \textit{Tygar, J. D.}, Privacy in sensor webs and distributed information systems, 84-95 [Zbl 1033.68547] \textit{Jarecki, Stanisław; Lincoln, Patrick; Shmatikov, Vitaly}, Negotiated privacy, 96-111 [Zbl 1033.68540] \textit{Kato, Kazuhiko; Oyama, Yoshihiro}, SoftwarePot: An encapsulated transferable file system for secure software circulation, 112-132 [Zbl 1033.68541] \textit{Oiwa, Yutaka; Sekiguchi, Tatsurou; Sumii, Eijiro; Yonezawa, Akinori}, Fail-safe ANSI-C compiler: An approach to making C programs secure, 133-153 [Zbl 1033.68535] \textit{Bauer, Lujo; Ligatti, Jarred; Walker, David}, Types and effects for non-interfering program monitors, 154-171 [Zbl 1033.68538] \textit{Shinagawa, Takahiro; Kono, Kenji; Masuda, Takashi}, Flexible and efficient sandboxing based on fine-grained protection domains, 172-184 [Zbl 1033.68545] \textit{Rudys, Algis; Wallach, Dan S.}, Enforcing Java run-time properties using bytecode rewriting, 185-200 [Zbl 1033.68534] \textit{Shibayama, Etsuya; Hagihara, Shigeki; Kobayashi, Naoki; Nishizaki, Shin-ya; Taura, Kenjiro; Watanabe, Takuo}, AnZenMail: A secure and certified e-mail system, 201-216 [Zbl 1033.68511] \textit{Affeldt, Reynald; Kobayashi, Naoki}, Formalization and verification of a mail server in Coq, 217-233 [Zbl 1033.68502] \textit{Nishiyama, Hiroyuki; Mizoguchi, Fumio}, Design and implementation of security system based on immune system, 234-248 [Zbl 1033.68508] \textit{Yamazaki, Wataru; Mizoguchi, Fumio}, Design and implementation of access control system for smart office environment, 249-262 [Zbl 1033.68513] \textit{Gordon, Andrew D.; Jeffrey, Alan}, Typing one-to-one and one-to-many correspondences in security protocols, 263-282 [Zbl 1033.94525] \textit{Necula, George C.; Schneck, Robert R.}, Proof-carrying code with untrusted proof rules, 283-298 [Zbl 1033.68544] \textit{Hagiya, Masami; Takemura, Ryo; Takahashi, Koichi; Saito, Takamichi}, Verification of authentication protocols based on the binding relation, 299-316 [Zbl 1033.94558] \textit{Fournet, Cédric; Abadi, Martín}, Hiding names: Private authentication in the applied pi calculus, 317-338 [Zbl 1033.94557] \textit{Canetti, Ran; Meadows, Catherine; Syverson, Paul}, Environmental requirements for authentication protocols, 339-355 [Zbl 1033.94553] \textit{Cervesato, I.; Durgin, N.; Lincoln, P.; Mitchell, J.; Scedrov, A.}, A comparison between strand spaces and multiset rewriting for security protocol analysis, 356-383 [Zbl 1033.94513] \textit{Cervesato, Iliano}, Data access specification and the most powerful symbolic attacker in MSR, 384-416 [Zbl 1033.94514] \textit{Hasebe, Koji; Okada, Mitsuhiro}, A logical verification method for security protocols based on linear logic and BAN logic, 417-440 [Zbl 1033.68567] \textit{Hasebe, Koji; Okada, Mitsuhiro}, Formal analysis of the \(i\)KP electronic payment protocols, 441-460 [Zbl 1033.68568] \textit{Mori, Akira; Futatsugi, Kokichi}, CafeOBJ as a tool for behavioral system verification, 461-470 [Zbl 1033.68584]