ISSS 2003: Tokyo, Japan

Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (Eds.): Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers. Lecture Notes in Computer Science 3233 Springer 2004, ISBN 3-540-23635-X BibTeX

Analysis of Protocols and Cryptography

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov:
Verifying Confidentiality and Authentication in Kerberos 5. 1-24
Electronic Edition (link) BibTeX
Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda:
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. 25-44
Electronic Edition (link) BibTeX
Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of the NetBill Electronic Commerce Protocol. 45-64
Electronic Edition (link) BibTeX
Koji Hasebe, Mitsuhiro Okada:
Inferences on Honesty in Compositional Logic for Protocol Analysis. 65-86
Electronic Edition (link) BibTeX
Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki:
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties. 87-112
Electronic Edition (link) BibTeX

Weijiang Yu, Aloysius K. Mok:
Formal Specification and Verification of Resource Bound Security Using PVS. 113-133
Electronic Edition (link) BibTeX
Bart Jacobs, Erik Poll:
Java Program Verification at Nijmegen: Developments and Perspective. 134-153
Electronic Edition (link) BibTeX
Noriaki Yoshiura:
Decision Procedures for Several Properties of Reactive System Specifications. 154-173
Electronic Edition (link) BibTeX
Andrei Sabelfeld, Andrew C. Myers:
A Model for Delimited Information Release. 174-191
Electronic Edition (link) BibTeX

Kohei Suenaga, Oiwa Yutaka, Eijiro Sumii, Akinori Yonezawa:
The Interface Definition Language for Fail-Safe C. 192-208
Electronic Edition (link) BibTeX
Matthew Harren, George C. Necula:
Lightweight Wrappers for Interfacing with Binary Code in CCured. 209-225
Electronic Edition (link) BibTeX

Akira Mori:
Detecting Unknown Computer Viruses - A New Approach. 226-241
Electronic Edition (link) BibTeX
Hirotake Abe, Kazuhiko Kato:
Security Policy Descriptions Through the Use of Control Structure of a Target Program. 242-261
Electronic Edition (link) BibTeX
Yasushi Shinjo, Yoshinori Nakata, Kozo Itano:
Securing RPC with a Reference Monitor for System Calls. 262-280
Electronic Edition (link) BibTeX
Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya:
UML Scrapbook and Realization of Snapshot Programming Environment. 281-295
Electronic Edition (link) BibTeX