1
by Dolev, Yuval
Published 2007
MIT Press