JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
著者: "Li, Xin"
3 著者名表示.
発行日 | タイトル |
著者 |
2005 | A Lightweight Mutual Authentication Based on Proxy Certificate Trust List | Li, Xin; Ogawa, Mizuhito |
2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution | Li, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz |
20-Oct-2009 | Stacking-based context-sensitive points-to analysis for java | Li, Xin; Ogawa, Mizuhito |
|