{"entities":{"Q1397223":{"pageid":1407963,"ns":120,"title":"Item:Q1397223","lastrevid":70328790,"modified":"2026-04-13T14:02:22Z","type":"item","id":"Q1397223","labels":{"en":{"language":"en","value":"Software security -- theories and systems. Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8--10, 2002. Revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1953601"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397223$A60EF456-5753-4493-80C0-2B9188A7A52E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93ef4873f8a9e5471197dbcc1a30d8f1c7fbf6d2","datavalue":{"value":{"text":"Software security -- theories and systems. Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8--10, 2002. Revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1397223$707C4DBD-F08F-4C4F-B864-D0EFD32A25AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3b4dd02de2eed803968de9cc88e05dca2185282","datavalue":{"value":"1017.00039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$C2FE8307-30CD-4E4D-9AFE-D56F70658818","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397223$EB2AAD17-E27E-43AE-A438-01E82FD776C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e51bd21826af75eacea1454cc73c79283c7b8115","datavalue":{"value":{"time":"+2003-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1397223$F79D2FB9-526B-4FAE-9BD6-0D9700C4AA3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"011623a0ab618d6cda3233a6ea498b283b06d91a","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2609.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1397223$1C3A94A5-E161-4F57-8DD6-5B6341C1E3DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1647afd3ecfda30b14058ee468feb02541a54990","datavalue":{"value":"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\u0142aw; 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\u00e9dric; Abadi, Mart\u00edn}, 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]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397223$B848B1FA-6A59-4C14-843C-FF4643E691C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$9BF91F85-F97D-4B53-BB92-753BFFAD574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$2AB0400B-D3FA-456A-BFF5-46D133F9C3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$F5A14EE4-60E0-4C4F-8B91-66BE815E847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$31E267E0-C084-42A1-AFA5-A3A0E3E7D5D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05d79de39692b0d38f77f305469136f6f8df98a8","datavalue":{"value":"1953601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$0A2A5C00-5F08-4EB5-8A55-4F6E093BD255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cea395710cd6eb93868c63f1f2062a9db31c92","datavalue":{"value":"Software security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397223$35B6610F-F16A-4F45-BF20-D3926228966F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1037fd935cf2263ca767e6d1366d20febe322ea8","datavalue":{"value":"Mext-NSF-JSPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397223$3AF62BD1-A591-4791-ABA8-915E2B279E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb93aab5bc558d804511e208b2f48fe17407dc61","datavalue":{"value":"ISSS 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397223$1FC479EB-33CF-4086-AB99-2AD582287066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4667c8aacc8379a56d5c3731d89663623cdbe5b","datavalue":{"value":"Tokyo (Japan)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397223$B91B0D81-4BF3-4E16-858D-DA23300D6D12","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397223$E453EF34-57E9-48A0-A01C-0116013C91AF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397223$932A9210-29B5-4247-82D7-ABD566CCC21A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f57896e6f66032f138a8cff34f65bedba7f2458f","datavalue":{"value":"W2486136376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$B0580147-3775-477B-B0AD-F5798976D731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbf82b8df813f554e7aa25ef758923fe6b2fe43e","datavalue":{"value":"10.1007/3-540-36532-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397223$DB4B68C9-5C7F-4B78-9476-AA5846E551D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software security -- theories and systems. Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8--10, 2002. Revised papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_security_--_theories_and_systems._Mext-NSF-JSPS_international_symposium,_ISSS_2002,_Tokyo,_Japan,_November_8--10,_2002._Revised_papers"}}}}}