发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification

C. Bernardeschi; N. De Francesco; G. Lettieri; L. Martini
  • 作者C. Bernardeschi; N. De Francesco; G. Lettieri; L. Martini
  • 卷第34卷
  • 期第13期
  • 印刷ISSN0038-0644
  • 电子ISSN1097-024X
  • 文件大小296.39KB
  • 发表时间2004
  • DOI10.1002/spe.611
  • 页码1225-1255
← 返回【学霸图书馆】主页