ISSS

Keyphrases

Publications

volume 3233, 2004

Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers ISSS 3233 (2004)

2003

Koji Hasebe, Mitsuhiro Okada
Inferences on Honesty in Compositional Logic for Protocol Analysis. ISSS (2003)
Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya
UML Scrapbook and Realization of Snapshot Programming Environment. ISSS (2003)
Noriaki Yoshiura
Decision Procedures for Several Properties of Reactive System Specifications. ISSS (2003)
Matthew Harren, George C. Necula
Lightweight Wrappers for Interfacing with Binary Code in CCured. ISSS (2003)
Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. ISSS (2003)
Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
SEAS: A Secure E-Voting Applet System. ISSS (2003)
Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties. ISSS (2003)
Akira Mori
Detecting Unknown Computer Viruses - A New Approach. ISSS (2003)
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
The Interface Definition Language for Fail-Safe C. ISSS (2003)
Hiroyuki Nishiyama, Yukinobu Mine, Fumio Mizoguchi
The Design of a Secure Distributed Devices System Based on Immunity. ISSS (2003)
Andrei Sabelfeld, Andrew C. Myers
A Model for Delimited Information Release. ISSS (2003)
Kazuhiro Ogata, Kokichi Futatsugi
Formal Analysis of the NetBill Electronic Commerce Protocol. ISSS (2003)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov
Verifying Confidentiality and Authentication in Kerberos 5. ISSS (2003)
Bart Jacobs, Erik Poll
Java Program Verification at Nijmegen: Developments and Perspective. ISSS (2003)
Yasushi Shinjo, Yoshinori Nakata, Kozo Itano
Securing RPC with a Reference Monitor for System Calls. ISSS (2003)
Hirotake Abe, Kazuhiko Kato
Security Policy Descriptions Through the Use of Control Structure of a Target Program. ISSS (2003)
Weijiang Yu, Aloysius K. Mok
Formal Specification and Verification of Resource Bound Security Using PVS. ISSS (2003)
David P. Gilliam
Managing Information Technology Security Risk. ISSS (2003)

volume 2609, 2003

Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers ISSS 2609 (2003)

2002