Search the dblp DataBase

Publications of Author

1. Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
   Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. [Citation Graph (0, 0)][DBLP]
   CIT, 2004, pp:1100-1107 [Conf]
   
2. Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata
   A Lightweight Integration of Theorem Proving and Model Checking for System Verification. [Citation Graph (0, 0)][DBLP]
   APSEC, 2005, pp:59-66 [Conf]
   
3. Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
   Induction-Guided Falsification. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:114-131 [Conf]
   
4. Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
   Falsification of OTSs by Searches of Bounded Reachable State Spaces. [Citation Graph (0, 0)][DBLP]
   SEKE, 2006, pp:440-445 [Conf]
   
5. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
   Formal Analysis of Workflow Systems with Security Considerations. [Citation Graph (0, 0)][DBLP]
   SEKE, 2005, pp:531-536 [Conf]
   
6. Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata
   Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. [Citation Graph (0, 0)][DBLP]
   WEBIST (2), 2006, pp:5-12 [Conf]
   
7. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
   Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. [Citation Graph (0, 0)][DBLP]
   International Journal of Software Engineering and Knowledge Engineering, 2007, v:17, n:1, pp:3-32 [Journal]
   
8. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
   Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:393-412 [Conf]
   
9. 
   Formal support for e-government system design with transparency consideration. [Citation Graph (, )][DBLP]