DMCA

Inductive proof method for computational secrecy (2006)

by Arnab Roy , Anupam Datta , Ante Derek , John C. Mitchell
Citations:3 - 2 self