|
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 |
|