Search the dblp DataBase

Publications of Author

1. Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege
   Collaboration Security for Modern Information Systems. [Citation Graph (0, 0)][DBLP]
   SECRYPT, 2006, pp:363-370 [Conf]
   
2. Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
   Achieving a Better Middleware Design through Formal Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
   SEKE, 2006, pp:463-468 [Conf]
   
3. Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
   An Approach to Validating Translation Correctness From SAM to Java. [Citation Graph (0, 0)][DBLP]
   SEKE, 2007, pp:45-0 [Conf]
   
4. 
   Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. [Citation Graph (, )][DBLP]
   
   
5. 
   Decentralized mediation security. [Citation Graph (, )][DBLP]
   
   
6. 
   A Formal Approach for Translating a SAM Architecture to PROMELA. [Citation Graph (, )][DBLP]
   
   
7. 
   Optimizing Secure Collaboration Transactions for Modern Information Systems. [Citation Graph (, )][DBLP]