Title of article

Interactive and Probabilistic Proof of Mobile Code Safety

Author/Authors

Yasuyuki Tsukada، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2005

Pages

21

From page

237

To page

257

Keywords

Software Verification , proof-carrying code , Interactive proof system

Journal title

Automated Software Engineering

Serial Year

2005

Journal title

Automated Software Engineering

Record number

307144