| タイトル | Context-sensitive points-to analysis for Java as All-in-one weighted pushdown model checking |
| その他のタイトル | Authentication revisited: Flaw or not, the recursive authentication protocol |
| 著者（日） | Li, Xin; 小川 瑞史 |
| 著者（英） | Li, Xin; Ogawa, Mizuhito |
| 発行日 | 2008-09-04 |
| 刊行年月日 | 2008-09-04 |
| 言語 | eng |
| 内容記述 | JAIST Research Report
JAIST Research Report |
| 資料種別 | Technical Report |
| ISSN | 0918-7553 |
| SHI-NO | AA0064041000 |
| レポートNO | IS-RR-2008-003 |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/28441 |
|
