Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium A nice touch in this textbook is the final exam review section at the back.
