On-the-fly model checking of security protocols

著者

• Li, Guoqiang

書誌事項

On-the-fly model checking of security protocols

by Guoqiang Li

Guoqiang Li, 2008.3

注記

Thesis (doctoral) - Japan Advanced Institute of Science and Technology, 2008, 博情第210号

詳細情報

• NII書誌ID(NCID): BA88004360
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Nomi, Ishikawa]
• ページ数/冊数: x, 166 p.
• 大きさ: 30 cm