|
|
JAIST Repository >
著者: "Kong, Weiqiang"
5 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2004 | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol | Kong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi |
| 2006 | Induction-Guided Falsification | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| 23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-May-2008 | A Specification Translation from Behavioral Specifications to Rewrite Specifications | NAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| Jul-2008 | Trace anonymity in the OTS/CafeOBJ method | Kong, Weiqiang; Ogata, Kazuhiro; Cheng, Jian; Futatsugi, Kokichi |
|
